Robin Gandy - Robin Gandy
Robin Gandy | |
---|---|
Nació |
Robin Oliver Gandy
22 de septiembre de 1919
Rotherfield Peppard , Oxfordshire, Inglaterra
|
Fallecido | 20 de noviembre de 1995
Oxford , Inglaterra
|
(76 años)
Nacionalidad | británico |
Educación | Escuela de Abbotsholme |
alma mater | Universidad de Cambridge (PhD) |
Conocido por | Teoría de la recursividad |
Carrera científica | |
Los campos | Lógica matemática |
Instituciones | |
Tesis | Sobre sistemas axiomáticos en matemáticas y teorías en física (1953) |
Asesor de doctorado | Alan Turing |
Estudiantes de doctorado |
Robin Oliver Gandy (22 de septiembre de 1919 - 20 de noviembre de 1995) fue un matemático y lógico británico . Era amigo, estudiante y asociado de Alan Turing , y había sido supervisado por Turing durante su doctorado en la Universidad de Cambridge , donde trabajaron juntos.
Educación y vida temprana
Robin Gandy nació en el pueblo de Rotherfield Peppard , Oxfordshire, Inglaterra. Era hijo de Thomas Hall Gandy (1876-1948), médico general , e Ida Caroline de soltera Hony (1885-1977), trabajadora social y más tarde autora. Fue tataranieto del arquitecto y artista Joseph Gandy (1771-1843).
Educado en Abbotsholme School en Derbyshire, Gandy tomó dos años de Tripos de Matemáticas , en King's College, Cambridge , antes de alistarse para el servicio militar en 1940. Durante la Segunda Guerra Mundial trabajó en equipos de interceptación de radio en Hanslope Park , donde Alan Turing estaba trabajando en un proyecto de cifrado del habla , y se convirtió en uno de los amigos y socios de toda la vida de Turing. En 1946, completó la Parte III de los Tripos de Matemáticas, luego comenzó a estudiar para un doctorado bajo la supervisión de Turing. Completó su tesis, Sobre sistemas axiomáticos en matemáticas y teorías en física , en 1952. Fue miembro de los Apóstoles de Cambridge .
Carrera e investigación
Gandy ocupó cargos en la Universidad de Leicester , la Universidad de Leeds y la Universidad de Manchester . Fue profesor asociado visitante en la Universidad de Stanford de 1966 a 1967, y ocupó un puesto similar en la Universidad de California, Los Ángeles en 1968. En 1969, se trasladó a Wolfson College, Oxford , donde se convirtió en Lector de Lógica Matemática.
Gandy es conocido por su trabajo en la teoría de la recursividad . Sus contribuciones incluyen el teorema de Spector-Gandy, el teorema de comparación de etapas de Gandy y el teorema de selección de Gandy. También hizo una contribución significativa a la comprensión de la tesis de Church-Turing , y su generalización de la máquina de Turing se llama máquina de Gandy.
Gandy murió en Oxford , Inglaterra, el 20 de noviembre de 1995.
Legado
Los edificios Robin Gandy , un par de bloques de alojamiento en Wolfson College, Oxford , llevan el nombre de Gandy. El 22 de febrero de 2020 se llevó a cabo un Coloquio de Gandy del centenario de un día en el Colegio en honor a Gandy, que incluyó contribuciones de algunos de sus estudiantes; los ponentes fueron Marianna Antonutti Marfori (Múnich), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (París) y Philip Welch (Bristol).