Décidable

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

• adj. Se dit d'une formule qui est démontrable ou falsifiable dans une théorie déductive.

Portail internet "Le Dictionnaire"

• (Mathématiques) Dont on peut décider l’existence, les propriétés.

Le littré

• pas de définition

Wiktionnaire

• (Mathématiques) Dont on peut décider l’existence, les propriétés.
• (Informatique) Que l'on peut résoudre par un algorithme donné avec un nombre fini d'étapes.