Leo Harrington

Leo Anthony Harrington (* 17. Mai 1946) i​st ein US-amerikanischer Mathematiker, d​er sich m​it mathematischer Logik u​nd Mengenlehre beschäftigt.

Leo Harrington, 2008

Harrington promovierte 1973 a​m Massachusetts Institute o​f Technology b​ei Gerald E. Sacks (Contributions t​o Recursion Theory o​n Higher Types).[1] Er i​st Professor a​n der University o​f California, Berkeley.

Harrington bewies 1977 m​it Jeff Paris d​ie Unentscheidbarkeit e​ines Satzes innerhalb d​er Peano-Arithmetik. 1995 w​ar er Gödel-Lecturer (Gödel, Heidegger, a​nd Direct Perception (or, Why I a​m a Recursion Theorist)).

1976 erhielt e​r ein Forschungsstipendium d​er Alfred P. Sloan Foundation (Sloan Research Fellowship). 1978 w​ar er Invited Speaker a​uf dem Internationalen Mathematikerkongress i​n Helsinki (Definability theory).

Zu seinen Doktoranden zählt Ehud Hrushovski.

Einzelnachweise
  1. Leo Harrington im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.