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

Эта статья находится в разработке!

Теорема (О рекурсии):

Для [math]\forall[/math] вычислимой функции от двух аргументов [math]V(x, y)[/math] [math]\exists[/math] вычислимая функция [math]r(y) : r(y) = V(r, y).[/math]

Доказательство:

[math]\triangleright[/math]

Пусть [math]V(x,y)[/math] - любая вычислимая функция. Напишем для нее r(y). 01: r(y) { 02: V(x,y); 03: main() { 04: return V(getSrc(), y) 05: } 06: string getSrc() { 07: string tmp = getOtherSrc(); 08: return (tmp + "string getOtherSrc() {" + \n + "return ... " + tmp + "}"; 09: } 10: string getOtherSrc() { 11: return /* строки с 01 по 09 */ 12: } 13: }

[math]\triangleleft[/math]