W. Hugh Woodina - W. Hugh Woodin
W. Hugh Woodin | |
---|---|
Urodzić się |
Tucson, Arizona , USA
|
23 kwietnia 1955
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
- W. Hugh Woodin na projekcie genealogii matematyki
- Woodin, W. Hugh (2010). Aksjomat determinacji, aksjomaty wymuszające i niestacjonarny ideał . Waltera de Gruytera. Numer ISBN 978-3-11-019702-0. OCLC 605013810 .
- Strona główna Uniwersytetu Kalifornijskiego w Berkeley
- Wystąpienie plenarne Woodina na Międzynarodowym Kongresie Matematyków 2010
- Niezgodne teorie Ω-Complete (z Peterem Koellnerem ), Journal of Symbolic Logic , tom 74, wydanie 4 (2009), 1155-1170. [1] .