CONTINU HYPOTHÈSE DU
Le théorème de Woodin
Vient alors le principal résultat, dont la démonstration est un tour de force extraordinaire :
Théorème de Woodin (2000) : Tout axiome Ω-complet pour H2 implique que l'hypothèse du continu soit fausse.
Donc, si la Ω-conjecture est vraie, il existe une solution pour H2, à savoir ZFC+MMW, et toute solution pour H2 entraîne que HC soit fausse : c'est exactement dire que l'hypothèse du continu est essentiellement fausse. On déduit donc du théorème de Woodin le corollaire suivant : sous réserve que la Ω-conjecture soit vraie, l'hypothèse du continu est essentiellement fausse.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Patrick DEHORNOY : professeur à l'université de Caen et à l'Institut universitaire de France
Classification
Pour citer cet article
Patrick DEHORNOY. CONTINU HYPOTHÈSE DU [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
Autres références
-
CANTOR GEORG (1845-1918)
- Écrit par Hourya BENIS-SINACEUR
- 2 886 mots
- 1 média
...contraire à l’intuition qu’il sollicite l’avis de Dedekind : « Je le vois, mais je ne le crois pas », lui écrit-il. On ne pouvait imaginer en effet que la notion si fondamentale de dimension d’un espace continu (égale à 2 pour le carré, à 1 pour l’intervalle, à 3 pour un cube, etc.) n’intervienne pas dans... -
COHEN PAUL JOSEPH (1934-2007)
- Écrit par Gabriel SABBAGH
- 154 mots
Mathématicien et logicien américain, Paul Joseph Cohen est né le 2 avril 1934 à Long Branch (New Jersey) et mort le 23 mars 2007 à Stanford (Californie). En 1963, Cohen a découvert une nouvelle construction de modèles, appelée forcing, qui joue désormais un rôle fondamental dans la théorie des...
-
CONTINU & DISCRET
- Écrit par Jean-Michel SALANSKIS
- 7 672 mots
...associé à l'objet de l'analyse réelle. On se contentera ici de mentionner le théorème de Lowenheim-Skolem et le résultat de Cohen au sujet de l'hypothèse du continu : ces travaux, parmi les plus célèbres du domaine en question, permettent de bien voir comment se pose le problème du continu dans le cadre de... -
GÖDEL KURT (1906-1978)
- Écrit par Daniel ANDLER
- 2 292 mots
...premier résultat de non-contradiction relative. Si la théorie des ensembles est cohérente, cette théorie enrichie de l'axiome du choix et de l'hypothèse généralisée du continu est cohérente. La notion d'univers constructible employée par Gödel dans ce travail est devenue l'un... - Afficher les 7 références
Voir aussi
- LOGIQUE MATHÉMATIQUE
- BAIRE THÉORÈME DE
- CHOIX AXIOME DU
- CARDINAL, mathématiques
- PREUVE, mathématiques
- ENSEMBLES THÉORIE AXIOMATIQUE DES
- WOODIN W. HUGH (1955- )
- WOODIN THÉORÈME DE
- OMÉGA-LOGIQUE
- OMÉGA-CONJECTURE
- ZFC AXIOMES DE
- ZFC MODÈLES DE
- ZERMELO-FRAENKEL AXIOMES DE
- COMPLÉTUDE, mathématiques
- ENTIER NATUREL
- FORCING, mathématiques
- INDÉCIDABLE, mathématiques
- NON-CONTRADICTION
