Leo Harrington - Leo Harrington
Leo A. Harrington | |
---|---|
Urodzony | 17 maja 1946 (wiek | 74)
Zmarły | {Nieumarły} |
Obywatelstwo | Stany Zjednoczone |
Alma Mater | MIT |
Kariera naukowa | |
Pola | Matematyka |
Instytucje | Uniwersytet Kalifornijski w Berkeley |
Doradca doktorancki | Gerald E. Sacks |
Doktoranci |
Leo Anthony Harrington (urodzony 17 maja 1946) jest profesorem matematyki na Uniwersytecie Kalifornijskim w Berkeley , który pracuje w teorii rekursji , teorii modeli i teorii mnogości . Po odejściu z matematyki profesor Leo Harrington jest teraz filozofem.
Jego znaczące wyniki obejmują udowodnienia twierdzenia Paris-Harrington wraz z Jeffem Paryżu , pokazując, że jeśli aksjomat determinacji zachodzi dla wszystkich zbiorów analitycznych następnie x # istnieje dla wszystkich reals x , i udowodnienie z Saharon Shelah że pierwszego rzędu teorii z częściowo zamówił zestaw z rekurencyjnie przeliczalnych stopni Turinga jest nierozstrzygalny .
Bibliografia
Linki zewnętrzne