Leo Harrington
Jump to navigation
Jump to search
Leo A. Harrington | |
---|---|
Born | May 17, 1946 | (age 78)
Citizenship | United States |
Alma mater | MIT |
Awards | Gödel Lecture (1995) |
Scientific career | |
Fields | Mathematics |
Institutions | University of California, Berkeley |
Doctoral advisor | Gerald E. Sacks |
Doctoral students |
Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. Having retired from being a Mathematician, Professor Leo Harrington is now a Philosopher.[citation needed]
His notable results include proving the Paris–Harrington theorem along with Jeff Paris,[1] showing that if the axiom of determinacy holds for all analytic sets then x# exists for all reals x,[2] and proving with Saharon Shelah that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.[3]
References
- ^ Paris, J.; Harrington, L. (1977), "A Mathematical Incompleteness in Peano Arithmetic", in Barwise, J. (ed.), Handbook of Mathematical Logic, North-Holland, pp. 1133–1142
- ^ Harrington, L. (1978), "Analytic Determinacy and 0#", Journal of Symbolic Logic, 43 (4): 685–693, doi:10.2307/2273508, JSTOR 2273508, S2CID 46061318
- ^ Harrington, L.; Shelah, S. (1982), "The undecidability of the recursively enumerable degrees", Bull. Amer. Math. Soc. (N.S.), 6 (1): 79–80, doi:10.1090/S0273-0979-1982-14970-9
External links
Categories:
- Articles with short description
- Short description matches Wikidata
- Articles with hCards
- All articles with unsourced statements
- Articles with unsourced statements from November 2021
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with NTA identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Living people
- American logicians
- 20th-century American mathematicians
- 21st-century American mathematicians
- Massachusetts Institute of Technology alumni
- University of California, Berkeley College of Letters and Science faculty
- Model theorists
- Set theorists
- 1946 births
- All stub articles
- American mathematician stubs