Alan Turing a prouvé en 1936 qu'il n'existe pas d'algorithme général pour résoudre le problème d'arrêt de toutes les paires possibles d'entrées-programmes.
C'est évidemment impossible et a été utilisé par Alan Turing en 1936 pour prouver qu'il n'y a pas de programme qui résout le problème de l'arrêt.