Google
×

Gerhard Gentzen

German mathematician
Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. Wikipedia
Born: November 24, 1909, Greifswald, Germany
Died: August 4, 1945 (age 35 years), Prague, Czechia