Объясните суть проблемы остановки Тьюринга. Опишите доказательство Alan Turing того, что не существует алгоритма, способного определить для произвольной программы и входных данных, завершит ли программу свою работу или зациклится бесконечно. Используйте метод доказательства от противного с диагональным аргументом.