Indécidabilité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'un problème de décision indiquant qu'il n'existe aucun algorithme, dans le modèle de calcul choisi, qui s'arrête toujours et décide correctement l'appartenance pour chaque instance d'entrée.