Vertaling van "le forcing" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Ce que je veux dire, c'est qu'il est possible de miser sur ce que l'économie trouve a priori d'utile, sans jouer le forcing à coups de règlements.
We can use the things that the economy is finding useful without forcing regulations is what I am trying to say.
Ce qui justifie l'importance des antichaînes dans le forcing, c'est que pour la plupart des applications, ensembles denses et antichaînes maximales sont équivalents.
The importance of antichains in forcing is that for most purposes, dense sets and maximal antichains are equivalent.
Pas la peine de faire le forcing.
On étudie d'autres variantes par la suite grâce à la décomposition linéaire, ainsi que lien de parenté avec d'autres traductions tels que le forcing et les CPS.
A few variants are studied thanks to the linear decomposition, and relationships with other translations such as forcing and CPS are scrutinized.
Il a été avancé que la théorie C-K a des analogies avec le forcing dans la théorie des ensembles, et les mathématiques intuitionnistes.
It has been argued that C-K theory has analogies with forcing in set theory, and with intuitionistic mathematics.
C'est pourquoi la dernière étape dans la démonstration de l'indépendance de l'hypothèse du continu est de montrer que le forcing de Cohen n'effondre pas les cardinaux.
The last step in showing the independence of the continuum hypothesis, then, is to show that Cohen forcing does not collapse cardinals.
Nous présentons ensuite le forcing en réalisabilité classique, initialement dû à Krivine, puis l'étendons aux filtres génériques, lorsque les conditions de forcing forment un type de données.
We present forcing in classical realizability, initially due to Krivine, and extend it to generic filters whenever the forcing conditions form a datatype.
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.
In the mathematical discipline of set theory, forcing is a technique discovered by Paul Cohen for proving consistency and independence results.
Twitter Pinterest Logitech, qui fait le forcing sur les accessoires pour gamers avec sa série G, nous présente son nouveau clavier dédié, le Pro G.
Twitter Pinterest Logitech, which is forcing on the accessories for gamers with its G series, presents its new dedicated keyboard, the Pro G.
Avant l'arrivée de Donald Trump à la Maison Blanche, Barack Obama fait le forcing pour mettre en place sa politique environnementale.
Before the arrival of Donald Trump in the White House, Barack Obama is forcing to enforce his environmental policy.
Ils ont fait le forcing pour prendre le véhicule de la région.
They have taken a vehicle belonging to the region by force.
Selon lui, c'est de la propagande et le forcing qui continuent.
According to him, it is a propaganda and the forcing which continue.
Il fait simplement le forcing pour avoir son curriculum complet.
He's just pushing to make sure we have a complete history.
