Forcing
Technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles
En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour démontrer des résultats de cohérence et d'indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en 1962 pour démontrer l'indépendance de l'hypothèse du continu vis-à-vis de la théorie ZFC.
Nº Q1003136 ★
Commune · Histoire
Forcing
Technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles
En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour démontrer des résultats de cohérence et d'indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en 1962 pour démontrer l'indépendance de l'hypothèse du continu vis-à-vis de la théorie ZFC.
Sur Wikipédia
En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour démontrer des résultats de cohérence et d'indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en 1962 pour démontrer l'indépendance de l'hypothèse du continu vis-à-vis de la théorie ZFC. Combinée avec la technique des modèles de permutation de Fraenkel-Mostowski-Specker, elle a permis également d'établir l'indépendance de l'axiome du choix relativement à ZF. Le forcing a été notablement remanié et simplifié dans les années 1960 et s'est révélé être une technique extrêmement puissante, à la fois en théorie des ensembles et dans d'autres branches de la logique mathématique, comme la théorie des modèles ou la logique intuitionniste.
Texte : Wikipédia, CC BY-SA 4.0. ·
Cartes voisines
-
Théorie des ensembles de Zermelo-Fraenkel
Axiomatisation de la théorie des ensembles
Nº Q191849 ★★★
Pas en vente
-
H
Hypothèse du continu
Qu'il n'existe aucun ensemble de cardinal strictement compris entre celui de ℕ et celui de ℝ
Nº Q208416 ★★★
Pas en vente
-
A
Axiome de fondation
Axiome de la théorie des ensembles que tout ensemble 𝑥 non vide possède un élément élément n’ayant aucun élément en commun avec 𝑥
Nº Q470981 ★
Pas en vente
-
Paul Cohen
Mathématicien américain
Nº Q216809 ★
Pas en vente
-
e
ensemble des nombres réels
Union des nombres rationnels et irrationnels, formant un espace euclidien unidimensionnel infini, qui est continu et donc indénombrable
Nº Q1174982 ★
Pas en vente
-
F
Friction-maxxing
Practice of intentionally choosing less convenient options
Nº Q138641577 ★
Pas en vente