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