Suppose that \(f(\vec x)\), and \(g(\vec x, y,z)\) are computable functions, where \(\vec x = (x_1, \dots, x_n)\);
Then the function \(h(\vec x,y)\) obtained from \(f\) and \(g\) by recursion is computable!
2020-12-31 Beginning at the End