142
правки
Изменения
Новая страница: «{{Лемма |statement= Существует вычислимая функция, не имеющая всюду определенного вычислимого …»
{{Лемма
|statement=
Существует вычислимая функция, не имеющая всюду определенного вычислимого продолжения.
|proof=
Рассмотрим функцию <tex>f(n) = U(n, n) + 1</tex>.
}}
|statement=
Существует вычислимая функция, не имеющая всюду определенного вычислимого продолжения.
|proof=
Рассмотрим функцию <tex>f(n) = U(n, n) + 1</tex>.
}}
