Halting Problem : des problèmes insolubles

Cette séance de cours traite du concept de problèmes insolubles dans les algorithmes, en se concentrant sur le problème d'arrêt introduit par Turing. Il présente une esquisse de preuve démontrant qu'il ne peut pas y avoir de procédure pour déterminer si un programme va s'arrêter. La séance de cours se termine en soulignant les limites des algorithmes dans la résolution de chaque problème.