FOM: Re: V=L Conjecture

Harvey Friedman friedman at
Mon May 15 10:42:18 EDT 2000

Reply to Davis 5/13/00 10:23PM.

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

Davis replied

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

I can't possibly mean "theorem" since then ZFC would suffice.

***) is a conjecture. The issue is not whether I can now prove this
conjecture (obviously not) but whether anybody can refute this conjecture.
And also how convincing the refutation of this conjecture is.

More information about the FOM mailing list