Robin Gandy

Robin Oliver Gandy (22 de septiembre de 1919 – 20 de noviembre de 1995) fue un matemático y lógico británico . ^{[ 1 ]} Fue amigo, alumno y colaborador de Alan Turing , quien lo supervisó durante su doctorado en la Universidad de Cambridge , ^{[ 2 ]} donde trabajaron juntos. ^{[ 3 ] [ 4 ] [ 5 ]}

Robin Gandy nació en el pueblo de Rotherfield Peppard , Oxfordshire, Inglaterra. ^{[ 1 ]} Tataranieto del arquitecto y artista Joseph Gandy (1771–1843), era hijo de Thomas Hall Gandy (1876–1948), médico general , e Ida Caroline née Hony (1885–1977), trabajadora social y posteriormente escritora. ^{[ 6 ]} Su hermano era el diplomático Christopher Gandy y su hermana la médica Gillian Gandy . ^{[ 7 ]}

Educado en la escuela Abbotsholme en Derbyshire, Gandy cursó dos años del programa de Matemáticas en el King's College de Cambridge antes de alistarse en el ejército en 1940. Durante la Segunda Guerra Mundial , trabajó en equipos de interceptación de radio en Hanslope Park , donde Alan Turing trabajaba en un proyecto de cifrado de voz , y se convirtió en uno de sus amigos y colaboradores de toda la vida. En 1946, completó la tercera parte del programa de Matemáticas y comenzó a estudiar un doctorado bajo la supervisión de Turing. Finalizó su tesis, « Sobre sistemas axiomáticos en matemáticas y teorías en física» , en 1952. ^{[ 2 ]} Fue miembro de los Apóstoles de Cambridge . ^{[ 8 ]}

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ó al Wolfson College de Oxford , donde se convirtió en profesor titular de lógica matemática.

Gandy es conocido por su trabajo en teoría de la recursión . Entre sus contribuciones se 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 realizó 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 denomina máquina de Gandy. ^{[ 9 ]}

Gandy murió en Oxford , Inglaterra, el 20 de noviembre de 1995. ^{[ 1 ] [ 10 ]}

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ó en el College un coloquio de un día en honor a Gandy, que incluyó 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).