Алан Тьюринг не доказывал, что машина, способная обрабатывать потоки из 0 и 1, может решить любую задачу.
В 1936 году он опубликовал работу, в которой ввёл абстрактное вычислительное устройство — машину Тьюринга. Это теоретическая модель, способная выполнять любую вычислимую функцию, то есть любые задачи, которые могут быть формализованы в виде алгоритма.