THEOREM in French translation

• théorème
• theorem
• théorèmes

Examples of using Theorem in English and their translations into French

Bormat's famous last theorem could cease to be unsolvable in the next few hours.
un des derniers théorèmes pourrait ne plus être indémontrable d'ici quelques heures à peine.

His song"Love's Theorem" tells you how to deal with women.
Sa chanson"théorie de l'amour" t'indique la façon de traiter les femmes.

Using a representation theorem for positive polynomials on,
En utilisant un théorème de représentation des polynômes positifs sur,

From Pitot's theorem it follows that the lengths of the legs are half the sum of the bases.
Grâce au théorème de Pitot il s'ensuit que la longueur des côtés est la moitié de la somme des bases.

The study of possible generalizations of Whitehead's theorem to more general spaces is part of the subject of shape theory.
L'étude des généralisations possibles du théorème de Whitehead à des espaces plus généraux fait partie de la théorie des formes en.

using the Cauchy-Kowalevski theorem and yield a solution of the original embedding equations.
grâce au théorème de Cauchy-Kowalevski, donnant une solution au problème de plongement initial.

This geometrical proof of Pythagoras' theorem would be rediscovered in the years 1835- 1840 by Henry Perigal
Cette démonstration géométrique du théorème de Pythagore sera redécouverte dans les années 1835-1840 par Henry Perigal

Early work with David Kazhdan produced the Kazhdan-Margulis theorem, a basic result on discrete groups.
Ses premiers travaux avec David Kazhdan donnèrent lieu au théorème de Kazhdan-Margulis, un résultat sur les groupes discrets.

The extension theorem is then proved by showing that the set of strict partial orders containing R has some maximal element.
L'extension du théorème est alors prouvée en montrant que l'ensemble des ordres partiels stricts contenant R possède un élément maximal.

In theoretical physics, a no-go theorem is a theorem that states that a particular situation is not physically possible.
En physique théorique, un théorème no-go est un théorème qui affirme qu'une certaine situation n'est pas physiquement possible.

Informally, a soundness theorem for a deductive system expresses that all provable sentences are true.
De façon informelle, un théorème de correction pour un système déductif exprime que toutes les phrases prouvables sont vraies.

Wolfgang Pauli derived more explicit proofs, so this theorem is sometimes known as the Lüders-Pauli theorem..
Wolfgang Pauli ont établi des démonstrations explicites de ce théorème, ce qui fait qu'il est parfois appelé théorème de Lüders-Pauli.

This result is known as Frege's theorem, which is the foundation for a philosophy of mathematics known as neo-logicism.
Ce résultat, connu sous le nom de théorème de Frege, est le fondement d'une philosophie des mathématiques connue sous le nom néo-logicisme.

Another of the proofs uses Dilworth's theorem on chain decompositions in partial orders, or its simpler dual Mirsky's theorem..
Un autre preuve fait appel au théorème de Dilworth sur la décomposition en chaînes d'un ordre partiel, ou à sa version duale, le théorème de Mirsky en.

The latter question is answered by Sperner's theorem, which gave rise to much of extremal set theory.
La dernière question trouve sa réponse dans le théorème de Sperner, qui a alimenté une grande partie de la théorie extrémale des ensembles.

Therefore, by Artin's theorem, the subalgebra generated by any two elements is associative.
Par conséquent, par un théorème d'Artin, la sous-algèbre engendrée par deux éléments quelconques est associative.

Castelnuovo's theorem implies also that, in characteristic zero,
Un théorème de Castelnuovo assure qu'en caractéristique nulle,

Another theorem that has been proved in many different ways is the theorem of quadratic reciprocity-Carl Friedrich Gauss alone published eight different proofs of this theorem..
Un autre théorème qui a été démontré de beaucoup de façons est le théorème de réciprocité quadratique de Carl Friedrich Gauss dont de très nombreuses démonstrations différentes ont été publiées.

According to Lagrange's theorem, finite groups of order p,
D'après le théorème de Lagrange, les groupes finis d'ordre p,

This generalization is known as Schauder's fixed-point theorem, a result generalized further by S. Kakutani to multivalued functions.
Cette généralisation porte le nom de théorème du point fixe de Schauder, résultat encore généralisé par Shizuo Kakutani aux fonctions multivoques.