Content deleted Content added
→Definition: Changed definition of the function returned by the ρ operator to use the cases environment |
m →Definition: \(f\) was missing the \(y'\) argument -- that's what makes it loop downward in the first place. |
||
Line 31:
f(y, x_1, \dots, x_k) &= \begin{cases}
g(x_1, \dots, x_k) & \text{if } y=0 \\
h(y', f(y', x_1, \dots, x_k) ,x_1, \dots, x_k) & \text{if } y=S(y') \text{ for a } y' \in \mathbb{N} \\
\end{cases}
\end{align}</math>
| |||