Erkenntnis

, Volume 53, Issue 1, pp 147–154

On The Untenability Of Nelson's Predicativism

Authors

  • St. Iwan
    • Institut für Theoretische Informatik und MathematikUniversität der Bundeswehr München
Article

DOI: 10.1023/A:1005651027553

Cite this article as:
Iwan, S. Erkenntnis (2000) 53: 147. doi:10.1023/A:1005651027553

Abstract

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.

Copyright information

© Kluwer Academic Publishers 2000