Decoding Gentzen's Notation

DOI10.1080/01445340.2017.1422092zbMath1427.03062OpenAlexW2789928970WikidataQ58527031 ScholiaQ58527031MaRDI QIDQ5208100

Luca Bellotti

Publication date: 15 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2017.1422092

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM

Cites Work

• Unnamed Item
• Unnamed Item
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• On Gentzen’s First Consistency Proof for Arithmetic
• The consistency of arithmetics

This page was built for publication: Decoding Gentzen's Notation