Здравствуйте, ·, Вы писали:

·>Сделаем замену
·>"Под нулеприменимостью здесь подразумевается способность алгоритма корректно отработать в ситуации, когда входными данными для него является нуль. Данная теорема утверждает, что алгоритмы, решающие проблему нулеприменимости, не могут существовать."
·>Что изменилось, кроме того, что стало чуть проще?

Изменилось то, что доказательство этой теоремы не представляет никакого практического интереса, в отличие от вопроса самоприменимости. Если бы существовал алгоритм, решающий эту проблему на всём множестве существующих алгоритмов, то мы могли бы сформулировать его в терминах машины Тьюринга, в терминах лямбда-исчисления, в терминах любой другой вычислительной модели. И подать на вход каждой его реализации каждую из этих реализаций. И положительный ответ об их самоприменимости фактически доказал бы тезис Чёрча-Тьюринга.