William Hugh Woodin

William Hugh Woodin
Información personal
Nacimiento	23 de abril de 1955 (69 años) Tucson (Estados Unidos)
Nacionalidad	Estadounidense
Educación
Educado en	Universidad de California en Berkeley
Supervisor doctoral	Robert M. Solovay
Información profesional
Ocupación	Matemático, filósofo y profesor universitario
Área	Teoría de conjuntos
Empleador	Universidad de California en Berkeley Universidad Harvard (desde 2014)
Miembro de	Academia Estadounidense de las Artes y las Ciencias
Distinciones	Miembro de la Academia Estadounidense de las Artes y las Ciencias Premio Karp (1988) Gödel Lecturer (2008) Hausdorff medal (2013) Tarski Lectures (2018)
[editar datos en Wikidata]

William Hugh Woodin (23 de abril de 1955 -) es un matemático estadounidense que trabaja en teoría de conjuntos axiomática en la Universidad de Harvard. Woodin ha hecho contribuciones notables la teoría de modelos internos de ZFC y la noción determinación. Un tipo de cardinal grande, el llamado cardinal de Woodin, se llama así por él.

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. Archivado desde el original el 27 de septiembre de 2011. Consultado el 10 de septiembre de 2021. 
• Home page at University of California, Berkeley
• Woodin's plenary talk at the 2010 International Congress of Mathematicians (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última).
• Incompatible Ω-Complete Theories (with Peter Koellner), Journal of Symbolic Logic, Volume 74, Issue 4 (2009), 1155–1170.[1].