914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions

Version du 4 novembre 2014 à 13:43

Attention pour le théorème de Rice : \emptyset \not = \{ \emptyset \}