Accueil🇫🇷Chercher

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].

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

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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.