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.
Cite
CITATION STYLE
APA
Kahle, R. (2015). Gentzen’s consistency proof in context. In Gentzen’s Centenary: The Quest for Consistency (pp. 3–24). Springer International Publishing. https://doi.org/10.1007/978-3-319-10103-3_1
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free