FOM: consistency equals existence

[Martin Davis]

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



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