|
|||||
|
|
On The Untenability Of Nelson's Predicativism |
|
| Authors: | St Iwan |
| Institution: | (1) Institut für Theoretische Informatik und Mathematik, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, 85577 Neubiberg, Germany |
| 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |