Repository | Book | Chapter
(2012) Epistemology versus ontology, Dordrecht, Springer.
Primitive recursive arithmetic and its role in the foundations of arithmetic
historical and philosophical reflections
William W. Tait
pp. 161-180
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
DOI: 10.1007/978-94-007-4435-6_8
Full citation:
Tait, W. 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, pp. 161-180.
This document is unfortunately not available for download at the moment.