1. Forcing (mathematics)In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. Forcing was considerably reworked and simplified in the 1960s, and has proven to be an extremely powerful technique both within set theory and in areas of mathematical logic such as recursion theory.
Read “Forcing (mathematics)” on English Wikipedia
Read “強制法” on Japanese Wikipedia
Read “Forcing (mathematics)” on DBpedia
Read “Forcing (mathematics)” on English Wikipedia
Read “強制法” on Japanese Wikipedia
Read “Forcing (mathematics)” on DBpedia
Discussions
Log in to talk about this word.