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

KV>Посередине между теоремой останова и теоремой Райса находится ещё одна теорема, чуть более общая, чем первая и чуть менее, чем вторая. Это теорема о самоприменимости алгоритмов. Под самоприменимостью здесь подразумевается способность алгоритма корректно отработать в ситуации, когда входными данными для него является его собственное формальное описание...
KV>Сами посчитаете, сколько раз в этой цитате упомянута та самая диагональная конструкция, доказывающая в т.ч. неразрешимость проблемы самоприменимости?
Сколько раз в жизни ты пропускал через себя формальное описание себя?