Leo Harrington

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Leo Harrington
Matemática
Nacionalidade Estados Unidos Estadunidense
Nascimento 17 de maio de 1946 (68 anos)
Atividade
Campo(s) Matemática
Alma mater Instituto de Tecnologia de Massachusetts
Orientador(es) Gerald Sacks[1]
Prêmio(s) Gödel Lecturer (1995)

Leo Anthony Harrington (17 de maio de 1946) é um matemático estadunidense.

Harrington obteve um doutorado em 1973 no Instituto de Tecnologia de Massachusetts, orientado por Gerald Sacks, com a tese Contributions to Recursion Theory on Higher Types. É professor da Universidade da Califórnia em Berkeley.

Harrington provou em 1977 com Jeff Paris a indeterminação de um teorema pertencente à aritmética de Peano. Em 1995 foi Gödel Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)).

Em 1978 foi Invited Speaker no Congresso Internacional de Matemáticos em Helsinque (Definability theory).

Dentre seus doutorandos consta Ehud Hrushovski.

Referências

Ligações externas[editar | editar código-fonte]

Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.