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