Saved from the Cellar

Focusing on Gerhard Gentzen's groundbreaking contributions to logic and proof theory, this volume explores his development of natural deduction and sequent calculus, as well as his resolution of Gödel's incompleteness results. It also highlights his dedication to Hilbert's proof theory before his tragic demise in a Prague prison. Jan von Plato provides a comprehensive overview of Gentzen's life and work, enriched by previously lost shorthand manuscripts, showcasing the evolution of his key ideas and insights into his intellectual brilliance.