Paul Levy p.b.levy at
Tue Feb 7 19:38:36 EST 2023

Dear all,
To reinforce Bill’s point, there’s no problem with a finitist claiming that addition is commutive, or that a system is consistent.  But they would not claim a priori that there’s a fact of the matter whether Goldbach’s conjecture is true, or whether PA is consistent.
My Philosophia Mathematica paper “The price of mathematical scepticism” includes a Bivalence Questionnaire that might be helpful for this dicussion.
Best regards,

On 07/02/2023, 18:48, "WILLIAM TAIT" <williamtait at> wrote:
Many Contributions to the potential/actual infinite thread take finitism to include the view that a statement of the form ‘for all n P(n)’ cannot be meaningful finitistically. This surely expels Kronecker  from the ranks of the finitists, but , even more blatantly, Hilbert,, who wanted finitist consistency proofs—finitist proofs of statements of just this form.  ???

Bill Taitg

Sent from my iPad

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230208/4ee6c3af/attachment-0001.html>

More information about the FOM mailing list