Leo Harringtona
Leo A. Harringtona | |
|---|---|
 | |
| Urodzić się | 17 maja 1946 (wiek 76) |
| Obywatelstwo | Stany Zjednoczone |
| Alma Mater | MIT |
| Nagrody | Wykład Gödla (1995) |
| Kariera naukowa | |
| Pola | Matematyka |
| Instytucje | Uniwersytet Kalifornijski w Berkeley |
| Doradca doktorski | Gerald E. Sacks |
| Doktoranci |
|
Leo Anthony Harrington (urodzony 17 maja 1946) jest profesorem matematyki na Uniwersytecie Kalifornijskim w Berkeley, który zajmuje się teorią rekurencji , teorią modeli i teorią mnogości . Po przejściu na emeryturę jako matematyk, profesor Leo Harrington jest teraz filozofem. [ potrzebne źródło ]
Jego godne uwagi wyniki obejmują udowodnienie twierdzenia Parisa-Harringtona wraz z Jeffem Parisem , pokazując, że jeśli aksjomat determinacji zachodzi dla wszystkich zbiorów analitycznych , to x # istnieje dla wszystkich liczb rzeczywistych x , oraz udowodnienie wraz z Saharonem Shelahem , że teoria pierwszego rzędu częściowo uporządkowany zbiór rekurencyjnie przeliczalnych stopni Turinga jest nierozstrzygalny .
Linki zewnętrzne
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |
| Naukowe bazy danych | |
- 1946 urodzeń
- Matematycy amerykańscy XX wieku
- Amerykańscy matematycy XXI wieku
- logicy amerykańscy
- Zalążki amerykańskich matematyków
- Wykładowcy Gödla
- Żywi ludzie
- Absolwenci Massachusetts Institute of Technology
- Teoretycy modeli
- Teoretycy mnogości
- Uniwersytet Kalifornijski, Berkeley College of Letters and Science na wydziale