
Gerhard Gentzen
✶November 24, 1909
†August 4, 1945
About their life
About their life…Memories
Would you like to keep memories of someone else?

✶November 24, 1909
†August 4, 1945
Would you like to keep memories of someone else?
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. He died of starvation in a Czech prison camp in Prague in 1945.
German mathematician (1909-1945)
Biography from the article Gerhard Gentzen on the English Wikipedia, available under CC BY-SA 4.0.