914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions
De AgregmathKL
(Page créée avec « Attention pour le théorème de Rice : \emptyset \not = \{ \emptyset \} ») |
|||
| Ligne 1 : | Ligne 1 : | ||
Attention pour le théorème de Rice : | Attention pour le théorème de Rice : | ||
| − | \emptyset \not = \{ \emptyset \} | + | <math> \emptyset \not = \{ \emptyset \} </math> |
Version du 4 novembre 2014 à 13:45
Attention pour le théorème de Rice :
