The mathematical significance of proof theory

DOI10.1098/RSTA.2005.1656zbMATH Open1152.03307OpenAlexW2162770039WikidataQ51963616 ScholiaQ51963616MaRDI QIDQ5301856FDOQ5301856

Angus 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

proofprovabilityunwindingfully formalized proofmere truth

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Informal proof, formal proof, formalism
• An application of proof mining to nonlinear iterations
• Lorenzen Between Gentzen and Schütte
• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions

This page was built for publication: The mathematical significance of proof theory

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