Proof theory in philosophy of mathematics

DOI10.1111/J.1747-9991.2010.00282.XMaRDI QIDQ3160752zbMATH OpenOpenAlexFDO

Authors Andrew Arana

Publication date 8 October 2010

Published in Philosophy Compass (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1747-9991.2010.00282.x

zbMATH Keywords

proof theory

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Philosophy of mathematics (00A30)

Recommendations

• Hilbert's program. An essay on mathematical instrumentalism
• Hilbert's programs and beyond
• Hilbert’s Programme and Ordinal Analysis
• Reverse mathematics and its meaning
• Some remarks on Hilbert's program

Cites work

• scientific article; zbMATH DE number 5505771 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 2168558 (Why is no real title available?)
• scientific article; zbMATH DE number 2198106 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3199782 (Why is no real title available?)
• An elementary proof of the prime-number theorem
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Arithmetization of metamathematics in a general setting
• Balzano's theory of ground and consequence
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Bolzano and Cournot on mathematical explanation
• Does mathematics need new axioms?
• Does reductive proof theory have a viable rationale?
• Finite functions and the necessary use of large cardinals
• Formalizing forcing arguments in subsystems of second-order arithmetic
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Logical and semantic purity
• Number theory and elementary arithmetic†
• On Formally Measuring and Eliminating Extraneous Notions in Proofs
• On a New Method in Elementary Number Theory Which Leads to An Elementary Proof of the Prime Number Theorem
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
• Partial realizations of Hilbert's program
• Phase transitions for Gödel incompleteness
• Philosophy of mathematics in the twentieth century
• Provability interpretations of modal logic
• Provability: The emergence of a mathematical modality
• Solution of a problem of Leon Henkin
• Systems of predicative analysis
• The inevitability of logical strength: strict reverse mathematics
• The metamathematics of ergodic theory
• The prime number theorem and fragments of PA
• Two Applications of Logic to Mathematics
• Untersuchungen über das logische Schliessen. II

Cited in

(3)

• scientific article; zbMATH DE number 941039 (Why is no real title available?)
• scientific article; zbMATH DE number 4072966 (Why is no real title available?)
• The mathematical significance of proof theory

This page was built for publication: Proof theory in philosophy of mathematics

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