Théorème de Rice : Différence entre versions
De AgregmathKL
| 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 à 22:17
Où l'on montre que toutes les propriétés non triviales sur les ensembles récursivement énumérables sont indécidables.
Recasements :
