Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00739900n
Noun Concept
Categories: Théorie des ensembles, Logique mathématique
FR
forcing
FR
En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles. Wikipedia
English:
logic
set theory
mathematics
Definitions
Relations
Sources
FR
En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles. Wikipedia
Technique inventée par Paul Cohen pour prouver des résultats de cohérence et d''indépendance en théorie des ensembles Wikidata
IS A
technique scientifique
PART OF
théorie des ensembles
DIFFERENT FROM
EN
ramified forcing
DISCOVERER OR INVENTOR
Paul Cohen
Wikipedia
FR
forcing
Wikidata
FR
forcing

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License