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

Некоторые ключевые следствия тезиса Черча-Тьюринга для развития информатики и теоретической информатики:

• Уточнение понятий «всякого алгоритма» и «вычислимой функции». intuit.ru Тезис вводит точные формальные понятия машины Тьюринга, частично рекурсивного определения и соответствующих им классов функций. intuit.ru
• Возможность осмысленно ставить вопрос о существовании или несуществовании алгоритма, решающего тот или иной класс задач. intuit.ru
• Предполагание, что какие бы новые формальные определения алгоритмов ни были предложены, все они не выйдут из класса алгоритмов, задаваемых машинами Тьюринга. intuit.ru
• Возможность использовать машину Тьюринга для определения пределов вычислительной мощности. dzen.ru Абстрактное устройство может быть адаптировано для воспроизведения логики любого компьютерного алгоритма, особенно эффективно описывает действия центрального процессора внутри компьютера. dzen.ru
• Возможность утверждать, что любое возможное вычисление может быть произведено по известному алгоритму на компьютере, при условии, что тот обладает достаточной скоростью и объёмом памяти. dzen.ru