 NB: Readers looking for a mathematical overview of recursive functions are advised to start here. Discussion of the historical  context for the major definitions and results of this section can be found in Section 1.