William Hugh Woodin

Woodin nació en Tucson (Arizona). obtuvo su doctorado en la Universidad de California-Berkeley en 1984 bajo la dirección de Robert M. Solovay. Su tesis doctoral tuvo el título de Discontinuous Homomorphisms of C(Omega) and Set Theory. Fue el director del departamento de matemáticas de Berkeley durante el curso 2002–2003. Woodin es editor en jefe del Journal of Mathematical Logic. En 2000 fue elegido miembro de la American Academy of Arts and Sciences.[1]

Además, es bisnieto de William Hartman Woodin, antiguo secretario del tesoro.^{[cita requerida]}

Ha realizado trabajos sobre la teoría de los multiversos genéricos y el concepto relacionado de Ω-lógica, marco dentro del cual sugirió un argumento por el que la hipótesis del continuo es indecidible o falsa en el sentido del platonismo matemático. Woodin critica este punto de vista argumentando que conduce a una reducción contraintuitiva en la que todas las verdades del universo teórico de conjuntos pueden decidirse a partir de una pequeña parte del mismo. Afirma que estos y otros resultados matemáticos relacionados conducen (intuitivamente) a la conclusión de que la Hipótesis del Continuo tiene un valor de verdad y el enfoque platonista es razonable.

Woodin predice ahora que debería haber una forma de construir un modelo interno para casi todos los cardinales grandes conocidos, al que llama el L definitivo y que tendría propiedades similares al Universo construible de Gödel. En particular, la Hipótesis del Continuo sería verdadera en este universo.^{[cita requerida]}[2]

• AD+

• William Hugh Woodin en el Mathematics Genealogy Project.
• 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.
• 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..