Proof theory in philosophy of mathematics

DOI10.1111/J.1747-9991.2010.00282.XzbMATH Open1198.03078OpenAlexW1541568758MaRDI QIDQ3160752FDOQ3160752

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

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

zbMATH Keywords

proof theory

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)