Leo Harrington

Leo Anthony Harrington ( born May 17, 1946) is an American mathematician who deals with mathematical logic and set theory.

Harrington received his doctorate in 1973 at the Massachusetts Institute of Technology Gerald E. Sacks ( Contributions to Recursion Theory on Higher Types). He is a professor at the University of California, Berkeley.

Harrington proved in 1977 with Jeff Paris the undecidability of a sentence within the Peano arithmetic. In 1995 he was Lecturer Godel ( Godel, Heidegger, and Direct Perception ( or, Why I am a Recursion Theorist ) ).

In 1978 he was invited speaker at the International Congress of Mathematicians in Helsinki ( Definability theory ).

His doctoral counts Ehud Hrushovski.