Synonymes de décidabilité
/de.si.da.bi.li.te/
- nom
Publicité
★ Synonymes
Caractère de ce qui peut être déterminé, tranché ou résolu par une procédure effective (en logique, mathématiques ou informatique)
- calculabilitéproche, mais concernant les fonctions
- déterminabilité
En informatique théorique, propriété d’un problème pour lequel il existe un algorithme donnant une réponse oui/non pour toute entrée
- solvabilité algorithmique
- caractère décidable
- résolution effective
En philosophie ou épistémologie, possibilité de trancher une question par une méthode rationnelle ou empirique
- tranchement possible
- caractère tranchable
- vérifiabiliténuance : plus large
≡ Synonymes
État de ce qui est décidable.
- étatlié
État d’un problème résolvable par un algorithme donné avec un nombre fini d’étapes.
- étatlié
↔ Contraires
Tous les sens
- État de ce qui n'est pas décidable.