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
  
|
Este artigo sobre um matemático americano é um esboço . Você pode ajudar a Wikipedia expandindo-a . |