Gerhard Gentzen
#268,643 Most Popular
About
German mathematician and philosopher who was remembered for his contributions to proof theory, particularly sequent calculus and natural deduction.
Before Fame
He once studied at the University of Göttingen.
Trivia
He devised the cut-elimination theorem, which became the cornerstone of proof-theoretic semantics.
Family Life
He was born in Greifswald, Germany. He was a member of the Nazi Party.
Associated With
He and Ludwig Wittgenstein pioneered inferential role semantics.
