W. Hugh Woodin

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

Hugh Woodin 1994

Woodin promovierte 1984 bei Robert M. Solovay an der University of California, Berkeley (Discontinuous Homomorphisms of C(X) and Set Theory). Er ist Professor in Berkeley. 2002/03 und 2010/11 war er Vorsitzender des Fachbereichs Mathematik in Berkeley.

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^[1]). 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^[2]. Aus seinen Arbeiten über Ω-Logik glaubte er, Argumente für eine Lösbarkeit (und sogar Widerlegbarkeit) der Kontinuumshypothese 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 "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.^[3]

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 (L), und in dem bereits fast alle 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.^[4]

2010 hielt er einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Hyderabad (Strong axioms of infinity and the search for V).

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

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 311015708X
• The Continuum Hypothesis I, Notices AMS, Bd.48, 2001, Nr.6, pdf Datei, und Teil 2, Notices AMS, 2001, Nr.7, pdf Datei

Weblinks

• Homepage in Berkeley

Einzelnachweise

1. ↑ John Steel What is a Woodin Cardinal?, Notices AMS 2007, pdf Datei
2. ↑ 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.
3. ↑ Über Gödels Ansichten z.B. Martin Davis, Review von Gödel Biographien von Dawson und Casti/DePauli, Notices AMS 2001, pdf Datei
4. ↑ Richard Elwes: Ultimate logic. New Scientist, 30. Juli 2011, S. 30–33

Normdaten: PND: 121157318 (PICA) | LCCN: n86039104 | VIAF: 14860707 | WorldCat | WP-Personeninfo