On The Untenability Of Nelson's Predicativism
- Cite this article as:
- Iwan, S. Erkenntnis (2000) 53: 147. doi:10.1023/A:1005651027553
- 58 Downloads
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.