décidabilité

nature: nom féminin
diction: [desidabilite]

Sens et définitions

Nom 3

3 emplois spécialisés

Mathématiques État de ce qui est décidable
Informatique État d’un problème résolvable par un algorithme donné avec un nombre fini d’étapes
- La première est celle de la décidabilité logique ou théorique : ce problème, est-il soluble ? Nicolas Flasque, Helen Kassel, Franck Lepoivre, Boris Velikson, Exercices et problèmes d’algorithmique, 2010
Intelligence artificielle Propriété d'un problème ""décidable"", pour lequel on sait prouver qu'il existe des algorithmes résolvant toutes ses instances, ou permettant de distinguer les énoncés vrais des énoncés faux.

Sources

Wiktionnaire (dump du 6 juillet 2026) Licence Creative Commons partage identique
TERMIUM Plus (OGL-C)

Les définitions et étymologies proviennent du Wiktionnaire et sont diffusées sous CC BY-SA 4.0. Elles ont été normalisées et restructurées par sens, sans réécriture du texte. Consulter l'entrée « décidabilité » du Wiktionnaire.