FOM: Question grown from Friedman talks

[Martin Davis]

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 
this.

Martin



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