Théorème de Rice

De AgregmathKL

Révision de 17 avril 2012 à 17:31 par Kevin (discuter | contributions) (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… »)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

Où l'on montre que toutes les propriétés non triviales sont indécidables.

Recasements :

Récupérée de « https://minerve.ens-rennes.fr/index.php?title=Théorème_de_Rice&oldid=547 »