Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Logic
|
| gptkbp:alma_mater |
gptkb:University_of_Göttingen
|
| gptkbp:birth_date |
1909-04-24
|
| gptkbp:death_date |
1969-09-04
|
| gptkbp:field |
mathematical logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gerhard Gentzen
|
| gptkbp:influenced |
gptkb:Hermann_Weyl
|
| gptkbp:influenced_by |
gptkb:David_Hilbert
|
| gptkbp:known_for |
natural deduction
sequent calculus |
| gptkbp:nationality |
gptkb:German
|
| gptkbp:notable_students |
gptkb:Kurt_Gödel
|
| gptkbp:work |
Proof Theory
The Foundations of Mathematics Investigations into Logical Deduction Natural Deduction: A Proof-Theoretical Study The Consistency of Arithmetic The Consistency of Set Theory The Sequent Calculus Proof Theory and Its Applications The Legacy of Gentzen in Mathematical Logic The Logical Foundations of Mathematics The Consistency of Analysis The Consistency of Formal Systems The Development of Proof Theory The Impact of Gentzen's Work on Logic The Role of Proof in Mathematics The Structure of Proofs |
| gptkbp:bfsParent |
gptkb:Alfred_Tarski
|
| gptkbp:bfsLayer |
4
|