Cours 12 : introduction à l’indécidabilité

Photo en CC-By-Nc-Sa lecasio

, par Pierre

Révisions. Preuve de l’indécidabilité de l’arrêt. Intuition du théorème de Rice.

Support de cours

Cours 12 EI
version écran
Cours 12 EI
version papier
Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]