[FOM] identities

martin@eipye.com martin at eipye.com
Thu Jan 18 18:37:12 EST 2007


An "identity" is a sentence that can be expressed as the 
universal quaqntification of an ideintity. A friend has 
asked whether there is an algorithm for determining 
whether a given identity is implied by a given finite set 
of identities. Surely this is known to be unsolvable. 
References?

Martin


More information about the FOM mailing list