54
правки
Изменения
м
→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
==Теорема о рекурсии==
Рассмотрим произвольную вычислимую функцию от двух аргументов — <tex>V(x, y)</tex>. Теорема о рекурсии утверждает, что всегда можно найти эквивалентную ей <tex>p(y) = V(p, y)</tex>, которая будет использовать саму себя для вычисления значения. Сформулируем теорему более формально.
{{Теорема
<code>
<tex>p(x){:}</tex>
'''if''' <tex>r(\mathrm{getSrc()})</tex>
'''return''' 1
'''while''' ''true''
