W. Hugh Woodin - W. Hugh Woodin

W. Hugh Woodin
Hugh Woodin.jpg
Hugh Woodin en 1994
(foto de George Bergman)
Nació ( 04/23/1955 )23 de abril de 1955 (66 años)
Tucson, Arizona , Estados Unidos
Nacionalidad americano
alma mater Universidad de California, Berkeley
Carrera científica
Los 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

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.

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.

Es bisnieto de William Hartman Woodin , exsecretario del Tesoro .

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 del continuo tiene un valor de verdad y que 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 continuo sería cierta en este universo.

Ver también

Referencias

enlaces externos