Martin Löb

URI: https://gptkb.org/entity/Martin_Löb
GPTKB entity
Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthDate 1921-03-31
gptkbp:birthPlace gptkb:Berlin,_Germany
gptkbp:citizenship gptkb:United_Kingdom
gptkbp:deathDate 2006-08-21
gptkbp:deathPlace gptkb:Leeds,_United_Kingdom
gptkbp:doctoralAdvisor gptkb:Paul_Bernays
gptkbp:education gptkb:ETH_Zurich
gptkbp:employer gptkb:University_of_Leeds
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Martin Löb
gptkbp:knownFor gptkb:Löb's_theorem
gptkbp:nationality gptkb:German
gptkbp:notableStudent gptkb:Wilfrid_Hodges
gptkbp:occupation gptkb:mathematician
gptkbp:bfsParent gptkb:Johan_van_Benthem
gptkbp:bfsLayer 5