théorie de l'incomplétude

· fiche TERMIUM Plus

Désignations

français
  • théorie de l'incomplétude (correct,feminine noun)

    OBS: incomplétude : caractère d'un système hypothético-déductif qui contient des propositions indécidables.

anglais
  • Gödel's incompleteness theorem (correct)
  • synonyme : incompleteness theory (correct)
  • synonyme : incompleteness theorem (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

anglais
Kurt Gödel has shown that within any logical system are theories that can neither be proved nor disproved. In other words, certain functions must be performed outside the system. For one system to be able to prove these theories, it must be logically inconsistent.

Classement

Collections

Domaines

  • Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-102e32081ee14e11/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.

Buy us a coffee Explore the data