[FOM] more about identities

[Martin Davis]

Thanks to all who replied to my inquiry about identities.

It turns out that my friend is asking a more difficult question. He 
asks whether there is an algorithm to determine whether a given 
equation follows from a given finite set of such equations if THE 
OPERATIONS ARE RESTRICTED TO A SINGLE BINARY OPERATION. Constants and 
unary operations are not permitted.

Martin


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com