R. O. Gandy

URI: https://gptkb.org/entity/R._O._Gandy
GPTKB entity
Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:birthDate 1919-09-22
gptkbp:birthPlace gptkb:England
gptkbp:deathDate 1995-11-20
gptkbp:deathPlace gptkb:Oxford,_England
gptkbp:doctoralAdvisor gptkb:Alan_Turing
gptkbp:field gptkb:logic
theoretical computer science
gptkbp:fullName gptkb:Robin_Oliver_Gandy
gptkbp:honor gptkb:Fellow_of_the_Royal_Society
https://www.w3.org/2000/01/rdf-schema#label R. O. Gandy
gptkbp:influenced computability theory
gptkbp:influencedBy gptkb:Alan_Turing
gptkbp:knownFor gptkb:Gandy_machine
work on computability theory
gptkbp:memberOf gptkb:Royal_Society
gptkbp:nationality British
gptkbp:notableStudent gptkb:Gareth_Evans
gptkb:S._Barry_Cooper
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:publishedIn gptkb:Proceedings_of_the_London_Mathematical_Society
gptkbp:workInstitution gptkb:University_of_Cambridge
gptkb:University_of_Oxford
gptkbp:bfsParent gptkb:Peter_Aczel
gptkbp:bfsLayer 6