142
правки
Изменения
Нет описания правки
<tex>g(n) = U(i, n)</tex> для некоторого <tex>i</tex>.
<tex>g(i) = U(i, i)</tex>. Поскольку <tex>g(n)</tex> всюду определена, то <tex>U(i, i) \neq \bot</tex> и определено значение <tex>f(i)</tex>. Но тогда по построению функции <tex>f(n)</tex> видим, что <tex>f(i) \neq U(i, i)</tex>. Получили противоречие.
}}
