, Volume 53, Issue 1, pp 147-154

First online:

On The Untenability Of Nelson's Predicativism

  • St. IwanAffiliated withInstitut für Theoretische Informatik und Mathematik, Universität der Bundeswehr München

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.