Théorème de Rice

On prouve le théorème de Rice, et on rajoute à la fin un contre-exemple pour bien faire sentir ce que le théorème dit réellement : les propriétés doivent concerner le langage lui-même, pas la machine de Turing ni la manière dont elle exécute les calculs. Recasable avec 4* dans la leçon 913.

$L_{\in}$ est indécidable, puis théorème de Rice en corollaire