FOM: Re: V=L Conjecture

[Martin Davis]

At 12:50 AM 5/14/00 -0400, Harvey Friedman wrote:
>I came up with a very strong reasonably precise formulation of the thesis
>               ...  ....  ...
>***) every mathematical natural statement for the form "for all
>mathematical objects, such and such holds" where such and such is set
>theoretically bounded, other than those discovered by Friedman and a few
>close associates, is provable or refutable in ZFC + V = L.

>Does Harvey mean "theorem" where he writes "statement"? He can hardly know 
>that the Riemann Hypothesis orGoldbach's Conjecture is "provable or 
>refutable in ZFC + V = L".

Martin





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