William Hugh Woodin
William Hugh Woodin | ||
---|---|---|
![]() | ||
Información personal | ||
Nacimiento | 23 de abril de 1955 ![]() 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 |
| |
Miembro de | Academia Estadounidense de las Artes y las Ciencias ![]() | |
Distinciones |
| |
[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.
Biografía
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]
Trabajo
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]
Véase también
- AD+
Referencias
- ↑ «Book of Members, 1780–2010: Chapter W». American Academy of Arts and Sciences. Consultado el 3 de junio de 2011.
- ↑ Wolchover, Natalie (26 de noviembre de 2013). «To Settle Infinity Dispute, a New Law of Logic». Quanta Magazine.
Enlaces externos
- 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].
Datos: Q1389897
Multimedia: W. Hugh Woodin / Q1389897