A Formalization of Recursive Arithmetic

DOI10.2307/2371522MaRDI QIDQ5779181zbMATH OpenOpenAlexFDO

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)