Leo Anthony Harrington (nacido el 17 de mayo de 1946) es profesor de matemáticas en la Universidad de California, Berkeley, que trabaja en teoría de recursividad , teoría de modelos y teoría de conjuntos . Tras haberse retirado de ser matemático, el profesor Leo Harrington es ahora filósofo.
Leo A. Harrington | |
---|---|
Nació | 17 de mayo de 1946 (edad | 75)
Fallecido | {No muerto} |
Ciudadanía | Estados Unidos |
alma mater | MIT |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de California, Berkeley |
Asesor de doctorado | Gerald E. Sacks |
Estudiantes de doctorado |
|
Sus resultados notables incluyen probar el teorema de Paris-Harrington junto con Jeff Paris , [1] mostrando que si el axioma de determinación es válido para todos los conjuntos analíticos, entonces x # existe para todos los reales x , [2] y demostrar con Saharon Shelah que la primera La teoría del orden del conjunto parcialmente ordenado de grados de Turing recursivamente enumerables es indecidible . [3]
Referencias
- ^ París, J .; Harrington, L. (1977), "A Mathematical Incompleteness in Peano Arithmetic", en Barwise, J. (ed.), Handbook of Mathematical Logic , North-Holland, págs. 1133-1142
- ^ Harrington, L. (1978), "Determinación analítica y 0 # ", Journal of Symbolic Logic , 43 (4): 685–693, doi : 10.2307 / 2273508 , JSTOR 2273508
- ^ Harrington, L .; Shelah, S. (1982), "La indecidibilidad de los grados recursivamente enumerables" , Bull. Amer. Matemáticas. Soc. (NS) , 6 (1): 79–80, doi : 10.1090 / S0273-0979-1982-14970-9