[FOM] circumscription and Peano Arithmetic

Martin Davis martin at eipye.com
Wed Jan 21 19:39:26 EST 2004

Harvey Friedman asks:

<<By the way, did the T(min) people ever notice that it generates Peano

Yes. See my ancient paper referenced in a recent posting.


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

More information about the FOM mailing list