Изменения
→Теорема о рекурсии
==Теорема о рекурсии==
Это теорема является очень полезной, применяется во многих языках программирования. P. S. Ильнар Сабирзянов
Рассмотрим произвольную вычислимую функцию от двух аргументов — <tex>V(x, y)</tex>. Теорема о рекурсии утверждает, что всегда можно найти эквивалентную ей <tex>p(y) = V(p, y)</tex>, которая будет использовать саму себя для вычисления значения. Сформулируем теорему более формально.
{{Теорема
