Forcing

Grand Dictionnaire de la langue française numérisé

• n.m. En sports, accélération continue du rythme du jeu, attaque à outrance maintenant l'adversaire sur la défensive.
• n.m. Familier. Fait de déployer une grande énergie afin de dépasser un concurrent ou de vaincre un adversaire : Constructeurs qui font le forcing afin d'être les premiers sur le marché.
• n.m. Méthode introduite par P. Cohen en 1963 pour démontrer l'indépendance de l'axiome du choix et de l'hypothèse du continu par rapport aux axiomes de la théorie ZF des ensembles, et qui fait appel à un remaniement dans l'interprétation classique des connecteurs et des quantificateurs.

Portail internet "Le Dictionnaire"

• n. Pression, insistance.

Le littré

• pas de définition

Wiktionnaire

• Pression, insistance.
• (Mathématiques) Technique de logique mathématique permettant de prouver la cohérence et l’indépendance de certains critères.