base de conocimiento
CTRL+F para buscar su palabra clave

Robin Gandy

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) e Ida Caroline née Hony (1885–1977) y tataranieto del arquitecto y artista Joseph Gandy (1771–1843).

Educado en la Escuela Abbotsholme, Gandy tomó dos años de Tripos Matemáticos, en King's College, Cambridge, antes de alistarse para el servicio militar en 1940. Durante la Segunda Guerra Mundial trabajó en equipos de intercepción de radio en Hanslope Park, donde Alan Turing estaba trabajando en un discurso proyecto de cifrado, y se convirtió en uno de los amigos y asociados de toda la vida de Turing. En 1946, completó la Parte III del Tripos matemático, luego comenzó a estudiar 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. Gandy 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 mudó a Wolfson College, Oxford, donde se convirtió en Lector de Lógica Matemática. Uno de los edificios residenciales de la universidad ahora se nombra en su honor.

Es mejor 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 Iglesia: la tesis de Turing, y su generalización de la máquina de Turing se llama máquina de Gandy.

Gandy murió en Oxford, Inglaterra.