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… ») |
|||
| (Une révision intermédiaire par un autre utilisateur non affichée) | |||
| 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]] | ||
| Ligne 8 : | Ligne 8 : | ||
* [[914 -- Décidabilité et indécidabilité. Exemples.]] | * [[914 -- Décidabilité et indécidabilité. Exemples.]] | ||
* [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]] | * [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]] | ||
| + | |||
| + | [[Category: Développement de la leçon 913]] | ||
| + | [[Category: Développement de la leçon 914]] | ||
| + | [[Category: Développement de la leçon 922]] | ||
Version actuelle en date du 26 février 2015 à 21:17
Où l'on montre que toutes les propriétés non triviales sur les ensembles récursivement énumérables sont indécidables.
Recasements :
