Robin Gandy - Robin Gandy
Robin Gandy | |
---|---|
Nascer |
Robin Oliver Gandy
22 de setembro de 1919
Rotherfield Peppard , Oxfordshire, Inglaterra
|
Morreu | 20 de novembro de 1995
Oxford , Inglaterra
|
(com 76 anos)
Nacionalidade | britânico |
Educação | Abbotsholme School |
Alma mater | Universidade de Cambridge (PhD) |
Conhecido por | Teoria da recursão |
Carreira científica | |
Campos | Lógica matemática |
Instituições | |
Tese | On Aximatic Systems in Mathematics and Theories in Physics (1953) |
Orientador de doutorado | Alan Turing |
Alunos de doutorado |
Robin Oliver Gandy (22 de setembro de 1919 - 20 de novembro de 1995) foi um matemático e lógico britânico . Ele era amigo, aluno e associado de Alan Turing , tendo sido orientado por Turing durante seu doutorado na Universidade de Cambridge , onde trabalharam juntos.
Educação e infância
Robin Gandy nasceu na vila de Rotherfield Peppard , Oxfordshire, Inglaterra. Ele era filho de Thomas Hall Gandy (1876 a 1948), um clínico geral , e de Ida Caroline nascida Hony (1885 a 1977), uma assistente social e mais tarde escritora. Ele era um tataraneto do arquiteto e artista Joseph Gandy (1771-1843).
Educado na Abbotsholme School em Derbyshire, Gandy fez dois anos do Mathematical Tripos , no King's College, Cambridge , antes de se alistar para o serviço militar em 1940. Durante a Segunda Guerra Mundial, ele trabalhou em equipamentos de interceptação de rádio no Hanslope Park , onde Alan Turing estava trabalhando um projeto de codificação de fala , e ele se tornou um dos amigos e associados de longa data de Turing. Em 1946, ele completou a Parte III dos Tripos matemáticos e, em seguida, começou a estudar para um doutorado sob a supervisão de Turing. Ele concluiu sua tese, On aximatic systems in mathematics and theories in Physics , em 1952. Foi membro dos Apóstolos de Cambridge .
Carreira e pesquisa
Gandy ocupou cargos na University of Leicester , na University of Leeds e na University of Manchester . Ele foi um professor associado visitante na Universidade de Stanford de 1966 a 1967 e ocupou uma posição semelhante na Universidade da Califórnia, Los Angeles em 1968. Em 1969, mudou-se para o Wolfson College, em Oxford , onde se tornou Leitor em Lógica Matemática.
Gandy é conhecido por seu trabalho na teoria da recursão . Suas contribuições incluem o teorema de Spector-Gandy, o teorema de comparação do estágio de Gandy e o teorema de seleção de Gandy. Ele também deu uma contribuição significativa para a compreensão da tese de Church-Turing , e sua generalização da máquina de Turing é chamada de máquina de Gandy.
Gandy morreu em Oxford , Inglaterra, em 20 de novembro de 1995.
Legado
Os edifícios Robin Gandy , um par de blocos de acomodação no Wolfson College, Oxford , têm o nome de Gandy. Um centenário Colóquio Gandy de um dia foi realizado em 22 de fevereiro de 2020 no Colégio em homenagem a Gandy, incluindo contribuições de alguns de seus alunos; os palestrantes foram Marianna Antonutti Marfori (Munique), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paris) e Philip Welch (Bristol).