Horst Gentzen

URI: https://gptkb.org/entity/Horst_Gentzen

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:logic gptkb:mathematician
gptkbp:almaMater	gptkb:University_of_Göttingen
gptkbp:birthDate	1909-11-24
gptkbp:birthPlace	gptkb:Greifswald,_Germany
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:Gerhard_Gentzen
gptkbp:knownFor	gptkb:cut-elimination_theorem gptkb:sequent_calculus natural deduction consistency proof for arithmetic
gptkbp:nationality	gptkb:German
gptkbp:notableWork	gptkb:Untersuchungen_über_das_logische_Schließen
gptkbp:occupation	gptkb:professor
gptkbp:bfsParent	gptkb:Kermit_der_Frosch
gptkbp:bfsLayer	8
http://www.w3.org/2000/01/rdf-schema#label	Horst Gentzen