Leo Harrington

Leo Harrington

Leo Anthony Harrington (* 17. Mai 1946) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Mengenlehre beschäftigt.

Harrington promovierte 1973 am Massachusetts Institute of Technology bei Gerald E. Sacks (Contributions to Recursion Theory on Higher Types). Er ist Professor an der University of California, Berkeley.

Harrington bewies 1977 mit Jeff Paris die Unentscheidbarkeit eines Satzes innerhalb der Peano-Arithmetik. 1995 war er Gödel-Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)).

Zu seinen Doktoranden zählt Ehud Hrushovski.

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Leo Harrington — Infobox academic name = Leo A. Harrington box width = image width = caption = birth date = birth place = death date = death place = residence = citizenship = USA nationality = ethnicity = field = Mathematics work institutions = University of… …   Wikipedia

  • Harrington — can refer to:Places in the United Kingdom: *Harrington, Cumbria *Harrington, Lincolnshire *Harrington, NorthamptonshirePlaces in the United States: *Harrington, Delaware *Harrington, Maine *Harrington, Washington *Harrington Park, New… …   Wikipedia

  • Harrington — ist der Name folgender Orte: in Australien: Harrington (New South Wales) in Großbritannien: Harrington (Cumbria) Harrington (Lincolnshire) Harrington (Northamptonshire) in Kanada: Harrington (Kanada) in den Vereinigten Staaten: Harrington… …   Deutsch Wikipedia

  • Leo du Pres and Greenlee Smythe — du Pres are fictional characters and a couple from the American daytime drama All My Children . Leo was portrayed by Josh Duhamel, and Greenlee is portrayed by Rebecca Budig. The couple is often referred to by the portmanteau Greenleo (for… …   Wikipedia

  • Leo II (dwarf galaxy) — Leo II Observation data (J2000 epoch) Constellation Leo Right ascension 11h 13m 29.2s [1] …   Wikipedia

  • Leo I (dwarf galaxy) — Leo I Observation data (J2000 epoch) Constellation Leo Right ascension 10h 08m 27.4s[1] …   Wikipedia

  • Leo I — Pour les articles homonymes, voir Leo. Leo I Leo I, la tache diffuse située à côté de la brillante Regulus …   Wikipédia en Français

  • Leo II — Pour les articles homonymes, voir Leo. Leo II Données d’observation Époque J2000.0 Ascension droite 11h 13m …   Wikipédia en Français

  • Leo II — Para otros usos de este término, véase León II (desambiguación). Leo II Datos de observación (Época J2000.0) …   Wikipedia Español

  • Paris–Harrington theorem — In mathematical logic, the Paris–Harrington theorem states that a certain combinatorial principle in Ramsey theory is true, but not provable in Peano arithmetic. This was the first natural example of a true statement about the integers that could …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”