KV>·>Сделаем замену KV>·>"Под нулеприменимостью здесь подразумевается способность алгоритма корректно отработать в ситуации, когда входными данными для него является нуль. Данная теорема утверждает, что алгоритмы, решающие проблему нулеприменимости, не могут существовать." KV>·>Что изменилось, кроме того, что стало чуть проще? KV>Изменилось то, что доказательство этой теоремы не представляет никакого практического интереса, в отличие от вопроса самоприменимости.
Теорема самоприменимости тривиально сводится к теореме нулеприменимости. А теорема нулеприменимости доказывается проще, не надо заморачиваться с формализацией того, как именно можно выразить описание самого себя. Вот тебе и практический интерес.
но это не зря, хотя, может быть, невзначай
гÅрмония мира не знает границ — сейчас мы будем пить чай
