W. Hugh Woodin - W. Hugh Woodin
W. Hugh Woodin | |
---|---|
Nació |
Tucson, Arizona , Estados Unidos
|
23 de abril de 1955
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
- 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] .