Vincent Guirardel - Le problème de l'arrêt d'une machine de Turing
Channel: Centre Henri Lebesgue
Date: 21/09/2016

Peut-on savoir à l'avance si un programme d'ordinateur va s'arrêter, ou s'il va boucler à l'infini ? Dans les années 30, Church et Turing ont démontré qu'il n'existait pas d'algorithme qui répond à cette question... avant même l'existence des ordinateurs.