Skip to main content
Log in

Reinhard Kahle and Michael Rathjen (eds.): Gentzen’s Centenary. The Quest for Consistency

Springer, Berlin, Heidelberg et al., 2015, 561 pp, Softcover $109.99, ISBN: 9783319101033

  • Book Review
  • Published:
Journal for General Philosophy of Science Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Notes

  1. 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.

    Article  Google Scholar 

  • Gentzen, G. (1938). Neue Fassung des Widerspruchfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, 4, 19–44.

    Google Scholar 

  • Gentzen, G. (1943). Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, 119, 140–161.

    Article  Google Scholar 

  • Gentzen, G. (1974). Der erste Widerspruchfreiheitsbeweis für die klassische Zahlentheorie. Archiv für mathematische Logik und Grundlagenforschung, 16, 97–118.

    Article  Google Scholar 

  • Menzler-Trott, E. (2007). Logic’s lost genius: The life of Gerhard Gentzen. Providence: American Mathematical Society/London Mathematical Society.

    Google Scholar 

  • Troelstra, A., & Schwichtenberg, H. (2000). Basic proof theory (2nd ed.). Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • von Plato, J. (2017). Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. Dordrecht: Springer.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to David Binder.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10838-018-9411-6

Navigation