Hipótesis del continuo

Qué se descubrió

Conjetura de que no existe ningún conjunto de cardinal estrictamente entre el de los naturales y el de los reales. Primer problema de la lista de Hilbert y prototipo de enunciado que resultó independiente de los axiomas.

Cantor intentó probarla durante décadas; hoy se sabe que ni ella ni su negación se deducen de ZFC.

A qué dio paso

• primer problema de Hilbert
• consistencia relativa de Gödel (1940)
• forcing de Cohen (1963)
• teoría de conjuntos moderna y grandes cardinales

Se apoya en

• teoría de conjuntos de Cantor

Hizo posible

• Los 23 problemas de Hilbert8 de agosto de 1900
• Forcing e independencia de la hipótesis del continuo1963

📄 Publicación original

Enlaces