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

KV>·>Теорема самоприменимости тривиально сводится к теореме нулеприменимости.
KV>Приведи плс точную формулировку и доказательство этой "теоремы нулеприменимости"
Твоё объяснение понятия "корректности" равносильно тому, что алгоритм останавливается при неком входе. Поэтому нулеприменимость будет звучать как "задача об останове алгоритма со входом ноль — алгоритмически неразрешима". Доказывается точно так же как и проблема останова, что не так уж и сложно.
Как я понял, ты имеешь в виду что самоприменимость может помочь доказать что-то проще, чем проблема останова. Но так я и не понял что именно упрощается и каким конкретно образом.