Robin Gandy- Robin Gandy
Robin Gandy | |
|---|---|
| Geboren |
Robin Oliver Gandy
22. September 1919
Rotherfield Pepperd , Oxfordshire, England
|
| Ist gestorben | 20. November 1995 (76 Jahre)
Oxford , England
|
| Staatsangehörigkeit | britisch |
| Bildung | Abbotsholme Schule |
| Alma Mater | Universität Cambridge (PhD) |
| Bekannt für | Rekursionstheorie |
| Wissenschaftlicher Werdegang | |
| Felder | Mathematische Logik |
| Institutionen | |
| These | Über axiomatische Systeme in der Mathematik und Theorien in der Physik (1953) |
| Doktoratsberater | Alan Turing |
| Doktoranden | |
Robin Oliver Gandy (22. September 1919 - 20. November 1995) war ein britischer Mathematiker und Logiker . Er war ein Freund, Student und Mitarbeiter von Alan Turing , nachdem er während seiner Promotion an der University of Cambridge von Turing betreut wurde , wo sie zusammenarbeiteten.
Bildung und frühes Leben
Robin Gandy wurde im Dorf Rotherfield Peppard , Oxfordshire, England geboren. Er war der Sohn von Thomas Hall Gandy (1876–1948), einem Allgemeinmediziner , und Ida Caroline, geb. Hony (1885–1977), einer Sozialarbeiterin und späteren Autorin. Er war ein Ururenkel des Architekten und Künstlers Joseph Gandy (1771–1843).
Gandy wurde an der Abbotsholme School in Derbyshire ausgebildet und absolvierte zwei Jahre des Mathematical Tripos am King's College in Cambridge , bevor er 1940 zum Militärdienst eintrat. Während des Zweiten Weltkriegs arbeitete er an Funkabhörgeräten im Hanslope Park , wo Alan Turing arbeitete eine Rede encipherment Projekt, und er wurde einer von Turings lebenslange Freunde und Mitarbeiter. 1946 schloss er Teil III des Mathematischen Tripos ab und begann dann bei Turing ein Doktoratsstudium . Er schloss seine Dissertation über axiomatische Systeme in der Mathematik und Theorien in der Physik 1952 ab. Er war Mitglied der Cambridge Apostles .
Karriere und Forschung
Gandy hatte Positionen an der University of Leicester , der University of Leeds und der University of Manchester inne . Von 1966 bis 1967 war er Gastprofessor an der Stanford University und hatte 1968 eine ähnliche Position an der University of California in Los Angeles inne . 1969 wechselte er an das Wolfson College in Oxford , wo er zum Reader in Mathematical Logic ernannt wurde.
Gandy ist bekannt für seine Arbeit in der Rekursionstheorie . Zu seinen Beiträgen gehören das Spector-Gandy-Theorem, das Gandy-Stufenvergleichstheorem und das Gandy-Auswahltheorem. Er leistete auch einen wesentlichen Beitrag zum Verständnis der Church-Turing-These , und seine Verallgemeinerung der Turing-Maschine wird als Gandy-Maschine bezeichnet.
Gandy starb am 20. November 1995 in Oxford , England.
Vermächtnis
Die Robin Gandy Buildings , zwei Wohnblöcke am Wolfson College in Oxford , sind nach Gandy benannt. Ein eintägiges Gandy-Kolloquium zum hundertjährigen Jubiläum wurde am 22. Februar 2020 am College zu Gandys Ehren abgehalten, einschließlich Beiträgen einiger seiner Studenten; Referenten waren Marianna Antonutti Marfori (München), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paris) und Philip Welch (Bristol).