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
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.