indécidable
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Notes :
Gödel a montré que toute théorie axiomatique des nombres entiers inclut des propositions indécidables, c'est-à-dire des propositions que l'on peut rajouter, elles ou leur négation, à la théorie sans rendre celle-ci contradictoire.
Il a été démontré par Church que le calcul des prédicats du premier ordre est indécidable, c'est-à-dire qu'il n'existe pas d'algorithme général permettant d'établir qu'une expression bien formée est ou n'est pas valide. Il existe donc une limite théorique absolue aux possibilités de mécanisation de la logique du premier ordre, et donc des machines qui l'utilisent.
Terme privilégié :
- indécidable adj.
-
Contraire de décidable, du latin decidere, « trancher ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- undecidable