Leo Harrington
Leo Anthony Harrington (born May 17, 1946 ) is an American mathematician who deals with mathematical logic and set theory.
Harrington received his PhD in 1973 from the Massachusetts Institute of Technology with Gerald E. Sacks ( Contributions to Recursion Theory on Higher Types ). He is a professor at the University of California, Berkeley .
In 1977 Harrington and Jeff Paris proved the undecidability of a sentence within Peano arithmetic. In 1995 he was a Gödel Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)).
In 1976 he received a research grant from the Alfred P. Sloan Foundation ( Sloan Research Fellowship ). In 1978 he was invited speaker at the International Congress of Mathematicians in Helsinki ( Definability theory ).
Ehud Hrushovski is one of his doctoral students .
Web links
Individual evidence
- ↑ Leo Harrington in the Mathematics Genealogy Project (English)
personal data | |
---|---|
SURNAME | Harrington, Leo |
ALTERNATIVE NAMES | Harrington, Leo Anthony (full name) |
BRIEF DESCRIPTION | American mathematician |
DATE OF BIRTH | May 17, 1946 |