Séance de cours
Halting Problem : des problèmes insolubles
Description
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.