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