décidabilité
- Domaine
-
- mathématiques
- Dernière mise à jour
Définition :
Propriété d'une théorie mathématique T dans laquelle il existe un procédé effectif permettant de décider, pour toute formule F de S , si F est ou non un théorème de T.
Note :
((Antonyme :)) indécidabilité.
Termes privilégiés :
- décidabilité n. f.
- effectivité n. f.