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… ») |
|||
| Ligne 1 : | Ligne 1 : | ||
| − | Où l'on montre que toutes les propriétés non triviales sont indécidables. | + | Où l'on montre que toutes les propriétés non triviales sur les ensembles récursivement énumérables sont indécidables. |
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_rice.tex | Théorème de Rice]] | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_rice.tex | Théorème de Rice]] | ||
Version du 26 avril 2012 à 20:01
Où l'on montre que toutes les propriétés non triviales sur les ensembles récursivement énumérables sont indécidables.
Recasements :
