Finitism

[WILLIAM TAIT]

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