William Hugh Woodin (nacido el 23 de abril de 1955) es un matemático estadounidense y teórico de conjuntos de la Universidad de Harvard . Ha hecho muchas contribuciones notables a la teoría de los modelos internos y la determinación . Un tipo de cardenales de gran tamaño , los cardenales Woodin , llevan su nombre. En 2023, fue elegido miembro de la Academia Nacional de Ciencias . [1]
Nacido en Tucson , Arizona , Woodin obtuvo su doctorado. de la Universidad de California, Berkeley en 1984 con Robert M. Solovay . El título de su tesis fue Homomorfismos discontinuos de C(Ω) 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 jefe del Journal of Mathematical Logic . Fue elegido miembro de la Academia Estadounidense de Artes y Ciencias en 2000. [2]
Es bisnieto de William Hartman Woodin , exsecretario del Tesoro . [ cita necesaria ]
Ha trabajado sobre la teoría de los 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 esta visión 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 del mismo. Afirma que estos y otros resultados matemáticos relacionados llevan (intuitivamente) a la conclusión de que la hipótesis del continuo tiene un valor de verdad y que el enfoque platónico es razonable.
Woodin ahora predice que debería haber una manera de construir un modelo interno para casi todos los grandes cardinales conocidos, al que llama Ultimate L y que tendría propiedades similares al universo construible de Gödel . En particular, la hipótesis del continuo sería cierta en este universo. [3]
En 2008, Woodin impartió la Conferencia Gödel titulada La hipótesis del continuo, la conjetura y el problema del modelo interno de un cardenal supercompacto.
En 2018 fue profesor de Tarski .