Théorème de Rice : Différence entre versions
De AgregmathKL
(Page créée avec « Où l'on montre que toutes les propriétés non triviales sont indécidables. *24px Théorème de Rice *[[Fichier… ») |
(Aucune différence)
|
Version du 17 avril 2012 à 17:31
Où l'on montre que toutes les propriétés non triviales sont indécidables.
Recasements :