Complétude
Par Raphaël B., samedi 23 juin 2007 à 09:28 :: Je me coucherai moins bête ce soir ::#230
D’après le MédiaDico disponible sur le site de TV5.org, complétude signifie :
[(Propriété de ce qui est complet.• Propriété d’une théorie déductible qui ne renferme pas de propositions indécidables.)]
D’après Wikipédia et Isabelle, c’est surtout utilisé en maths mais les informaticiens (dont j’accepte de temps en temps l’assimilation à titre personnel, sauf quand c’est de manière péjorative) aiment bien l’utiliser.
Tiens, au fait, pour faire une recherche dans Wikipédia, il suffit de se mettre sur votre moteur de recherche préféré et de taper « Wikipédia » suivi de votre mot recherché.
Commentaires
Aucun commentaire