| Gerhard Gentzen |
Article Index for Gerhard |
Shopping Gerhard |
Website Links For Gerhard |
Information AboutGerhard Gentzen |
|
Born in Greifswald , Germany , he starved to death in a prisoner's camp close to Prague , after being arrested due to his Nazi loyalties. He was one of Weyl 's students at the University Of Göttingen from 1929 to 1933 . His main work was on the foundations of Mathematics , in Proof Theory , specifically Natural Deduction and the Sequent Calculus . His Cut-elimination Theorem is the cornerstone of Proof-theoretic Semantics , and some philosophical remarks in his "Investigations into Logical Deduction", together with Wittgenstein 's aphorism that "meaning is use", constitute the starting point for Inferential Role Semantics . REFERENCES
EXTERNAL LINKS |
|
|