W. Hugh Woodin

Hugh Woodin 1994

William Hugh Woodin (* 23. April 1955 in Tucson) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt.

Woodin wurde 1984 bei Robert M. Solovay an der University of California, Berkeley mit der Dissertation Discontinuous Homomorphisms of C(X) and Set Theory promoviert.<ref>William Hugh Woodin im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 11957 | {{#ifeq: {{#property:P549}} | 11957 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }} abgerufen am 24. Dezember 2024.</ref> Er ist Professor in Berkeley. 2002/03 und 2010/11 war er Vorsitzender des Fachbereichs Mathematik in Berkeley. Seit Januar 2014 ist er an der Harvard University.

Woodin leistete wichtige Beiträge zum Programm innerer Modelle der Mengenlehre, Theorie der Determiniertheit und großer Kardinalzahlen (von denen eine nach ihm benannt ist).<ref>John Steel What is a Woodin Cardinal?, Notices AMS 2007, PDF-Datei</ref> Arbeiten von Woodin sowie von Donald A. Martin und John R. Steel (1989) zeigten Verbindungen zwischen Determiniertheitsaxiomen und Axiomen großer Kardinalzahlen, wofür alle drei 1988 den Karp-Preis erhielten.<ref>Nach der Laudatio für den Beweis, dass aus der Existenz einer superkompakten Kardinalzahl die Gültigkeit des Determiniertheitsaxioms im kleinsten transitiven Modell der Zermelo-Fraenkel-Mengenlehre, das die reellen Zahlen und alle Ordinalzahlen umfasst, folgt.</ref> Aus seinen Arbeiten über Ω-Logik glaubte er, Argumente für eine Lösbarkeit (und sogar Widerlegbarkeit) der Kontinuumshypothese (CH) gefunden zu haben. Diese ist nach Paul Cohen und Kurt Gödel unabhängig von den Zermelo-Fraenkel-Axiomen der Mengenlehre, offen bleibt aber, ob sie nicht durch Hinzunahme einiger weiterer in gewissem Sinne natürlicher Axiome doch beweisbar oder widerlegbar ist. Gödel selbst glaubte an eine Widerlegbarkeit durch Hinzunahme von Axiomen großer Kardinalzahlen. In der Folge zeigte sich aber, dass diese allein nicht reichen.<ref>Über Gödels Ansichten zum Beispiel Martin Davis, Review von Gödel Biographien von Dawson und Casti/DePauli, Notices AMS 2001, PDF-Datei</ref>

Inzwischen geht Woodin davon aus, dass sich ein inneres Modell der Mengenlehre konstruieren lässt, das ähnliche Eigenschaften hat wie das konstruierbare Universum Gödels (bezeichnet mit L), und in dem bereits die wichtigsten bekannten großen Kardinalzahlen existieren, die es im mengentheoretischen Universum V gibt. In diesem inneren Modell, das er mit Ultimate L bezeichnet, gilt die Kontinuumshypothese.<ref>Richard Elwes: Ultimate logic. New Scientist, 30. Juli 2011, S. 30–33</ref> Zuvor hatte Woodin bewiesen, dass es reicht, die Existenz einer superkompakten Kardinalzahl in einem solchen Modell zu beweisen, damit dieses die gesamte Hierarchie großer Kardinalzahlen enthält,<ref>Woodin Suitable extender models I, Journal of Mathematical Logic, Band 10, 2010, S. 101, Abstract</ref> was ihn bezüglich der Konstruktion eines solchen Modells optimistisch machte. Falls ihm die Konstruktion gelingt, sieht er darin einen Kandidaten für ein ideales mengentheoretisches Universum und die Hinzunahme eines Axioms V = Ultimate L als natürliche Erweiterung der ZFC-Axiome. Die Meinung der Mengentheoretiker bezüglich einer möglichen Erweiterung der ZFC-Axiome ist aber gespalten, einige favorisieren wie Woodin ein Axiom, in dem CH gilt, andere favorisieren die Hinzunahme von Forcing-Axiomen (wie Martin’s Maximum), mit denen viele verschiedene mengentheoretische Modelle konstruiert werden können, in denen CH nicht gilt.<ref>Nathalie Wolchover To settle infinity dispute a new law of logic, Quanta Magazine, 2013, Simons Foundation</ref>

1991 zeigte er mit Matthew Foreman, dass die verallgemeinerte Kontinuumshypothese für jede unendliche Kardinalzahl falsch sein kann (Konsistenz mit den ZFC-Axiomen).

Seit 2000 ist er Mitglied der American Academy of Arts and Sciences,<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:|: }}{{#if:|{{#if:Book of Members|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Book of Members}}]{{#if:PDF| (PDF)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.amacad.org/publications/BookofMembers/ChapterW.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Book of Members}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.amacad.org/publications/BookofMembers/ChapterW.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Book of Members}}}}]}}{{#if:PDF| (PDF{{#if:{{#if: 2016-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.amacad.org/publications/BookofMembers/ChapterW.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.amacad.org/publications/BookofMembers/ChapterW.pdf}}%7C%7C URL ungültig}}}}{{#if:Book of Members|{{#if:{{#invoke:WLink|isValidLinktext|1=Book of Members|lines=0}}|| Linktext ungültig}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=}}}}{{#if: | {{#if: |,|{{#if: 2016-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format||noerror=1}}
            |{{#invoke:DateTime|format||T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=|class=Zitationswartung}} }}{{#if: |,|{{#if: 2016-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2016-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|{{{archiv-datum}}}{{#if:1770824||(?)}}}}}}{{#if: 2016-07-23|;}}}}{{#if: 2016-07-23| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2016-07-23 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2016-07-23|class=Zitationswartung}} }} {{#invoke:DateTime|format|2016-07-23|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:{{#if: 2016-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if:PDF | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2016-07-23 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://www.amacad.org/publications/BookofMembers/ChapterW.pdf
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://www.amacad.org/publications/BookofMembers/ChapterW.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.amacad.org/publications/BookofMembers/ChapterW.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.amacad.org/publications/BookofMembers/ChapterW.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://www.amacad.org/publications/BookofMembers/ChapterW.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.amacad.org/publications/BookofMembers/ChapterW.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://www.amacad.org/publications/BookofMembers/ChapterW.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.amacad.org/publications/BookofMembers/ChapterW.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: https://www.amacad.org/publications/BookofMembers/ChapterW.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.amacad.org/publications/BookofMembers/ChapterW.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.amacad.org/publications/BookofMembers/ChapterW.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: https://www.amacad.org/publications/BookofMembers/ChapterW.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.amacad.org/publications/BookofMembers/ChapterW.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[https://www.amacad.org/publications/BookofMembers/ChapterW.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> seit 2023 Mitglied der National Academy of Sciences.

Datei:Friedman Woodin Magidor.jpg

Sy Friedman (links), Hugh Woodin, Menachem Magidor (rechts), Oberwolfach 2005

2010 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Hyderabad (Strong axioms of infinity and the search for V). 1986 und 2002 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Berkeley (The two faces of infinity). 2013 erhielt er die erste Hausdorff Medal der European Set Theory Society.<ref>Für seine Arbeiten: Suitable extender models, Teil I: J. Math. Log., Band 10, 2010, S. 101–339, Teil II: Beyond omega-huge. J. Math. Log., Band 11, 2011, S. 115–436, die als wesentlicher Beitrag der Theorie innerer Modell superkompakter Kardinalzahlen gewürdigt wurden. Hausdorff Medals, ESTS</ref> 2018 ist Woodin Tarski Lecturer.

Woodin ist der Urenkel des ehemaligen US-Finanzministers William Hartman Woodin.

Schriften

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, de Gruyter, 1999 ISBN 3-11-015708-X
The Continuum Hypothesis I, Notices AMS, Bd.48, 2001, Nr.6, PDF-Datei, und Teil 2, Notices AMS, 2001, Nr.7, PDF-Datei (141 kB)

Weblinks

Homepage in Berkeley
Marianne Freiberger, Searching for the missing truth, Plus Magazine (basierend auf einem Interview mit Woodin 2010)
Vorlage:TIBAV-Suche

Einzelnachweise

{{#ifeq: p | p | | {{#if: 121157318n/86/3910478460365 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 121157318n/86/3910478460365 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 121157318 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 121157318 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/86/39104 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/86/39104 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 78460365 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 78460365 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Woodin, W. Hugh | {{#if: Woodin, William Hugh (vollständiger Name) | {{#if: US-amerikanischer Mathematiker | {{#if: 23. April 1955 | {{#if: Tucson | {{#if: | {{#if: |

Personendaten
NAME	Woodin, W. Hugh }}
ALTERNATIVNAMEN	Woodin, William Hugh (vollständiger Name) }}
KURZBESCHREIBUNG	US-amerikanischer Mathematiker }}
GEBURTSDATUM	23. April 1955 }}
GEBURTSORT	Tucson }}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung