Robin Gandy
Robin Gandy | |
---|---|
Born | Robin Oliver Gandy 22 September 1919 Recursion theory |
Scientific career | |
Fields | Mathematical logic |
Institutions | |
Thesis | On Axiomatic Systems in Mathematics and Theories in Physics (1953) |
Doctoral advisor | Alan Turing[1][2] |
Doctoral students |
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and
Education and early life
Robin Gandy was born in the village of Rotherfield Peppard, Oxfordshire, England.[4] A great-great-grandson of the architect and artist Joseph Gandy (1771–1843), he was the son of Thomas Hall Gandy (1876–1948), a general practitioner, and Ida Caroline née Hony (1885–1977), a social worker and later an author.[8] His brother was the diplomat Christopher Gandy and his sister was the physician Gillian Gandy.[9]
Educated at
Career and research
Gandy held positions at the University of Leicester, the University of Leeds, and the University of Manchester. He 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.
Gandy is known for his work in
Gandy died in Oxford, England on 20 November 1995.[4][12]
Legacy
The Robin Gandy Buildings, a pair of accommodation blocks at Wolfson College, Oxford, are named after Gandy.[13][14] 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;[15][16] 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
- ^ EThOS uk.bl.ethos.590164.
- ^ a b c Robin Gandy at the Mathematics Genealogy Project
- EThOS uk.bl.ethos.460247.
- ^ a b c Yates, Mike (24 November 1995). "Obituary: Robin Gandy". The Independent. Retrieved 1 January 2012.
- ISBN 0-671-49207-1.
- S2CID 246638427.
- S2CID 120785678.
- ^ "Ida Gandy - Writer". Aldbourne Heritage Centre. Retrieved 7 April 2021.
- S2CID 41777853.
- ^ "Wolfson College salutes Robin Gandy on his centenary | Wolfson College, Oxford".
- ^ Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University
- ^ Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today
- ^ "Accommodation types – Robin Gandy Buildings". UK: Wolfson College, Oxford. Retrieved 14 April 2020.
- ^ "Robin Gandy Buildings, Wolfson". Flickr. 6 April 2008. Retrieved 1 January 2012.
- ^ "The Gandy Colloquium". UK: Wolfson College, Oxford. 22 February 2020. Retrieved 14 April 2020.
- ^ Isaacson, Daniel (2020). "Wolfson College salutes Robin Gandy on his centenary". UK: Wolfson College, Oxford. Retrieved 14 April 2020.