Robin Gandy

Robin Gandy
Born
Robin Oliver Gandy

(1919-09-22)22 September 1919
Rotherfield Peppard, Oxfordshire, England
Died20 November 1995(1995-11-20) (aged 76)
Oxford, England
NationalityBritish
EducationAbbotsholme School
Alma materUniversity of Cambridge (PhD)
Known forRecursion theory
Scientific career
FieldsMathematical logic
Institutions
ThesisOn Axiomatic Systems in Mathematics and Theories in Physics (1953)
Doctoral advisorAlan Turing[1][2]
Doctoral students

Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.[4] He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge,[1] where they worked together.[5][6][7]

  1. ^ a b Gandy, Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics. repository.cam.ac.uk (PhD thesis). University of Cambridge. doi:10.17863/CAM.16125. EThOS uk.bl.ethos.590164. Free access icon
  2. ^ a b c Robin Gandy at the Mathematics Genealogy Project
  3. ^ Hyland, John Martin Elliott (1975). Recursion Theory on the Countable Functionals. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. EThOS uk.bl.ethos.460247.
  4. ^ Yates, Mike (24 November 1995). "Obituary: Robin Gandy". The Independent. Retrieved 1 January 2012.
  5. ^ Hodges, Andrew (1983). Alan Turing: The Enigma. Simon & Schuster. ISBN 0-671-49207-1.
  6. ^ "Notices". The Bulletin of Symbolic Logic. 2 (1): 121–125. March 1996. doi:10.1017/s1079898600007988. JSTOR 421052. S2CID 246638427.
  7. ^ Moschovakis, Yannis & Yates, Mike (September 1996). "In Memoriam: Robin Oliver Gandy, 1919–1995". The Bulletin of Symbolic Logic. 2 (3): 367–370. doi:10.1017/s1079898600007873. JSTOR 420996. S2CID 120785678.

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search