Indécidabilité

Grand Dictionnaire de la langue française numérisé

• n.f. Propriété d'une formule indécidable.
• n.f. Propriété d'une théorie dans laquelle il n'existe pas de procédé effectif permettant de décider, pour toute formule, si elle est ou non démontrable. (Une théorie assez puissante pour formaliser l'arithmétique est indécidable si elle est consistante ; le calcul des prédicats est indécidable.)

Portail internet "Le Dictionnaire"

• pas de définition

Le littré

• pas de définition