In this note we consider Gentzen's first ordinal notation, used in his first published proof of the consistency of Peano Arithmetic (1936). It is a decimal notation, quite different from our current notations. We give a rule to translate this notation into our usual set-theoretic notation and we show some of its peculiarities. Then we indicate how to decode Gentzen's assignment of ordinal notations to derivations and give some examples. Finally, we go through his proof of their decrease after the application of his reduction procedure, giving further examples.
Decoding Gentzen's notation
bellotti luca
2018-01-01
Abstract
In this note we consider Gentzen's first ordinal notation, used in his first published proof of the consistency of Peano Arithmetic (1936). It is a decimal notation, quite different from our current notations. We give a rule to translate this notation into our usual set-theoretic notation and we show some of its peculiarities. Then we indicate how to decode Gentzen's assignment of ordinal notations to derivations and give some examples. Finally, we go through his proof of their decrease after the application of his reduction procedure, giving further examples.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
gentzen_publ.pdf
solo utenti autorizzati
Tipologia:
Versione finale editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
444.05 kB
Formato
Adobe PDF
|
444.05 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.
