Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33

Bulletin of Symbolic Logic 16 (2):270-275 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1286889127

Other Versions

reprint Tait, W. W. (2010) "Eckart Menzler-Trott. Translated by Craig Smoryński and Edward Griffor. Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33. American Mathematical Society, Providence, RI, 2007, xxii+441 pp". Bulletin of Symbolic Logic 16(2):270-275
reprint Tait, W. W. (2010) "REVIEWS: E. Menzler-Trott-Logic's lost genius: The life of Gerhard Gentzen". Bulletin of Symbolic Logic 16(2):

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,210

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Eckart Menzler-Trott’s — Logic’s Lost Genius: The Life of Gerhard Gentzen. [REVIEW]John N. Crossley - 2008 - Australasian Journal of Logic 6:83-86.
Eckart Menzler‐Trott. Logic's Lost Genius: The Life of Gerhard Gentzen. Translated by, Craig Smoryński and Edward Griffor. xxii + 441 pp., apps., bibl., index. Providence, R.I.: American Mathematical Society, 2007. $89. [REVIEW]Charles Parsons - 2009 - Isis 100 (2):424-425.
Tait W. W.. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 , pp. 980–983. [REVIEW]Moto-O. Takahashi - 1968 - Journal of Symbolic Logic 33 (2):289-290.
Gentzen's Centenary: The Quest for Consistency.Reinhard Kahle & Michael Rathjen (eds.) - 2015 - Springer.
Gentzen Gerhard. Die Widers pruchsfreiheilder Stufenlogik. Mathematische Zeitschrift, vol. 41 , pp. 357–366.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
W. W. Tait. Functionals defined by transfinite recursion. The journal of symbolic logic, vol. 30 , pp. 155–174.R. E. Vesley - 1966 - Journal of Symbolic Logic 31 (3):509-510.

Analytics

Added to PP
2015-02-02

Downloads
15 (#1,136,738)

6 months
2 (#1,704,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.

Add more citations

References found in this work

No references found.

Add more references