Изменения

Определим функцию <tex>f</tex> так: <tex>f(x)=U(x,x)</tex>. Заметим что никакая всюду вычислимая функция не отличается от <tex>f</tex> всюду. <br> Согласно первому утверждению найдется всюду определенное вычислимое <tex>\equiv</tex>-продолжение <tex>g</tex> функции <tex>f</tex>. <br> Определим функцию <tex>t</tex> так: <tex>t(x)=h(g(x))</tex>, где <tex>h</tex> - функция из второго утверждения. <br >Если <tex>f(x) \ne \perp</tex>, то <tex>f(x)=g(x) \ne h(g(x))=t(x)</tex>, т.е. <tex>f(x) \ne t(x)</tex>. Если <tex>f(x)= \perp</tex>, то <tex>f(x) \ne t(x)</tex>, т.к. <tex>ft</tex> - всюду определена. Значит <tex>f</tex> всюду отлична от <tex>t</tex>, противоречие.