Gentzen’s Consistency Proof in Context

DOI10.1007/978-3-319-10103-3_1zbMath1378.03003OpenAlexW2346116997MaRDI QIDQ5361242

Reinhard Kahle

Publication date: 27 September 2017

Published in: Gentzen's Centenary (Search for Journal in Brave)

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

zbMATH Keywords

Peano arithmetictransfinite inductionGentzenconsistency proof

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Relative consistency and interpretations (03F25)

Related Items (3)

M ⋮ The consistency of arithmetic ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays

This page was built for publication: Gentzen’s Consistency Proof in Context