On mathematical instrumentalism

DOI10.2178/jsl/1122038914zbMath1089.03007OpenAlexW2067209355MaRDI QIDQ5718688

Patrick Caldon, Aleksandar Ignjatović

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1122038914

zbMATH Keywords

Peano arithmeticreverse mathematicsprimitive recursive arithmeticspeed-upinstrumentalist view of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (6)

TRUTH AND SPEED-UP ⋮ TRUTH AND FEASIBLE REDUCIBILITY ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ Truth and the philosophy of mathematics ⋮ THE EXPRESSIVE POWER OF TRUTH ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Fragments of arithmetic
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Formalizing forcing arguments in subsystems of second-order arithmetic
• Cuts, consistency statements and interpretations
• Systems of predicative analysis
• Grundlagen der Mathematik I
• Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy

This page was built for publication: On mathematical instrumentalism