Robin Oliver Gandy (22 de septiembre de 1919 - 20 de noviembre de 1995) fue un matemático y lógico británico . [4] Era un amigo, estudiante y asociado de Alan Turing , habiendo sido supervisado por Turing durante su doctorado en la Universidad de Cambridge , [1] donde trabajaron juntos. [5] [6] [7]
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 | |
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 [1] [2] |
Estudiantes de doctorado |
Educación y vida temprana
Robin Gandy nació en el pueblo de Rotherfield Peppard , Oxfordshire, Inglaterra. [4] 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. [8] 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. [1] Fue miembro de los Apóstoles de Cambridge . [ cita requerida ]
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. [9]
Gandy murió en Oxford , Inglaterra, el 20 de noviembre de 1995. [4] [10]
Legado
Los edificios Robin Gandy , un par de bloques de alojamiento en Wolfson College, Oxford , llevan el nombre de Gandy. [11] [12] El 22 de febrero de 2020 se celebró un Coloquio de Gandy del centenario de un día en el Colegio en honor a Gandy, que incluyó las contribuciones de algunos de sus estudiantes; [13] [14] los oradores 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).
Referencias
- ↑ a b c Gandy, Robin Oliver (1953). Sobre sistemas axiomáticos en matemáticas y teorías en física . repository.cam.ac.uk (tesis doctoral). Universidad de Cambridge. doi : 10.17863 / CAM.16125 . EThOS uk.bl.ethos.590164 .
- ^ a b c Robin Gandy en el Proyecto de genealogía de las matemáticas
- ^ Hyland, John Martin Elliott (1975). Teoría de la recursividad sobre los funcionales contables . bodleian.ox.ac.uk (tesis de DPhil). Universidad de Oxford. EThOS uk.bl.ethos.460247 .
- ^ a b c Yates, Mike (24 de noviembre de 1995). "Obituario: Robin Gandy" . The Independent . Consultado el 1 de enero de 2012 .
- ^ Hodges, Andrew (1983). Alan Turing: El enigma . Simon y Schuster . ISBN 0-671-49207-1.
- ^ "Avisos". El Boletín de Lógica Simbólica . 2 (1): 121-125. Marzo de 1996. doi : 10.1017 / s1079898600007988 . JSTOR 421052 .
- ^ Moschovakis, Yannis & Yates, Mike (septiembre de 1996). "In Memoriam: Robin Oliver Gandy, 1919-1995". El Boletín de Lógica Simbólica . 2 (3): 367–370. doi : 10.1017 / s1079898600007873 . JSTOR 420996 .
- ^ "Ida Gandy - Escritor" . Centro del patrimonio de Aldbourne . Consultado el 7 de abril de 2021 .
- ^ Wilfried Sieg, 2005, Iglesia sin dogma: axiomas de computabilidad, Universidad Carnegie Mellon
- ↑ Robin Gandy - The Alan Turing Scrapbook , archivado en Archive.Today
- ^ "Tipos de alojamiento - Edificios Robin Gandy" . Reino Unido: Wolfson College, Oxford . Consultado el 14 de abril de 2020 .
- ^ "Edificios Robin Gandy, Wolfson" . Flickr . 6 de abril de 2008 . Consultado el 1 de enero de 2012 .
- ^ "El Coloquio de Gandy" . Reino Unido: Wolfson College, Oxford . 22 de febrero de 2020 . Consultado el 14 de abril de 2020 .
- ^ Isaacson, Daniel (2020). "Wolfson College saluda a Robin Gandy en su centenario" . Reino Unido: Wolfson College, Oxford . Consultado el 14 de abril de 2020 .