Notes
A biography of Gentzen has been written by Menzler-Trott (2007).
References
Gentzen, G. (1934–1935). Untersuchungen über das logische Schließen I and II. Mathematische Zeitschrift, 39(2), 176–210 and 39(3), 405–431.
Gentzen, G. (1936). Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112, 493–565.
Gentzen, G. (1938). Neue Fassung des Widerspruchfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, 4, 19–44.
Gentzen, G. (1943). Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, 119, 140–161.
Gentzen, G. (1974). Der erste Widerspruchfreiheitsbeweis für die klassische Zahlentheorie. Archiv für mathematische Logik und Grundlagenforschung, 16, 97–118.
Menzler-Trott, E. (2007). Logic’s lost genius: The life of Gerhard Gentzen. Providence: American Mathematical Society/London Mathematical Society.
Troelstra, A., & Schwichtenberg, H. (2000). Basic proof theory (2nd ed.). Cambridge: Cambridge University Press.
von Plato, J. (2017). Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. Dordrecht: Springer.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Binder, D. Reinhard Kahle and Michael Rathjen (eds.): Gentzen’s Centenary. The Quest for Consistency. J Gen Philos Sci 49, 475–479 (2018). https://doi.org/10.1007/s10838-018-9411-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10838-018-9411-6