Forcing e independencia de la hipótesis del continuo
Forcing and independence of the continuum hypothesis
- Fecha
- 1963 · fiabilidad alta
- Lugar
- Stanford, California, EE. UU.
- Autoría
- Paul Cohen; consistencia relativa probada por Gödel (1940)
- Personas
- 👤 Paul Cohen1934–2007
- Ámbito
- Saber y símbolos
Qué se descubrió
Técnica para construir modelos de la teoría de conjuntos que demuestra que la hipótesis del continuo y el axioma de elección no pueden probarse ni refutarse desde ZF. Resuelve el primer problema de Hilbert mostrando que es indecidible.
Cohen recibió la medalla Fields en 1966, la única concedida hasta hoy por un resultado de lógica.
A qué dio paso
- teoría de conjuntos moderna
- grandes cardinales
- independencia de numerosos enunciados
- debate sobre el pluralismo en fundamentos
Se apoya en
- Hipótesis del continuo1878
- universo constructible de Gödel