Hay gente en MO que saben más acerca de Hugh Woodin del trabajo que hago,
pero aquí está un primer borrador.
Woodin fue uno de los principales contribuyentes, junto con Martin y Steele, a la
programa de conciliar el axioma de elección (AC) como la medida de lo posible con el axioma de
determinación (AD). Se ha conocido desde la década de 1920 que, si AC se mantiene, entonces no
cada set $S$ de los números reales es determinada. En el lado positivo, Martin demostrado
en ZFC que todos los conjuntos de Borel son determinado, y que la analítica de los conjuntos de determinado
suponiendo la existencia de un cardinal medible. El clímax de esta línea de investigación,
en la década de 1980, es que la determinación de todos los conjuntos proyectivos es equiconsistent con un
más fuerte gran cardenal hipótesis -- la existencia de una infinidad de Woodin
cardenales.
Después de esto, Woodin montado un muy complejo y grave ataque a la continuidad
problema. Él resumió su programa (que él cree que va a mostrar que
$2^{\aleph_0}=\aleph_2$) en un par de artículos en los Avisos en el año 2001.
En septiembre de 2007 oí Woodin dar una charla en un memorial de la conferencia para
Pablo Cohen de la universidad de Stanford. Él describió Cohen descubrimiento de forzar como "cualquiera de los
el final de la teoría de conjuntos, o bien realmente el comienzo, y que aún no se sabe qué."
(Que ilustra este comentario con la foto de la NASA de Marte, en la que el sol parece
aumento o conjunto, pero uno no puede decir que.)
Creo que será interesante escuchar lo que él tiene que decir en Hyderabad.
