Leo Harrington - Leo Harrington

Leo A. Harrington
Leo Harrington.jpg
Urodzony 17 maja 1946 (wiek   ( 17.05.1946 ) 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