Book | Chapter
Primitive recursive arithmetic and its role in the foundations of arithmetic
historical and philosophical reflections
pp. 161-180
Abstract
We discuss both the historical roots of Skolem"s primitive recursive arithmetic, its essential role in the foundations of arithmetic, its relation to the finitism of Hilbert and Bernays, and its relation to Kant"s philosophy of mathematics.
Publication details
Published in:
Dybjer P, Lindström Sten, Palmgren Erik, Sundholm Göran (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf. Dordrecht, Springer.
Pages: 161-180
DOI: 10.1007/978-94-007-4435-6_8
Full citation:
Tait William W. (2012) „Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections“, In: P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, 161–180.