Forcing · WikiArcana

Forcing

Technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles

Rare · Événement · technique scientifique

4Forcing

Événement, technique scientifiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles

5 186

5 154

Pl. 916547WikiArcana

D'où viennent les stats

Attaque: 5 186
Aucune donnée chiffrée sur Wikidata : la valeur dépend de la renommée du sujet.
Défense: 5 154
Aucune donnée chiffrée sur Wikidata : la valeur dépend de la renommée du sujet.

Résumé 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.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Forcing », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0).

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

4Forcing

Événement, technique scientifiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles

5 186

5 154

Pl. 916547WikiArcana

NormaleChance : 75,9 %

4Forcing

Événement, technique scientifiqueR

Chaos. En arrivant : les cartes adverses déjà ici perdent 2.

technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles