FOM: Question grown from Friedman talks

Martin Davis martin at
Fri Feb 2 23:57:34 EST 2001

At 12:22 PM 2/2/01 -0500, Harvey Friedman wrote:
>I believe that no conjectures in the existing literature within normal
>mathematics are independent of ZFC.

I wonder whether this is simply a hunch, or whether Harvey has some 
rational ground for this belief. As is well known, G\"odel did not believe 


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

More information about the FOM mailing list