Алан Тьюринг доказал в 1936 году, что не может существовать общий алгоритм для решения проблемы остановки для всех возможных пар программа-ввод. Мы говорим, что проблема остановки неразрешима для машин Тьюринга.
Очевидно, что это невозможно, и это было использовано Аланом Тьюрингом в 1936 году, чтобы доказать, что не существует программы, решающей проблему остановки.