Изменения
Нет описания правки
==Теорема о рекурсии==
Давайте рассмотрим произвольную вычислимую функцию от двух аргументов - <tex>V(x, y)</tex>. Теорема о рекурсии утверждает, что всегда можно найти эквивалентную ей <tex>p(y) = V(p, y)</tex>, которая будет использовать саму себя для вычисления значения.
{{Теорема
|id=th1
}
}}
Приведем так же альтернативую формулировку теоремы и альтернативное (неконструктивное) доказательство.