Saved from the Cellar

Gerhard Gentzens Shorthand Notes on Logic and Foundations of Mathematics

Autori

• Jan von Plato

Parametri

Pagine

328pagine

Tempo di lettura

12ore

• Matematica

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 2018

(In brossura)