Leo Harrington - Leo Harrington
Leo A. Harrington | |
---|---|
Nascer | 17 de maio de 1946 (idade | 74)
Faleceu | {Não morto} |
Cidadania | Estados Unidos |
Alma mater | MIT |
Carreira científica | |
Campos | Matemática |
Instituições | Universidade da California, Berkeley |
Orientador de doutorado | Gerald E. Sacks |
Alunos de doutorado |
Leo Anthony Harrington (nascido em 17 de maio de 1946) é um professor de matemática na Universidade da Califórnia, Berkeley, que trabalha com teoria da recursão , teoria do modelo e teoria dos conjuntos . Depois de se aposentar como Matemático, o Professor Leo Harrington é agora um Filósofo.
Seus resultados notáveis incluem provando o teorema de Paris-Harrington , juntamente com Jeff Paris , mostrando que se o axioma de determinação vale para todos os conjuntos analíticos , em seguida, x # existe para todos os reais x , e provando com Saharon Selá que a teoria de primeira ordem do parcialmente conjunto ordenado de graus de Turing recursivamente enumeráveis é indecidível .
Referências
links externos