313
правок
Изменения
→Сложение
==== Сложение ====
<tex> \mathrm{sum}(x, y) = \mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x,y)</tex>, где
<tex> \mathrm{f}(x) = x </tex>
<tex> \mathrm{g}(x, y, z) = \mathrm{N}(z) </tex>
<tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x,y) = \left\{\begin{array}{ll}
\mathrm{f}(x) & y = 0\\
\mathrm{g}(x, y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0
\end{array}\right.</tex>
Можно преобразовать в более простой вид, заменив функции <tex> \mathrm{f} </tex>, <tex> \mathrm{g} </tex> и <tex>\mathrm{R}</tex>.
<tex> \mathrm{sum}(x,0) = x </tex>
