Gentzen’s consistency proof in context

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Abstract

Gentzen’s celebrated consistency proof—or proofs, to distinguish the different variations he gave1—of Peano Arithmetic in terms of transfinite induction up to the ordinal2 ε0 can be considered as the birth of modern proof theory.

Original languageEnglish
Title of host publicationGentzen's Centenary
Subtitle of host publicationThe Quest for Consistency
EditorsReinhard Kahle, Michael Rathjen
PublisherSpringer International Publishing
Pages3-24
Number of pages22
ISBN (Electronic)9783319101033
ISBN (Print)9783319101026
DOIs
Publication statusPublished - 1 Jan 2015

    Fingerprint

Cite this

Kahle, R. (2015). Gentzen’s consistency proof in context. In R. Kahle, & M. Rathjen (Eds.), Gentzen's Centenary: The Quest for Consistency (pp. 3-24). Springer International Publishing. https://doi.org/10.1007/978-3-319-10103-3_1