Изменения

Перейти к: навигация, поиск

Теорема о рекурсии

1 байт добавлено, 22:40, 2 января 2017
Теорема о рекурсии
|author=Клини
|about=о рекурсии / ''Kleene's recursion theorem''
|statement= Пусть <tex>V(n, x)</tex> {{---}} [[Вычислимые функции|вычислимая функция]]. Тогда найдётся такая вычислимая <tex>p</tex>, что <tex>\forall y:</tex> <tex>p(y) = V(p, y)</tex>.
|proof=
Приведем конструктивное доказательство теоремы.
Анонимный участник

Навигация