Cours 12 : introduction à l’indécidabilité
Photo en CC-By-Nc-Sa lecasio
, par
Révisions. Preuve de l’indécidabilité de l’arrêt. Intuition du théorème de Rice.
Photo en CC-By-Nc-Sa lecasio
, par
Révisions. Preuve de l’indécidabilité de l’arrêt. Intuition du théorème de Rice.