Properties (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
logician
|
| gptkbp:almaMater |
gptkb:University_of_Göttingen
|
| gptkbp:birthDate |
1909-04-24
|
| gptkbp:deathDate |
1969-09-04
|
| gptkbp:field |
mathematical logic
proof theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Gerhard Gentzen
|
| gptkbp:influenced |
gptkb:Hermann_Weyl
|
| gptkbp:influencedBy |
gptkb:David_Hilbert
|
| gptkbp:knownFor |
natural deduction
sequent calculus |
| gptkbp:nationality |
German
|
| gptkbp:notableFeature |
gptkb:Gottlob_Frege
Kurt Gödel |
| gptkbp:work |
Proof Theory
Investigations into Logical Deduction Natural Deduction: A Proof-Theoretical Study The Consistency of Arithmetic The Consistency of Elementary Number Theory The Sequent Calculus The Relationship Between Gentzen's Work and Logical Deduction The Role of Gentzen in the Development of Formal Proofs The Relationship Between Gentzen's Work and Classical Logic The Relationship Between Gentzen's Work and Mathematical Foundations The Relationship Between Natural Deduction and Sequent Calculus The Contributions of Gentzen to Structural Proof Theory The Development of Gentzen's Sequent Calculus The Historical Context of Gentzen's Contributions The Impact of Gentzen's Work on Mathematical Logic The Impact of Gentzen's Work on Modern Logic The Impact of Gentzen's Work on the Study of Logic The Legacy of Gentzen in Mathematical Logic The Legacy of Gentzen in the Development of Logic The Role of Cut Elimination in Proof Theory The Role of Gentzen in the History of Logic The Impact of Gentzen's Work on the Philosophy of Mathematics The Role of Gentzen in the Evolution of Proof Theory The Impact of Gentzen's Work on Theoretical Computer Science The Role of Gentzen in the Evolution of Mathematical Logic The Relationship Between Gentzen's Work and Intuitionistic Logic The Contributions of Gentzen to the Study of Proof Theory The Relationship Between Gentzen's Work and Proof Theory The Impact of Gentzen's Work on the Philosophy of Logic The Role of Gentzen in the History of Mathematical Logic The Application of Gentzen's Ideas in Automated Theorem Proving The Contributions of Gentzen to the Study of Logical Deduction The Role of Gentzen in the Development of Formal Logic The Relationship Between Gentzen's Work and Formal Proofs The_Foundations_of_Mathematics The_Logical_Foundations_of_Mathematics The_Contributions_of_Gentzen_to_the_Foundations_of_Mathematics The_Influence_of_Gentzen_on_the_Development_of_Logic The_Legacy_of_Gentzen_in_the_Study_of_Mathematical_Logic The_Contributions_of_Gentzen_to_the_Study_of_Mathematical_Foundations The_Influence_of_Gentzen_on_Computer_Science The_Influence_of_Gentzen_on_Proof_Theory_and_Logic The_Influence_of_Gentzen_on_the_Study_of_Proofs The_Legacy_of_Gentzen_in_the_Field_of_Logic The_Role_of_Gentzen_in_the_History_of_Proof_Theory The_Influence_of_Gentzen_on_Modern_Logic_and_Mathematics The_Development_of_Proof_Theory_in_the_20th_Century The_Contributions_of_Gentzen_to_the_Study_of_Logical_Foundations The_Historical_Significance_of_Gentzen's_Contributions The_Legacy_of_Gentzen_in_the_Field_of_Mathematical_Logic The_Influence_of_Gentzen_on_the_Development_of_Proof_Theory The_Contributions_of_Gentzen_to_the_Foundations_of_Logic The_Significance_of_Gentzen's_Cut-Elimination_Theorem |