 NB: This section assumes familiarity with some of the terminology introduced in  Section 2  and  Section 3.  Readers looking for a technical overview of recursive functions or computability theory are advised to start there.