Gerhard Gentzen was born on November 24, 1909 in Greifswald, Germany. German mathematician and philosopher who was remembered for his contributions to proof theory, particularly sequent calculus and natural deduction.
Gerhard Gentzen is a member of Philosopher
💰 Net worth: Under Review
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.