FORCING
Forcing
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.The above text is a snippet from Wikipedia: Forcing (mathematics)
and as such is available under the Creative Commons Attribution/Share-Alike License.
forcing
Noun
- The art of raising plants at an earlier season than is normal, especially by using a hotbed
- An extension in the development time of an underexposed negative in order to bring out detail
- A technique used to prove the consistency of certain axioms in set theory
Verb
forcing
The above text is a snippet from Wiktionary: forcing
and as such is available under the Creative Commons Attribution/Share-Alike License.