FOM: ultrafinitism again

Harvey Friedman friedman at
Fri Nov 10 18:43:39 EST 2000

Reply to Kanovei 6:42PM 11/10/00:

>I began by the claim that (ontologically) there is NO
>mathematical statement true but not provable.

Are you claiming that "every true mathematical statement is provable"? If
you are making this claim, then you should clarify what provability means
here. Provable by what means?

If you are instead claiming that

"every mathematical statement proved to be true is provable"

then this is clear.

More information about the FOM mailing list