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.