WILLIAM TAIT williamtait at
Tue Feb 7 13:48:17 EST 2023

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

More information about the FOM mailing list