A Formalization of Recursive Arithmetic

DOI10.2307/2371522zbMATH Open0025.00502OpenAlexW2330243593MaRDI QIDQ5779181FDOQ5779181

Authors: Haskell B. Curry 

Publication date: 1941

Published in: American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2371522

zbMATH Keywords

Philosophy, logic

Cited In (7)

• Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
• On the concept of finitism
• A simple proof of Parsons' theorem
• Generality and existence: quantificational logic in historical perspective
• Wittgenstein and finitism
• Two (or three) notions of finitism
• The manuscripts of emil L. post

This page was built for publication: A Formalization of Recursive Arithmetic

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