W. Hugh Woodin | |
|---|---|
Hugh Woodin in 1994 | |
| Born | (1955-04-23) April 23, 1955 Tucson, Arizona, U.S. |
| Alma mater | |
| Known for | Woodin cardinals, Ultimate L, Ω-logic |
| Scientific career | |
| Fields | Mathematics |
| Institutions | |
| Thesis | Discontinuous Homomorphisms of C(Ω) and Set Theory (1984) |
| Robert M. Solovay | |
Doctoral students | Joel David Hamkins Gregory Hjorth Joan Bagaria Sandra Müller |
William Hugh Woodin (born April 23, 1955) is an American mathematician at Harvard University specializing in set theory. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinals, the Woodin cardinals, bears his name. In 2023, he was elected to the National Academy of Sciences.[1]
Biography
William Hugh Woodin was born on April 23, 1955, in Tucson, Arizona to Ann (nee Snow) and William Woodin III, the grandson of United States Secretary of the Treasury William Hartman Woodin. Hugh's father was the executive director of the Arizona-Sonora Desert Museum.[2]
Woodin earned a BS from the California Institute of Technology in 1977 followed by a Ph.D. from the University of California, Berkeley, in 1984 under Robert M. Solovay. His dissertation title was Discontinuous Homomorphisms of C(Ω) and Set Theory.[3]
In 1985, Woodin joined the Caltech faculty as a full professor[4] and remained there until 1988[5] when he left for UC Berkeley.[6]
He served as chair of the Berkeley mathematics department for the 2002–2003 academic year. Woodin is a managing editor of the Journal of Mathematical Logic. In 2015, Woodin retires from Berkeley[7] and moves to Harvard.
He was elected a Fellow of the American Academy of Arts and Sciences in 2000.[8]
He is the great-grandson of William Hartman Woodin, former Secretary of the Treasury.
Work
Woodin's earliest mathematical work concerned a connection between set theory and the theory of Banach algebras. In the 1980s he made major contributions in the study of the Axiom of Determinacy (AD) via inner model theory, culminating in determining the precise consistency strength of AD relative to the standard large cardinal hierarchy.[9]
Woodin has done work on the theory of generic multiverses and the related concept of Ω-logic, which suggested an argument that the continuum hypothesis is either undecidable or false in the sense of mathematical platonism. Woodin criticizes this view arguing that it leads to a counterintuitive reduction in which all truths in the set theoretical universe can be decided from a small part of it. He claims that these and related mathematical results lead (intuitively) to the conclusion that the continuum hypothesis has a truth value and the Platonistic approach is reasonable.
Woodin now predicts that there should be a way of constructing an inner model for almost all known large cardinals, which he calls the Ultimate L and which would have similar properties as Gödel's constructible universe. In particular, the continuum hypothesis would be true in this universe.[10]
Honors
In 2008, Woodin gave the Gödel Lecture titled The Continuum Hypothesis, the Conjecture, and the inner model problem of one supercompact cardinal. In 2010, he was a plenary speaker at the International Congress of Mathematicians in Hyderabad.[11] In 2018, he was the Tarski lecturer.
See also
References
- "National Academy of Sciences Elects Members and International Members". National Academy of Sciences. May 2, 2023.
- "Desert Museum Pioneer Bill Woodin Leaves Lasting Legacy". Arizona Heritage Alliance. May 6, 2018.
- Woodin, W. Hugh (1984). Discontinuous Homomorphisms of C(Ω) and Set Theory (PhD thesis). University of California, Berkeley. OCLC 892820502. ProQuest 5d39da07418bded426b2cd1e5190e65e.
- Caltech Catalog 1985-1986. California Institute of Technology. 1985. p. 286.
- Caltech Catalog 1987-1988. California Institute of Technology. 1987. p. 281.
- "W. Hugh Woodin". UC Berkeley Department of Mathematics.
- "Farewells and Welcomes" (PDF). MATHEMATICS + BERKELEY. Department of Mathematics at the University of California, Berkele. Fall 2015. p. 7.
Professor Hugh Woodin retired in January 2015.
- "Book of Members, 1780–2010: Chapter W" (PDF). American Academy of Arts and Sciences. Retrieved June 3, 2011.
- Kanamori, Akihiro (2003). The Higher Infinite (2nd ed.). Berlin: Springer. pp. 450–471.
- Wolchover, Natalie (2013-11-26). "To Settle Infinity Dispute, a New Law of Logic". Quanta Magazine. Retrieved 2024-03-23.
- "ICM 2010 Invited Speakers page". International Mathematical Union. 2010.
External links
- W. Hugh Woodin at the Mathematics Genealogy Project
- Woodin's UC Berkeley page
- Woodin's Harvard page
- Woodin, W. Hugh (2010). The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. Walter de Gruyter. ISBN 978-3-11-019702-0. OCLC 605013810. Archived from the original on 2011-09-27. Retrieved 2011-03-06.
- Home page at University of California, Berkeley
- Woodin's plenary talk at the 2010 International Congress of Mathematicians
- Incompatible Ω-Complete Theories (with Peter Koellner), Journal of Symbolic Logic, Volume 74, Issue 4 (2009), 1155–1170..