Robin Gandy

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]

Robin Gandy
Born	Robin Oliver Gandy (1919-09-22)22 September 1919 Rotherfield Peppard, Oxfordshire, England
Died	20 November 1995(1995-11-20) (aged 76) Oxford, England
Nationality	British
Education	Abbotsholme School
Alma mater	University of Cambridge (PhD)
Known for	Recursion theory
Home town	Oxford, England
Scientific career
Fields	Mathematical logic
Institutions	University of Manchester University of Leicester University of Leeds Stanford University University of California, Los Angeles University of Oxford
Thesis	On Axiomatic Systems in Mathematics and Theories in Physics (1953)
Doctoral advisor	Alan Turing[1][2]
Doctoral students	Martin Hyland[3] Jeff Paris[2]

Education and early life

Robin Gandy was born in the village of Rotherfield Peppard, Oxfordshire, England.[4] He was the son of Thomas Hall Gandy (1876–1948) and Ida Caroline née Hony (1885–1977) and great-great-grandson of the architect and artist Joseph Gandy (1771–1843).

Educated at Abbotsholme School, Gandy took two years of the Mathematical Tripos, at King's College, Cambridge, before enlisting for military service in 1940. During World War II he worked on radio intercept equipment at Hanslope Park, where Alan Turing was working on a speech encipherment project, and he became one of Turing's lifelong friends and associates. In 1946, he completed Part III of the Mathematical Tripos, then began studying for a PhD under Turing's supervision. He completed his thesis, On axiomatic systems in mathematics and theories in Physics, in 1952.[1] He was a member of the Cambridge Apostles.

Career and research

Gandy held positions at the University of Leicester, the University of Leeds, and the University of Manchester. Gandy was a visiting associate professor at Stanford University from 1966 to 1967, and held a similar position at University of California, Los Angeles in 1968. In 1969, he moved to Wolfson College, Oxford, where he became Reader in Mathematical Logic.

Robin Gandy is known for his work in recursion theory. His contributions include the Spector–Gandy theorem, the Gandy Stage Comparison theorem, and the Gandy Selection Theorem. He also made a significant contribution to the understanding of the Church—Turing thesis, and his generalisation of the Turing machine is called a Gandy machine.[8]

Gandy died in Oxford, England.[4][9]

Legacy

The Robin Gandy Buildings, a pair of accommodation blocks at Wolfson College, Oxford, are named after Gandy.[10][11] A one-day centenary Gandy Colloquium was held on 22 February 2020 at the College in Gandy's honour, including contributions by some of his students.[12][13] The speakers were Marianna Antonutti Marfori (Munich), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paris), and Philip Welch (Bristol).

References

1. 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.
2. 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.
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.
8. Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University
9. Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today
10. "Accommodation types – Robin Gandy Buildings". UK: Wolfson College, Oxford. Retrieved 14 April 2020.
11. "Robin Gandy Buildings, Wolfson". Flickr. 6 April 2008. Retrieved 1 January 2012.
12. "The Gandy Colloquium". UK: Wolfson College, Oxford. 22 February 2020. Retrieved 14 April 2020.
13. Isaacson, Daniel (2020). "Wolfson College salutes Robin Gandy on his centenary". UK: Wolfson College, Oxford. Retrieved 14 April 2020.