gptkbp:instanceOf
|
gptkb:person
|
gptkbp:almaMater
|
gptkb:University_of_Freiburg
|
gptkbp:awardReceived
|
gptkb:Leibniz_Medal
|
gptkbp:birthDate
|
1912-02-12
|
gptkbp:birthPlace
|
gptkb:Neunkirchen,_Saarland,_Germany
|
gptkbp:deathDate
|
2003-11-10
|
gptkbp:deathPlace
|
Freiburg im Breisgau, Germany
|
gptkbp:doctoralAdvisor
|
gptkb:Heinrich_Scholz
|
gptkbp:doctoralStudent
|
gptkb:Wilfried_Sieg
gptkb:Wolfgang_Stegmüller
|
gptkbp:employer
|
gptkb:University_of_Bonn
gptkb:University_of_Freiburg
gptkb:University_of_Münster
gptkb:University_of_Stuttgart
|
gptkbp:fieldOfWork
|
gptkb:logic
recursion theory
theoretical computer science
|
https://www.w3.org/2000/01/rdf-schema#label
|
Hans Hermes
|
gptkbp:influenced
|
gptkb:Wilfried_Sieg
gptkb:Wolfgang_Stegmüller
|
gptkbp:influencedBy
|
gptkb:Heinrich_Scholz
|
gptkbp:knownFor
|
work on recursive functions
work in mathematical logic
contributions to the theory of computation
|
gptkbp:memberOf
|
gptkb:Academy_of_Sciences_Leopoldina
|
gptkbp:nationality
|
gptkb:German
|
gptkbp:notableWork
|
gptkb:Einführung_in_die_mathematische_Logik
Enumerability – Decidability – Computability
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
|
gptkbp:bfsParent
|
gptkb:Wolfgang_Stegmüller
|
gptkbp:bfsLayer
|
5
|