We consider the rather neglected and difficult consistency proof for a weak fragment of arithmetic (with the successor function only, and without induction) carried out by John von Neumann in 1925. We explain the technical peculiarities of his method of proof with respect to the other early consistency proofs in the Hilbert School.
An informal exposition of Von Neumann's consistency proof
Luca Bellotti
2019-01-01
Abstract
We consider the rather neglected and difficult consistency proof for a weak fragment of arithmetic (with the successor function only, and without induction) carried out by John von Neumann in 1925. We explain the technical peculiarities of his method of proof with respect to the other early consistency proofs in the Hilbert School.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
neum_pub.pdf
solo utenti autorizzati
Tipologia:
Versione finale editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
930.4 kB
Formato
Adobe PDF
|
930.4 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
