The mathematical significance of proof theory

DOI10.1098/rsta.2005.1656zbMath1152.03307OpenAlexW2162770039WikidataQ51963616 ScholiaQ51963616MaRDI QIDQ5301856

Angus J. Macintyre

Publication date: 20 January 2009

Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.2005.1656

zbMATH Keywords

provabilityproofunwindingfully formalized proofmere truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) History of mathematical logic and foundations (03-03)

Related Items

An application of proof mining to nonlinear iterations, INFORMAL PROOF, FORMAL PROOF, FORMALISM, Lorenzen Between Gentzen and Schütte

Cites Work

• La conjecture de Weil. II
• A model of set-theory in which every set of reals is Lebesgue measurable
• Primitive Recursive Bounds for Van Der Waerden Numbers
• Highly complex proofs and implications of such proofs
• Skolem and pessimism about proof in mathematics
• Diophantine Problems Over Local Fields I
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item