Объясните суть проблемы остановки (Halting Problem): можно ли создать алгоритм, который по описанию любой другой программы и ее входных данных определит, завершит ли эту программу работу или она будет работать бесконечно. Приведите доказательство Алана Тьюринга того, что такая задача алгоритмически неразрешима, используя метод доказательства от противного.