Age, Biography and Wiki
Birth Day | November 24, 1909 |
Birth Place | Greifswald, Germany |
Age | 111 YEARS OLD |
Died On | Aug 4, 1945 (age 35) |
Birth Sign | Sagittarius |
Net worth: $100K - $1M
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.