scientific article; zbMATH DE number 1254487

MaRDI QIDQ4227555zbMATH OpenFDO

Authors Charles Parsons

Publication date 17 August 1999

zbMATH Keywords

finitismfinitistic proofHilbertintuitive knowledgeprimitive recursive arithmetic

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 5054077
• scientific article; zbMATH DE number 1870429
• Finitism, imperative programs and primitive recursion
• Finitism, imperative programs and primitive recursion

Cited in

(14)

• Finitism, imperative programs and primitive recursion
• Hilbert's objectivity
• Is there a ``Hilbert thesis?
• Finitistic arithmetic and classical logic
• Two (or three) notions of finitism
• Different senses of finitude: an inquiry into Hilbert's finitism
• Extensions of the Finitist Point of View
• scientific article; zbMATH DE number 1870429 (Why is no real title available?)
• Finitism, imperative programs and primitive recursion
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• On the concept of finitism
• How to be a structuralist all the way down
• Consistency, models, and soundness
• The practice of finitism: epsilon calculus and consistency proofs in Hilbert's program

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227555)