|
gptkbp:instanceOf
|
gptkb:logic
gptkb:mathematician
|
|
gptkbp:almaMater
|
gptkb:University_of_Göttingen
|
|
gptkbp:birthDate
|
1909-11-24
|
|
gptkbp:birthPlace
|
gptkb:Greifswald,_Germany
|
|
gptkbp:causeOfDeath
|
starvation
|
|
gptkbp:deathDate
|
1945-08-04
|
|
gptkbp:deathPlace
|
gptkb:Prague,_Czechoslovakia
|
|
gptkbp:doctoralAdvisor
|
gptkb:Paul_Bernays
|
|
gptkbp:field
|
gptkb:logic
proof theory
|
|
gptkbp:influenced
|
gptkb:Kurt_Schütte
gptkb:Gaisi_Takeuti
|
|
gptkbp:influencedBy
|
gptkb:David_Hilbert
gptkb:Paul_Bernays
|
|
gptkbp:knownFor
|
gptkb:sequent_calculus
natural deduction
consistency proof of Peano arithmetic
|
|
gptkbp:memberOf
|
gptkb:University_of_Göttingen
|
|
gptkbp:nationality
|
gptkb:German
|
|
gptkbp:notableWork
|
gptkb:Die_Widerspruchsfreiheit_der_reinen_Zahlentheorie
gptkb:Untersuchungen_über_das_logische_Schließen
|
|
gptkbp:restingPlace
|
gptkb:Olšany_Cemetery,_Prague
|
|
gptkbp:bfsParent
|
gptkb:Logician
gptkb:Die_Widerspruchsfreiheit_der_reinen_Zahlentheorie
gptkb:cut-elimination_theorem
gptkb:sequent_calculus
gptkb:Foundations_of_mathematics
|
|
gptkbp:bfsLayer
|
6
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
Gerhard Gentzen
|