Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

DOI10.1007/978-3-319-02171-3zbMath1282.03002OpenAlexW637055906MaRDI QIDQ2863601

Anna Horská

Publication date: 22 November 2013

Published in: SpringerBriefs in Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02171-3

zbMATH Keywords

ordinal notationGentzen's 1936 consistency proofreduction of derivation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Related Items (4)

Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Finite Words ⋮ NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM ⋮ Decoding Gentzen's Notation

This page was built for publication: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals