, Volume 53, Issue 1-2, pp 147-154

On The Untenability Of Nelson's Predicativism

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.