Gentzen's consistency proofs for arithmetic

zbMATH Open1267.03002MaRDI QIDQ4648945FDOQ4648945

Authors: Annika Siders 

Publication date: 16 November 2012

Recommendations

• Gentzen's consistency proof in context
• Gentzen's original proof of the consistency of arithmetic revisited
• From \textit{Hauptsatz} to \textit{Hilfssatz}
• On Gentzen's first consistency proof for arithmetic
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

zbMATH Keywords

transfinite inductionHilbert's programhistory of proof theoryconsistency of Peano arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30)

Cited In (21)

• MÜNCHHAUSEN PROVABILITY
• Hilbert's Second Problem (the consistency of arithmetic)
• A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
• Title not available (Why is that?)
• Gentzen's consistency proof in context
• Theodorus’ proofs of incommensurabilities with Gnomons
• Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
• Gentzen's second consistency proof and strong cut-elimination
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
• Validating Brouwer's continuity principle for numbers using named exceptions
• Gentzen's original proof of the consistency of arithmetic revisited
• Gentzen's original consistency proof and the bar theorem
• EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS
• From \textit{Hauptsatz} to \textit{Hilfssatz}
• Herbrand consistency of some arithmetical theories
• Lorenzen's Proof of Consistency for Elementary Number Theory
• VON NEUMANN’S CONSISTENCY PROOF
• The consistency of arithmetic
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• On Gentzen's first consistency proof for arithmetic

This page was built for publication: Gentzen's consistency proofs for arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648945)