We saw that recursive functions are programmable. Give a practical proof by showing how they can be programmed in Mathematica.
1. Show in detail how each function defined strictly by primitive recursion (Section 12.1.2) can be programmed in Mathematica. Show that the computation terminates for each value of the arguments.
2. Show how the $\mu$ schema can be programmed in Mathematica.