Gerhard Gentzen Bio, Photos and Updates
Bio: 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.
Born: November 24, 1909 in Greifswald, Germany
Died: August 04, 1945 in Prague, Czech Republic
Posted In: Germany Philosophers