William Hugh Woodin (nacido el 23 de abril de 1955) es un matemático estadounidense y teórico de la escena en la Universidad de Harvard . Ha realizado muchas contribuciones notables a la teoría de los modelos internos y la determinación . Un tipo de cardenal grande , el cardenal Woodin , lleva su nombre.
W. Hugh Woodin | |
---|---|
Nació | Tucson, Arizona , Estados Unidos | 23 de abril de 1955
Nacionalidad | americano |
alma mater | Universidad de California, Berkeley |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de California, Berkeley Instituto de Tecnología de California Universidad de Harvard |
Asesor de doctorado | Robert M. Solovay |
Estudiantes de doctorado | Joel David Hamkins Gregory Hjorth |
Biografía
Woodin, nacido en Tucson , Arizona , obtuvo su Ph.D. de la Universidad de California, Berkeley en 1984 con Robert M. Solovay . El título de su tesis fue Homomorfismos discontinuos de C ( Omega ) y Teoría de conjuntos . Se desempeñó como presidente del departamento de matemáticas de Berkeley durante el año académico 2002-2003. Woodin es editor en jefe del Journal of Mathematical Logic . Fue elegido miembro de la Academia Estadounidense de Artes y Ciencias en 2000. [1]
Es bisnieto de William Hartman Woodin , exsecretario del Tesoro . [ cita requerida ]
Trabaja
Ha trabajado sobre la teoría de multiversos genéricos y el concepto relacionado de Ω-lógica , que sugirió un argumento de 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 establecido pueden decidirse a partir de una pequeña parte de él. Afirma que estos y los resultados matemáticos relacionados conducen (intuitivamente) a la conclusión de que la Hipótesis Continuum tiene un valor de verdad y el enfoque platónico es razonable.
Woodin ahora predice que debería haber una forma de construir un modelo interno para casi todos los grandes cardenales conocidos, a los que llama Ultimate L y que tendría propiedades similares a las del universo construible de Gödel . En particular, la Hipótesis del Continuum sería cierta en este universo. [ cita requerida ] [2]
Ver también
Referencias
- ^ "Libro de miembros, 1780-2010: Capítulo W" (PDF) . Academia Estadounidense de Artes y Ciencias . Consultado el 3 de junio de 2011 .
- ^ Wolchover, Natalie (26 de noviembre de 2013). "Para resolver la disputa del infinito, una nueva ley de la lógica" . Revista Quanta .
enlaces externos
- W. Hugh Woodin en el Proyecto de genealogía matemática
- Woodin, W. Hugh (2010). El axioma de la determinación, los axiomas de fuerza y el ideal no estacionario . Walter de Gruyter. ISBN 978-3-11-019702-0. OCLC 605013810 .
- Página de inicio de la Universidad de California, Berkeley
- Charla plenaria de Woodin en el Congreso Internacional de Matemáticos de 2010
- Teorías Ω-completas incompatibles (con Peter Koellner ), Journal of Symbolic Logic , Volumen 74, Número 4 (2009), 1155-1170. [1] .