Gerhard Gentzen

Gerhard Gentzen
Gerhard Gentzen in Prague, 1945.
Born	(1909-11-24)24 November 1909 Greifswald, Germany
Died	4 August 1945(1945-08-04) (aged 35) Prague, Czechoslovakia
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.