Undecidable

Le Undecidable a plus d'un signifier :

Dans la logique mathématique :
Un problème de décision s'appelle (périodiquement) undecidable si aucun algorithme ne peut le décider, comme pour le problème d'arrêt de de s de Turing le ' ; voir également sous le que l'on peut décider.
" ; Undecidable" ; est parfois employé comme synonyme de " ; " indépendant du ; , où une formule dans la logique mathématique est indépendant d'une théorie logique si ni cette formule ni sa négation ne peut être montrée dans la théorie.

; Voir également le
que l'on peut décider
Liste de des problèmes undecidable

Random links: