Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections

DOI10.1007/978-94-007-4435-6_8zbMath1314.03006OpenAlexW198390870MaRDI QIDQ5253927

William W. Tait

Publication date: 5 June 2015

Published in: Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4435-6_8

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03)

Related Items (2)

On the concept of finitism ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Proof-theoretic semantics for classical mathematics
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Godel's interpretation of intuitionism
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Hilbert's Programs: 1917–1922
• Between Russell and Hilbert: Behmann on the Foundations of Mathematics
• Axiomatisches Denken
• A Formalization of Recursive Arithmetic
• Primitive recursive functions
• Function Theory in an Axiom-Free Equation Calculus

This page was built for publication: Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections