Robin Gandy
 |
Robin Gandy | |
|---|---|
| Born | 22 September 1919 |
| Died | 20 November 1995 (aged 76) Oxford, England |
| Nationality | British |
| Alma mater | King's College, Cambridge |
| Known for | Recursion theory |
| Scientific career | |
| Fields | Mathematical logic |
| Thesis | On Axiomatic Systems in Mathematics and Theories in Physics (1953) |
| Doctoral advisor | Alan Turing |
| Doctoral students | Martin Hyland; Jeff Paris; Philip Welch |
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.[1] He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge (graduated 1953), where they worked together.
Robin Gandy was born in the village of Peppard, Oxfordshire, England.[1] 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, 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. He was a member of the Apostles.
Gandy held positions at the Universities of Leicester, Leeds, and Manchester. Gandy was a visiting associate professor at Stanford 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. One of the residential buildings of the college is now named in his honour.[2]
He is best 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 generalization of the Turing machine is called a Gandy machine.[3]
Gandy died in Oxford, England.[1]
References
- ^ a b c Yates, Mike (November 24, 1995). "Obituary: Robin Gandy". The Independent. Retrieved January 1, 2012.
- ^ "Robin Gandy Buildings, Wolfson". Flickr. Retrieved January 1, 2012.
- ^ Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University
Further reading
- Hodges, Andrew (1983). Alan Turing: The Enigma. Simon & Schuster. ISBN 0-671-49207-1.
- "Notices". The Bulletin of Symbolic Logic. 2 (1): 121–125. March 1996. doi:10.1017/s1079898600007988. JSTOR 421052.
- 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.
{{cite journal}}: CS1 maint: multiple names: authors list (link)
External links
- Robin Gandy — The Alan Turing Scrapbook, [dead link] [dead link] archived at Archive.Today
- Robin Gandy — The Mathematics Genealogy Project
- Robin Gandy publications indexed by Microsoft Academic
- 1919 births
- 1995 deaths
- People from Oxfordshire
- Alumni of King's College, Cambridge
- British Army personnel of World War II
- English mathematicians
- English logicians
- Mathematical logicians
- Academics of the University of Leicester
- Academics of the University of Leeds
- Academics of the University of Manchester
- Stanford University Department of Mathematics faculty
- University of California, Los Angeles faculty
- Fellows of Wolfson College, Oxford
- English philosophers
- 20th-century mathematicians