|
W. Hugh Woodin
W. Hugh WoodinWilliam 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 Amerykańskiej Akademii Sztuki i Nauki (
j.ang.
American Academy of Arts and Sciences). Doktoryzował się w
1984
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[1][2]. 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
, co było kluczowym elementem badań
struktury
) przy założeniu aksjomatu determinacji w (gdzie INS jest
ideałem
niestacjonarnych
podzbiorów ω1, a jest rodziną zbiorów dziedzicznie
mocy
< ω2)[3].
Bibliografia- ↑ Woodin, W. Hugh: Supercompact cardinals, sets of reals, and weakly homogeneous trees. "Proc. Nat. Acad. Sci. U.S.A." 85 (1988), s. 6587-6591.
- ↑ Martin, Donald A., Steel, John R.: A proof of projective determinacy. "J. Amer. Math. Soc." 2 (1989), s. 1, 71-125.
- ↑ 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.
Inne hasła zawierające informacje o "W. Hugh Woodin":
Uniwersytet
...
1969
...
Sestyna
...
1933
...
1960
...
National Aeronautics and Space Administration
...
Buddyzm tybetański
...
Aksjomat determinacji
...
W. Hugh Woodin
...
Nyks
...
Inne lekcje zawierające informacje o "W. Hugh Woodin":
Historia Ikara - inspiracją do rozważań o naturze ludzkiej (plansza 18)
...
040. G.E. Moore i filozofia analityczna (plansza 9)
...
|
|
|
|