Robin Gandy
Robin Oliver Gandy (-) est un mathématicien et logicien britannique, ami d'Alan Turing, qui est son directeur de thèse à l'université de Cambridge (1953) et son collaborateur[1].
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Arme | |
| Conflit | |
| Maître | |
| Directeur de thèse |
Biographie
Robin Gandy est né dans le village de Peppard (en), Oxfordshire, en Angleterre[1]. Il est le fils de Thomas Hall Gandy (1876-1948) et d'Ida Caroline née Hony (1885-1977) et arrière-arrière-petit-fils de l'architecte et artiste Joseph Gandy (1771-1843).
Formé à Abbotsholme, Gandy suit deux années de mathématiques au King's College de Cambridge avant de faire son service militaire en 1940. Pendant la Seconde Guerre mondiale, il travaille sur l'équipement d'interception radio à Hanslope Park, où Alan Turing travaille sur son projet de cryptologie. Il devient alors l'un de ses amis et partenaires. En 1946, il complète la partie III des Tripos mathématiques, puis commence une thèse sous la direction de Turing. Il défend sa thèse, sur les systèmes axiomatiques en mathématiques et les théories en physique, en 1952. Il est membre de la société des Apôtres de Cambridge.
Gandy est ensuite enseignant-chercheur aux universités de Leicester, Leeds et Manchester. Gandy est professeur associé invité à Stanford de 1966 à 1967 et occupe un poste similaire à l'université de Californie à Los Angeles en 1968. En 1969, il déménage au Wolfson College d'Oxford, où il devient reader en logique mathématique. Un des bâtiments résidentiels du collège est maintenant nommé en son honneur[2].
Il est surtout connu pour son travail en théorie de la récurrence. Ses contributions incluent le théorème de Spector-Gandy, le théorème de Gandy de comparaison d'étape, et le théorème de sélection de Gandy. Il a également apporté une contribution significative à la compréhension de la thèse de Church-Turing. Sa généralisation de la machine de Turing, qui est parallèle, s'appelle la machine de Gandy[3].
Gandy est le légataire des documents scientifiques de Turing[4] ainsi que le récipiendaire d'un certain nombre de lettres de la mère de Turing après la mort de son fils[5]. Il a par ailleurs donné une conférence invité sur son maître et ami Alan Turing au symposium annuel sur la logique en informatique (LICS) en 1990 à Philadelphie en Pennsylvanie[6].
Gandy est mort Ă Oxford, en Angleterre[1].
Références
- Yates, Mike, « Obituary: Robin Gandy », The Independent, (consulté le )
- « Robin Gandy Buildings, Wolfson », Flickr (consulté le )
- Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University
- (en)Bonhans - 13/04/2015 - Alan Turing's hidden manuscript - Bonhams.com, consulté le 15 avril 2015
- Lettres d'Ethel Turing Ă Robin Gandy, 28 July 1954
- LICS 1990 invited speakers
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Robin Gandy » (voir la liste des auteurs).
Bibliographie
- Andrew Hodges (trad. Nathalie Zimmerman), Alan Turing ou l'énigme de l'intelligence, Paris, Payot, coll. « Bibliothèque scientifique », .Édition complétée : Alan Turing : le génie qui a décrypté les codes secrets nazis et inventé l'ordinateur (trad. de l'anglais), Neuilly-sur-Seine, Michel Lafon, , 702 p. (ISBN 978-2-7499-2433-5)
- « Notices », The Bulletin of Symbolic Logic, vol. 2, no 1,‎ , p. 121–125 (DOI 10.1017/s1079898600007988, JSTOR 421052)
- Moschovakis, Yannis et Yates, Mike, « In Memoriam: Robin Oliver Gandy, 1919–1995 », The Bulletin of Symbolic Logic, vol. 2, no 3,‎ , p. 367–370 (DOI 10.1017/s1079898600007873, JSTOR 420996)
Voir aussi
Liens externes
- Ressource relative Ă la recherche :
- Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today
- Robin Gandy — The Mathematics Genealogy Project
- (en) « Liste de publications », sur Microsoft Academic Search (en)
- Robin Gandy in Google Scholar