FOM: Re: V=L Conjecture

[Harvey Friedman]

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.