Computer Science is no more about computers than astronomy is about telescopes.
Edsger W. Dijkstra


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