Как машина Тьюринга связана с развитием теории вычислимости и информатики?

Машина Тьюринга связана с развитием теории вычислимости и информатики следующим образом:

Изначально она была разработана как теоретический инструмент для изучения границ вычислимости и доказательства невозможности существования алгоритмов для решения некоторых задач. ru.wikipedia.org

Со временем машина Тьюринга стала фундаментальной моделью в теории сложности алгоритмов, служа удобным инструментом для формального исследования алгоритмов. ru.wikipedia.org С её помощью можно оценивать временную сложность выполнения алгоритмов и объём памяти, требуемый для вычислений, включая абстрактную оценку, применимую к реальным вычислительным системам. ru.wikipedia.org

Работы Тьюринга положили начало математической теории вычислений, а вычислимость при помощи машины Тьюринга стала признанным определением процедуры. math.spbu.ru

Кроме того, тезис Чёрча-Тьюринга, сформулированный на основе машины Тьюринга, говорит о том, что любой алгоритм можно запрограммировать на машине Тьюринга. neerc.ifmo.ru