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

  1. The art of raising plants at an earlier season than is normal, especially by using a hotbed
  2. An extension in the development time of an underexposed negative in order to bring out detail
  3. A technique used to prove the consistency of certain axioms in set theory
  1. The net flux of energy in or out of a system; the net change in an energy balance.

Verb

forcing



The above text is a snippet from Wiktionary: forcing
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!