Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Frans

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

incompleteness theorem

Vertaling van "incompleteness theorem" in Frans

NEW

théorème d'incomplétude m

But it is interesting that the hypothesis of interconnectedness, linked to the incompleteness theorem, brings us to the same conclusion.

Mais, il est intéressant de constater que l'hypothèse d'interdépendance, reliée au théorème d'incomplétude, nous mène à la même conclusion.

Gödel's first incompleteness theorem shows that for languages sufficient for doing a certain amount of arithmetic, there can be no effective deductive system that is complete with respect to the intended interpretation of the symbolism of that language.

Le premier théorème d'incomplétude de Gödel montre que pour tout langage suffisant à l'expression d'une certaine portion de l'arithmétique, il ne peut exister de système déductif qui soit complet vis-à-vis de l'interprétation voulue du symbolisme de ce langage.

Gödel's second incompleteness theorem, proved in 1931, shows that no proof of its consistency can be carried out within arithmetic itself.

Le théorème d'incomplétude de Gödel, prouvé en 1931, montre qu'aucune preuve de la cohérence ne peut être apportée en utilisant les outils de l'arithmétique.

Appealing to Gödel's incompleteness theorem, he argues that for any such automaton, there would be some mathematical formula which it could not prove, but which the human mathematician could both see, and show, to be true.

Faisant appel au théorème d'incomplétude de Gödel, il soutient que pour un tel automate, il y aurait une formule mathématique qu'il ne pourrait pas prouver, mais que le mathématicien humain pourrait à la fois voir et montrer comme étant vraie.

Since all physical science uses arithmetic (and since for a reductionist only science formulated in physical symbols has any reality), Gödel's incompleteness theorem renders all physical science incomplete.

Puisque toute science physique utilise l'arithmétique (et puisque pour un réductionniste seule la science formulée en symboles physiques a une quelconque réalité), le théorème d'incomplétude de Gödel rend toute science physique incomplète.

It was Gödel with his incompleteness theorem of 1931, which showed indeed that in any logical system as arithmetic, we can not say anything certain proposal or whether they are true or if it is false.

Ce fut Gödel, avec son théorème d'incomplétude de 1931, qui montra en effet que dans tout système logique comme arithmétique, on ne peut rien dire de certaines proposition, ni si elles sont vraies, ni si elle sont fausses.

Therefore, we want to retrace Turing's project of an ordinal logic from its very foundation in Gödel's incompleteness theorem to its further development in calculability theory.

Nous retraçons ici le projet d'une logique ordinale, de ses origines dans le théorème d'incomplétude de Gödel jusqu'à ses avancées dans les développements de la théorie de la calculabilité.

Gödel's incompleteness theorem shows that no recursive system that is sufficiently powerful, such as the Peano axioms, can be both consistent and complete.

Le théorème d'incomplétude de Gödel montre qu'aucun système récursif qui est suffisamment puissant, comme les axiomes de Peano, peut être à la fois cohérente et complète.

Perhaps the most famous result in the history of logic is Gödel's incompleteness theorem.

Le théorème d'incomplétude de Gödel est peut-être le résultat le plus célèbre dans l'histoire de la logique.

For those really interested in mathematics, I cannot avoid mentioning some other topics Martinez addresses: Gödel's incompleteness theorem is one of the greatest achievements in mathematics ever, though it is complicated to understand.

Pour ceux qui s'intéressent vraiment en mathématiques, je ne peux pas éviter de mentionner quelques autres sujets abordés par Martinez: le théorème d'incomplétude de Gödel est l'une des plus grandes réalisations en mathématiques, même s'il est compliqué à comprendre.

The proof of (1) is as in Gödel's proof of the first incompleteness theorem.

La démonstration de (1) est semblable à celle de la démonstration du premier théorème d'incomplétude de Gödel.

In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem, showing that the requirement for ω-consistency may be weakened to consistency.

En 1936, il a démontré ce qu'on appelle depuis l'astuce de Rosser, variante plus forte du premier théorème d'incomplétude de Gödel qui montre que l'exigence d'une ω-cohérence peut être réduite à celle d'une simple cohérence.

The CoC is strongly normalizing, although, by Gödel's incompleteness theorem, it is impossible to prove this property within the CoC since it implies inconsistency.

Le CoC est fortement normalisant, bien que, d'après le théorème d'incomplétude de Gödel, il soit impossible de démontrer cette propriété dans le CoC lui-même, puisqu'elle implique sa cohérence.