Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation-Reference-Cited by-同舟云学术

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

Published:2005-06 Issue:2 Volume:11 Page:225-238
ISSN:1079-8986
Container-title:Bulletin of Symbolic Logic
language:en
Short-container-title:Bull. symb. log.

Author:

Tait W. W.

Abstract

AbstractThe last section of “Lecture at Zilsel's” [9, §4] contains an interesting but quite condensed discussion of Gentzen's first version of his consistency proof for PA [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen's result (in game-theoretic terms), fill in the details (with some corrections) of Gödel's reformulation, and discuss the relation between the two proofs.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference20 articles.

1. On the interpretation of non-finitist proofs-Part I;Kreisel;The Journal of Symbolic Logic,1951

2. A semantics of evidence for classical arithmetic

3. Die Widerspruchsfreiheit der reinen Zahlentheorie

4. Die Grundlegung der elementaren Zahlenlehre

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Consistency of Arithmetic;The Mathematical Intelligencer;2018-11-09

2. On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects;Annals of the Japan Association for Philosophy of Science;2018

3. Saved from the Cellar;Sources and Studies in the History of Mathematics and Physical Sciences;2017

4. Contentual and Formal Aspects of Gentzen’s Consistency Proofs;Philosophical Logic: Current Trends in Asia;2017

5. Part III: The original writings;Sources and Studies in the History of Mathematics and Physical Sciences;2017