FOM: consistency equals existence

Martin Davis martin at
Thu Feb 24 18:41:06 EST 2000

With respect to this interesting thread, I feel the need to mention that 
where large cardinals are concerned, it is hard to see any basis for 
believing that the corresponding consistency statements (Pi-0-1 of course) 
are true, except for some kind of ontological belief. So in that highly 
important case, the Hilbert principle is useless.


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

More information about the FOM mailing list