Gerhard Gentzen

#138056
Most Popular
Boost
Birthday
24, 1909
Birthplace
Greifswald, Germany
Death Date
Aug 4, 1945 (35)
Birth Sign
Sagittarius
Birthday
24, 1909
Birthplace
Greifswald, Germany
Death Date
Aug 4, 1945 (35)

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.