Изменения
→Теорема о рекурсии
string src = getOtherSrc()
return src + "string getOtherSrc():" + "\n" + "return" + src + "\n"
Иначе говоря, если рассмотреть <tex>V(x, y)</tex>, как программу, использующую x в качестве исходного кода и выполняющую действие над y, то теорема о рекурсии показывает, что мы можем написать эквивалентную ей программу <tex>p(y) = V(p, y)</tex>, которая будет использовать собственный исходный код.