Théorème de Rice : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(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 :