W. Hugh Woodina - W. Hugh Woodin

W. Hugh Woodin
Hugh Woodin.jpg
Hugh Woodin w 1994 roku
(fot. George Bergman)
Urodzić się ( 23.04.1955 )23 kwietnia 1955 (wiek 66)
Narodowość amerykański
Alma Mater Uniwersytet Kalifornijski w Berkeley
Kariera naukowa
Pola Matematyka
Instytucje Uniwersytet Kalifornijski, Berkeley
California Institute of Technology
Uniwersytet Harvarda
Doradca doktorski Robert M. Solovay
Doktoranci Joel David Hamkins
Gregory Hjorth

William Hugh Woodin (ur. 23 kwietnia 1955) jest amerykańskim matematykiem i teoretykiem mnogości na Uniwersytecie Harvarda . Wniósł wiele znaczących wkładów w teorię modeli wewnętrznych i determinacji . Rodzaj wielkiego kardynała , kardynał Woodin , nosi jego imię.

Biografia

Urodził się w Tucson , Arizona , Woodin zdobył doktorat z Uniwersytetu Kalifornijskiego w Berkeley w 1984 roku pod kierunkiem Roberta M. Solovay'a . Tytuł jego pracy doktorskiej brzmiał: Nieciągłe homomorfizmy C ( Omegi ) i Teoria mnogości . Pełnił funkcję przewodniczącego wydziału matematyki w Berkeley w roku akademickim 2002-2003. Woodin jest redaktorem zarządzającym Journal of Mathematical Logic . W 2000 roku został wybrany na członka Amerykańskiej Akademii Sztuk i Nauk .

Jest prawnukiem Williama Hartmana Woodina , byłego sekretarza skarbu .

Praca

Pracował nad teorią wieloświatów generycznych i pokrewną koncepcją Ω-logiki , co sugerowało argument, że hipoteza continuum jest albo nierozstrzygalna, albo fałszywa w sensie matematycznego platonizmu . Woodin krytykuje ten pogląd, argumentując, że prowadzi on do sprzecznej z intuicją redukcji, w której wszystkie prawdy w ustalonym uniwersum teoretycznym mogą być ustalane z niewielkiej jego części. Twierdzi, że te i związane z nimi wyniki matematyczne prowadzą (intuicyjnie) do wniosku, że hipoteza continuum ma wartość prawdy, a podejście platońskie jest rozsądne.

Woodin przewiduje teraz, że powinien istnieć sposób na zbudowanie wewnętrznego modelu dla prawie wszystkich znanych wielkich kardynałów, który nazywa Ostatecznym L i który miałby podobne właściwości jak konstruowalny wszechświat Gödla . W szczególności hipoteza continuum byłaby prawdziwa w tym wszechświecie.

Zobacz też

Bibliografia

Zewnętrzne linki