57
правок
Изменения
Новая страница: «{{В разработке}} {{Теорема |id=th1 |about=О рекурсии |statement=Для <tex>\forall</tex> вычислимой функции от дву…»
{{В разработке}}
{{Теорема
|id=th1
|about=О рекурсии
|statement=Для <tex>\forall</tex> вычислимой функции от двух аргументов <tex>V(x, y)</tex> <tex>\exists</tex> вычислимая функция <tex>r(y) : r(y) = V(r, y).</tex>
|proof=
Пусть <tex>V(x,y)</tex> - любая вычислимая функция. Напишем для нее r(y).
<code><font size = "3em">
r(y) {
V(x,y);
main() {
return V(getSrc(), y)
}
string getSrc() {
string tmp = getOtherSrc();
return (tmp + "string getOtherSrc() {" + \n + "return ... " + tmp + "}";
}
string getOtherSrc() {
return "..."
}
</font></code>
}}
{{Теорема
|id=th1
|about=О рекурсии
|statement=Для <tex>\forall</tex> вычислимой функции от двух аргументов <tex>V(x, y)</tex> <tex>\exists</tex> вычислимая функция <tex>r(y) : r(y) = V(r, y).</tex>
|proof=
Пусть <tex>V(x,y)</tex> - любая вычислимая функция. Напишем для нее r(y).
<code><font size = "3em">
r(y) {
V(x,y);
main() {
return V(getSrc(), y)
}
string getSrc() {
string tmp = getOtherSrc();
return (tmp + "string getOtherSrc() {" + \n + "return ... " + tmp + "}";
}
string getOtherSrc() {
return "..."
}
</font></code>
}}
