décidable
AdjectifFéminin, Masculin\de.si.dabl\
Étymologie De décider avec le suffixe adjectival -able.
1
Mathématiques Dont on peut décider l’existence, les propriétés.
- Une proposition, un énoncé, sont dits décidables dans une théorie axiomatique, si on peut les démontrer ou en démontrer la négation dans le cadre de cette théorie.
2
Informatique Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.
- Antonymes
- conjecturé, indécidable
- Apparentés
- décidabilité, décidé, décidément, décider, décideur, décideuse, décision, décisionnel, indécidabilité, indécidable