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

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

KV>·>Поэтому нулеприменимость будет звучать как "задача об останове алгоритма со входом ноль — алгоритмически неразрешима". Доказывается точно так же как и проблема останова, что не так уж и сложно.
KV>Она не может доказываться точно так же, поскольку в твоём случае у алгоритма нет входа, а, следовательно, нет и возможности построить диагональную конструкцию, показывающую существование противоречия.
Погоди. "Задача алгоритмически неразрешима" означает, например, что невозможно построить некий алгоритм который берёт на вход другой алгоритм А и выводит "да/нет" в зависимости от того, обладает ли А неким неразрешимым свойством. Наличие входа у А — необязательно. Иными словами, ты не можешь написать программу, которая проанализирует текст на некоем тьюринг-полном ЯП и некое входное слово для него и скажет — завсает ли он или на этом слове или нет, и не важно, какое именно слово и вообще есть ли в этом тексте чтение самого слова или оно тупо игнорируется.
Поэтому без разницы — берёт ли A на вход представление себя, ноль или вообще ничего.

KV>·>Как я понял, ты имеешь в виду что самоприменимость может помочь доказать что-то проще, чем проблема останова. Но так я и не понял что именно упрощается и каким конкретно образом.
KV>Нет, я имею в виду не это. Только что ведь объяснял Если бы самоприменимость оказалась разрешимым свойством всякого алгоритма, то это позволило бы доказать тезис Чёрча-Тьюринга. Поэтому было важно получить доказательство (не-)разрешимости такого свойства и поэтому данная теорема представляет практический интерес.
Так и разрешимость проблемы останова так же бы позволила доказать этот тезис. Иначе говоря, проблемы самоприменимости и нулеприменимости тривиально сводятся к проблеме останова. Зачем они нужны-то? Выльем воду из чайника и сведём задачу к предыдущей.