Gentzen’s Original Consistency Proof and the Bar Theorem

W. W. Tait ()
Additional contact information
W. W. Tait: University of Chicago, Department of Philosophy

A chapter in Gentzen's Centenary, 2015, pp 213-228 from Springer

Abstract: Abstract The story of Gentzen’s original consistency proof for first-order number theory [9], as told by Paul Bernays [1, 9], [11, Letter 69, pp. 76–79], is now familiar: Gentzen sent it off to Mathematische Annalen in August of 1935 and then withdrew it in December after receiving criticism and, in particular, the criticism that the proof used the Fan Theorem, a criticism that, as the references just cited seem to indicate, Bernays endorsed or initiated at the time but later rejected. That particular criticism is transparently false, but the argument of the paper remains nevertheless invalid from a constructive standpoint. In a letter to Bernays dated November 4, 1935, Gentzen protested this evaluation; but then, in another letter to him dated December 11, 1935, he admits that the ‘critical inference in my consistency proof is defective’.

Keywords: Gentzen; Consistency Proof; First-order Number Theory; Constructivist Standpoint; Deduction Tree (search for similar items in EconPapers)
Date: 2015
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-10103-3_8

Ordering information: This item can be ordered from
http://www.springer.com/9783319101033

DOI: 10.1007/978-3-319-10103-3_8

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().