Erkenntnis 53 (1-2):147-154 (2000)
By combining some technical results from metamathematicalinvestigations of systems of Bounded Arithmetic, I will givean argument for the untenability of Nelson 's finitistic program,encapsulated in his book Predicative Arithmetic
|Keywords||Philosophy Philosophy Epistemology Ethics Logic Ontology|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
The Predicative Frege Hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.
Similar books and articles
Added to index2009-01-28
Total downloads63 ( #83,693 of 2,172,658 )
Recent downloads (6 months)1 ( #325,028 of 2,172,658 )
How can I increase my downloads?