Springer - Gerhard Gentzen's Shorthand Notes on Logic

Explore the foundational work of one of the most significant figures in mathematical logic. This volume, published by Springer as part of the Sources and Studies in the History of Mathematics and Physical Sciences series, provides direct access to the shorthand notes of Gerhard Gentzen. Gentzen is widely recognized for developing the proof systems of natural deduction and sequent calculus, which remain central to modern logic and computer science. These notes offer a unique look into his mathematical journey, including his work on the resolution of challenges created by Godel's incompleteness results. Readers can trace his efforts to address the unprovability of the consistency of elementary arithmetic and his dedication to Hilbert's proof theory regarding the consistency of analysis. This book serves as a primary resource for scholars and students interested in the history of mathematics. It provides rare insight into the thought processes of a mathematician whose work helped shape the landscape of contemporary logic and mathematical foundations.