Gerhard Gentzen

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.