Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 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 Soviet prison camp in Prague in 1945, having been interned as a German national after the Second World War.
Born |
24 November 1909 Greifswald, Germany
|
Died |
4 August 1945 (aged 35) Prague, Czechoslovakia
|
Zodiac | Sagittarius |
Tags | Add tag |