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

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

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

Для [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: 04: main() { 05: return V(getSrc(), y) 06: } 07: 08: string getSrc() { 09: string tmp = getOtherSrc(); 10: return (tmp + "string getOtherSrc() {" + \n + "return ... " + tmp + "}"; 11: } 12: 13: string getOtherSrc() { 14: return /* строки с 01 по 12 */ 15: } 16: }

[math]\triangleleft[/math]