Jack Howard Silver, matemático y filósofo, dedicó su carrera a analizar los límites de la teoría de conjuntos y la estructura de los cardinales grandes. Su labor en la Universidad de California en Berkeley aportó herramientas esenciales para comprender el universo construible L, e influyó en la forma en que los lógicos abordan el problema de los cardinales singulares y la consistencia de diversos modelos matemáticos.
Fundamentos académicos e investigación
Nacido en 1942 en Missoula, Montana, Silver obtuvo su doctorado en la Universidad de California en Berkeley en 1966. Su director de tesis fue Robert Vaught. Se incorporó al cuerpo docente de la misma institución al año siguiente y permaneció allí durante toda su carrera académica. Entre 1970 y 1972, disfrutó de una beca de investigación Alfred P. Sloan.
Contribuciones a la teoría de conjuntos
Silver identificó 0# en su tesis doctoral de 1966, un concepto detallado posteriormente en el libro de texto de Frank R. Drake Set Theory: An Introduction to Large Cardinals. En su artículo de 1975, «On the Singular Cardinals Problem», demostró que para un cardinal singular con cofinalidad no numerable, la hipótesis generalizada del continuo implica 2κ = κ+. Esta prueba desafió la opinión imperante de que los argumentos de forzamiento podían conducir a la negación del teorema dentro de ZFC. Para facilitar su investigación, introdujo la noción de condición maestra, que sirvió como instrumento técnico para demostraciones de forzamiento que involucraban cardinales grandes.
Innovaciones metodológicas
Su investigación se amplió para incluir el colapso de Silver, una variante del colapso de Levy, que utilizó para demostrar la consistencia de la conjetura de Chang. Demostró que, dada la consistencia de un cardinal supercompacto, se puede construir un modelo en el que 2κ = κ++ para un cardinal medible κ. Al desarrollar las máquinas de Silver, elaboró una demostración del lema de cobertura de Jensen que funcionaba sin estructura fina. Asimismo, descubrió los indiscernibles de Silver y generalizó la noción de árbol de Kurepa, un concepto conocido como el principio de Silver.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos rápidos
- Nacimiento: 1942, Missoula - Fallecimiento: 22 de diciembre de 2016 - Educación: Doctorado, Universidad de California en Berkeley, 1966 - Campo: Teoría de conjuntos y lógica - Descubrimiento clave: 0# (zero sharp) - Beca notable: Beca de investigación Alfred P. Sloan (1970–1972)
Preguntas de los lectores
### ¿Qué es 0#?
0# (zero sharp) es un concepto matemático descubierto por Jack Silver en su tesis doctoral de 1966.
### ¿Dónde trabajó Jack Silver?
Trabajó en la Universidad de California en Berkeley, donde también obtuvo su doctorado.
