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