, Volume 53, Issue 1, pp 147–154

On The Untenability Of Nelson's Predicativism

  • St. Iwan

DOI: 10.1023/A:1005651027553

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


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

Authors and Affiliations

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