W. Hugh Woodin

Hugh Woodin

William Hugh Woodin (ur. 23 kwietnia 1955 w Tucson) – amerykański matematyk specjalizujący się w logice matematycznej. Profesor matematyki na Uniwersytecie Kalifornijskim w Berkeley. Znany z wkładu w teorię mnogości, a w szczególności z badań związanych z dużymi liczbami kardynalnymi, aksjomatami determinacji oraz forsingiem. Członek American Academy of Arts and Sciences^[1]. W 1986 i 2002 wygłosił wykłady sekcyjne, a w 2010 wykład plenarny na Międzynarodowym Kongresie Matematyków^[2].

Doktoryzował się w 1984 roku na Uniwersytecie Kalifornijskim w Berkeley pod kierunkiem Roberta Solovaya.

Najnowsze jego wyniki dotyczące tzw. Ω-logiki mogą być interpretowane jako argumenty za odrzuceniem hipotezy continuum.

Ważniejsze osiągnięcia

• W końcu lat 80. XX wieku, Woodin, Donald A. Martin i John Steel wykazali, że przy założeniu istnienia odpowiednio dużych liczb kardynalnych, wszystkie gry na zbiory rzutowe są zdeterminowane^[3][4]. Ponadto udowodnili, że jeśli istnieją odpowiednio duże liczby kardynalne, to ZF+AD jest niesprzeczne.
• W latach 90. XX wieku, Woodin rozwinął teorię wokół forsingu ${\displaystyle \mathbf {P} _{\max },}$ co było kluczowym elementem badań struktury ${\displaystyle ({\mathcal {H}}(\omega _{2}),\in ,I_{NS})}$ przy założeniu aksjomatu determinacji w ${\displaystyle \mathbf {L} (\mathbb {R} )}$ (gdzie ${\displaystyle I_{NS}}$ jest ideałem niestacjonarnych podzbiorów ${\displaystyle \omega _{1},}$ a ${\displaystyle {\mathcal {H}}(\omega _{2})}$ jest rodziną zbiorów dziedzicznie mocy ${\displaystyle <\omega _{2}}$)^[5].

Przypisy

1. American Academy of Arts and Sciences: Book of Members. [dostęp 2017-12-16]. (ang.).
2. ICM Plenary and Invited Speakers | International Mathematical Union (IMU) [online], www.mathunion.org [dostęp 2022-10-09] .
3. Woodin, W. Hugh: Supercompact cardinals, sets of reals, and weakly homogeneous trees. „Proc. Nat. Acad. Sci. U.S.A.” 85 (1988), s. 6587–6591.
4. Martin, Donald A., Steel, John R.: A proof of projective determinacy. „J. Amer. Math. Soc.” 2 (1989), s. 1, 71-125.
5. Woodin, W. Hugh: The axiom of determinacy, forcing axioms, and the nonstationary ideal. „de Gruyter Series in Logic and its Applications”, 1. Walter de Gruyter & Co., Berlin, 1999. ISBN 3-11-015708-X.

Kontrola autorytatywna (osoba):

• ISNI: 0000000115606177
• VIAF: 78460365
• LCCN: n86039104
• GND: 121157318
• BnF: 124198837
• SUDOC: 033321280
• Open Library: OL23729A
• NUKAT: n99001985
• J9U: 987007432642505171

Identyfikatory zewnętrzne:

• Scopus: 55665229300