Skip to main content
padlock icon - secure page this page is secure

Decoding Gentzen's Notation

Buy Article:

$53.00 + tax (Refund Policy)

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.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Document Type: Research Article

Affiliations: University of Pisa, Italy

Publication date: July 3, 2018

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more