Теоретические машины могут вычислять любую математическую функцию

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