Completude

Completude

Complétude

Page d'aide sur l'homonymie Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.

Wiktprintable without text.svg

Voir « complétude » sur le Wiktionnaire.

On parle de complétude en mathématiques dans des sens très différents. On dit d'un objet mathématique qu'il est complet pour exprimer que rien ne peut lui être ajouté, en un sens qu'il faut préciser dans chaque contexte. Dans le cas contraire, on parle d'incomplétude, surtout dans le contexte de la logique mathématique.

  • Un espace mesurable est complet quand tout sous-ensemble d'un ensemble de mesure nulle est mesurable, voir mesure.
  • En logique mathématique un jeu de règles ou d'axiomes est complet quand il formalise entièrement la sémantique attendue. Cela peut se préciser de façons très différentes. On a les deux notions de complétude suivantes pour la sémantique de Tarski.
    • Un système de déduction pour une logique donnée (calcul propositionnel, ou calcul des prédicats en logique classique mais aussi en logique intuitionniste ...), est complet quand il démontre les formules valides dans tous les modèles de cette logique. Plus précisément, on dit qu'une formule se déduit sémantiquement d'une théorie quand dans tout modèle de la théorie, pour toute interprétation de ses variables libres, la formule est valide. Un système de déduction est correct, fidèle ou adéquat quand toute déduction est valide sémantiquement. Il est complet quand toutes les déductions sémantiques peuvent se dériver dans le système. On parle de théorème de complétude quand il existe un système de déduction fidèle qui est complet (le système de déduction doit être raisonnable, c’est-à-dire que l'ensemble des preuves dans le système doit être récursif).
    • Une théorie axiomatique est complète quand tout énoncé du langage de la théorie est déterminé par déduction dans la théorie : il est soit démontrable, soit de négation démontrable. Cette notion est étroitement liée à celle de théorie décidable mais ne se confond pas avec elle. Le premier théorème d'incomplétude de Gödel énonce que, sous des hypothèses raisonnables, aucune théorie arithmétique cohérente n'est complète. Il a pour conséquence qu'il n'y a pas système de déduction raisonnable qui capture entièrement la sémantique attendue, à savoir la vérité dans un modèle, celui des entiers naturels (le modèle standard de l'arithmétique).
  • En théorie des graphes, un graphe (ou un sous-graphe) non orienté est complet quand toute paire de sommets est reliée par une arête.
Ce document provient de « Compl%C3%A9tude ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Completude de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • complétude — [ kɔ̃pletyd ] n. f. • 1928; de complet, d apr. incomplétude ♦ Didact. Caractère de ce qui est complet, achevé. (1969) Épistém. Caractère d un système hypothéticodéductif qui ne contient pas de propositions indécidables. ● complétude nom féminin… …   Encyclopédie Universelle

  • completude — s. f. Qualidade do que é ou está completo.   ‣ Etimologia: completo + ude …   Dicionário da Língua Portuguesa

  • Complétude — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Complétude », sur le Wiktionnaire (dictionnaire universel) On parle de complétude en mathématiques… …   Wikipédia en Français

  • Complétude (mathématiques) — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • complétude absolue — visiškasis baigtumas statusas T sritis radioelektronika atitikmenys: angl. absolute completeness vok. absolute Vollständigkeit, f rus. абсолютная завершённость, f pranc. complétude absolue, f …   Radioelektronikos terminų žodynas

  • complétude fonctionnelle — funkcinis baigtumas statusas T sritis radioelektronika atitikmenys: angl. functional completeness vok. funktionnelle Vollständigkeit, f rus. функциональная завершённость, f pranc. complétude fonctionnelle, f …   Radioelektronikos terminų žodynas

  • Theoreme de completude de Godel — Théorème de complétude de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au …   Wikipédia en Français

  • Théorème de complétude — de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute… …   Wikipédia en Français

  • Théorème de complétude de gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute proposition qui… …   Wikipédia en Français

  • Théorème de complétude de Gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats du premier ordre est complet au sens où toute… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”