Gerhard Gentzen
Gerhard Gentzen | |
|---|---|
Gerhard Gentzen in Prague, 1945. | |
| Born | 24 November 1909 |
| Died | 4 August 1945 (aged 35) |
| Cause of death | Starvation |
| Nationality | German |
| Alma mater | University of Göttingen |
| Known for | Gentzen's consistency proof Gentzen's Hauptsatz Gentzen's natural deduction calculus Gentzen's sequent calculus Gödel–Gentzen translation Analytic proof Ordinal analysis Proof-theoretic semantics |
| Scientific career | |
| Fields | Mathematics |
| Doctoral advisor | Paul Bernays |
Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945.