Машина Тьюринга может вычислить любую вычислимую последовательность

Ваш невероятно дорогой ноутбук — это, по сути, всего лишь теоретический мысленный эксперимент тридцатых годов. Алан Тьюринг доказал, что гипотетическая машина, читающая и записывающая символы на бесконечной ленте, может решить любую вычислимую последовательность. Каждое современное цифровое приложение — это лишь значительно усложненная версия этой воображаемой бесконечной ленты.