Click 56_ArretIndecidable_Cours.ppt link to view the file.