Изменения
Нет описания правки
|author=1
|statement=
Существует [[Вычислимые функции#Основные определения | вычислимая функция]], не имеющая всюду определенного вычислимого продолжения.
|proof=
Рассмотрим функцию <tex>f(n) = U(n, n) + 1</tex>, где <tex>U(n, n)</tex> {{---}} [[Диагональный метод|универсальная функция]].
|author=2
|statement=
Существует [[Вычислимые функции#Основные определения | вычислимая функция]], значения которой принадлежат множеству <tex>\{0, 1, \bot\}</tex>, не имеющая всюду определенного вычислимого продолжения.
|proof=
Рассмотрим функцию
}}
== Литература Источники информации ==
*Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции.— М.: МЦНМО, 1999. с. 20, с. 68. ISBN 5-900916-36-7 [[Категория: Теория формальных языков]][[Категория: Теория вычислимости]]
