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