Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation

DOI10.2178/bsl/1120231632zbMath1100.03007OpenAlexW2099571154WikidataQ57310303 ScholiaQ57310303MaRDI QIDQ3370623

William W. Tait

Publication date: 8 February 2006

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1120231632

Mathematics Subject Classification ID

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

Related Items (4)

Erratum to: ``Between proof and truth ⋮ The consistency of arithmetic ⋮ Die another day ⋮ The Gödel Editorial Project: A Synopsis

Cites Work

• Unnamed Item
• Unnamed Item
• Godel's Unpublished Papers on Foundations of Mathematics†
• A semantics of evidence for classical arithmetic
• On the No-Counterexample Interpretation
• Functionals defined by transfinite recursion
• The substitution method
• The consistency of arithmetics
• Explaining the Gentzen-Takeuti reduction steps: A second-order system

This page was built for publication: Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation