Séance de cours
Théorie de la calculabilité et problème d'arrêt
Description
Cette séance de cours présente la théorie de la calculabilité, en se concentrant sur les problèmes de décision qui nécessitent une réponse «oui» ou «non» pour chaque valeur. L'instructeur explique le problème d'arrêt, qui se demande si un algorithme se terminera dans un temps fini. La démonstration de Turing en 1936 montre qu'un algorithme prédisant cela n'existe pas.
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.