Robin Oliver Gandy

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkb:mathematician
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:birthDate 1919-09-22
gptkbp:birthPlace gptkb:United_Kingdom
gptkbp:deathDate 1995-11-20
gptkbp:doctoralAdvisor gptkb:Alan_Turing
gptkbp:doctoralStudent gptkb:Peter_Aczel
Adrian Mathias
gptkbp:field gptkb:logic
recursion theory
https://www.w3.org/2000/01/rdf-schema#label Robin Oliver Gandy
gptkbp:influencedBy gptkb:Alan_Turing
gptkbp:knownFor gptkb:Gandy_machine
contributions to mathematical logic
work on recursion theory
gptkbp:memberOf gptkb:London_Mathematical_Society
gptkbp:nationality British
gptkbp:occupation gptkb:mathematician
gptkb:professor
gptkbp:workInstitution gptkb:University_of_Oxford
gptkb:Wolfson_College,_Oxford
gptkbp:wrote Gandy, R. O. (1988). The Confluence of Ideas in 1936. In The Universal Turing Machine: A Half-Century Survey.
Gandy, R. O. (1980). Church's Thesis and Principles for Mechanisms. In The Kleene Symposium.
Gandy, R. O. (1995). Some Reflections on the Mechanistic Thesis.
gptkbp:bfsParent gptkb:R._O._Gandy
gptkbp:bfsLayer 7