Dictionnaire français - anglais

sciences naturelles et appliquées - iate.europa.eu
Voilà pourquoi le théorème de Gödel est souvent aussi appelé « théorème d’incomplétude ».

This is why Gödel's theorem is often called the "Incompleteness Theorem.

général - CCMatrix (Wikipedia + CommonCrawl)
C'est pourquoi le théorème de Gödel est souvent aussi appelé « théorème d'incomplétude ».

This is why Gödel's theorem is often called the "Incompleteness Theorem.

général - CCMatrix (Wikipedia + CommonCrawl)
Merci pour cette belle vulgarisation du théorème de Gödel !

Thank you for making these excellent points about Gödel's theorem!

général - CCMatrix (Wikipedia + CommonCrawl)
Je pense avoir compris ce que le théorème de Gödel implique.

I think you still don't understand what Gödel's Theorem implies.

général - CCMatrix (Wikipedia + CommonCrawl)
Le théorème de Gödel; mais aussi la mécanique quantique, interdisent de faire l'économie de l'observateur.

Gödel's theorem, and also quantum mechanics, prohibits trying to do without the observer.

général - CCMatrix (Wikipedia + CommonCrawl)

Publications scientifiques

Le théorème de gödel et la norme fondamentale de kelsen
... Le théorème de Gödel et la norme fondament...
...The famous Godel's theorem has mainly held the attention of logicians, epistemologists and philosophers....
général - core.ac.uk -
Why gödel's theorem cannot refute computationalism AbstractGödel's theorem is consistent with the computationalist hypothesis....
général - core.ac.uk -

Synonymes et termes associés français

Exemples français - anglais

finances - iate.europa.eu
finances - iate.europa.eu
[...]
finances - iate.europa.eu
finances - iate.europa.eu
[...]

Traductions en contexte français - anglais

Le théorème de GÖDEL est intrinsèquement un théorème de limitation des systèmes formels.

Godel’s theorem is a limitation on computational systems.

général - CCMatrix (Wikipedia + CommonCrawl)
Ce résultat est une application du théorème de Gödel.

This is just an application of Gödel’s Theorum.

général - CCMatrix (Wikipedia + CommonCrawl)
Le second théorème de Gödel peut être formulé comme suit :

Gödel’s second incompleteness theorem can be stated as follows:

général - CCMatrix (Wikipedia + CommonCrawl)
Pour une explication concise du théorème de Gödel, voir WEB

For a detailed discussion of MacColl's theoretical stance, see WEB

général - CCMatrix (Wikipedia + CommonCrawl)
Le second théorème de Gödel peut être formulé comme suit :

Gödel's second incompleteness theorem can be stated as follows:

général - CCMatrix (Wikipedia + CommonCrawl)
Le théorème de Gödel a eu des répercussions bien au-delà du domaine des mathématiques.

But Dodgson’s talents went far beyond mathematics.

général - CCMatrix (Wikipedia + CommonCrawl)
Ainsi toute théorie physique est elle autoréférentielle, comme la formule G du théorème de Gödel.

Thus a physical theory is self referencing, like in Godel’s theorem.

général - CCMatrix (Wikipedia + CommonCrawl)
Mais il ne faut pas trop vite essayer de tirer des conclusions philosophiques du théorème de Gödel.

Don’t be too hard on those who attempt to use Gödel’s Theorems philosophically.

général - CCMatrix (Wikipedia + CommonCrawl)
Le théorème de Gödel qui répond à la question de la cohérence des mathématiques (voir les énoncés indécidables)

Gödel's incompleteness theorems, which address the question of coherence in mathematics (read more about undecidable statements)

général - CCMatrix (Wikipedia + CommonCrawl)
Le théorème de Gödel qui répond à la question de la cohérence des mathématiques (voir les énoncés indécidables)

Gödel’s incompleteness theorems, which address the question of coherence in mathematics (read more about undecidable statements)

général - CCMatrix (Wikipedia + CommonCrawl)
En ce qui concerne le théorème de Gödel, Bronowski déclare : « C’est l’axiomatisation du système qui produit la difficulté.

With regard to Gödel’s theorem, Bronowski states: “… it is the axiomatisation of the system which produces the trouble.

général - CCMatrix (Wikipedia + CommonCrawl)
Le théorème de Gödel montre qu'aucun système logique ne peut produire tous les énoncés vrais qui sont possibles.

Gödel’s theorem shows that no logical system can produce all of the true statements that are possible.

général - CCMatrix (Wikipedia + CommonCrawl)
Le théorème de Gödel démontre qu’au sein même d’un système, il est impossible de démontrer logiquement les points de départ.

Goedel's theorem shows that from within a system you can never logically prove the starting points.

général - CCMatrix (Wikipedia + CommonCrawl)
Quant aux déclarations que je pourrais faire, le mieux que je peux dire est sans doute que j’aurais prouvé le théorème de Gödel en 1921... si j’avais été Gödel.

As for any claims I might make perhaps the best I can say is that I would have proved Gödel’s theorem in 1921 had I been Gödel”” (Stillwell).

général - CCMatrix (Wikipedia + CommonCrawl)
Le but que visait l'introduction des logiques ordinales était d'éviter autant que possible les effets du théorème de Gödel.

The purpose of introducing ordinal logics was to avoid as far as possible the effects of Gödel’s theorem.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues