Сформулируйте проблему остановки (Halting Problem) для машины Тьюринга. Приведите теоретическое доказательство (например, через метод диалектической редукции к противоречию или с использованием самоприменимости), демонстрирующее, что не существует алгоритма, способного определить для любой произвольной программы и её входных данных, завершит ли программу свою работу или зациклится.