μ-Recursive functions

Abstract

This chapter introduces the notion of a μ -recursive function – which is a natural extension of the idea of a primitive recursive function. Plausibly, the effectively computable functions are exactly the μ -recursive functions (and likewise, the effectively decidable properties are exactly those with μ -recursive characteristic functions). Minimization and μ -recursive functions The primitive recursive functions are the functions which can be defined using composition and primitive recursion , starting from the successor, zero, and identity functions. These functions are computable. But they are not the only computable functions defined over the natural numbers (see Section 14.5 for the neat diagonal argument which proves this). So the natural question to ask is: what other ways of defining new functions from old can we throw into the mix in order to get a broader class of computable numerical functions (hopefully, to get all of them)? As explained in Section 14.4, p.r. functions can be calculated using bounded loops (as we enter each ‘for’ loop, we state in advance how many iterations are required). But as Section 4.6 illustrates, we also count unbounded search procedures – implemented by ‘do until’ loops – as computational. So, the obvious first way of extending the class of p.r. functions is to allow functions to be defined by means of some sort of ‘do until’ procedure. We'll explain how to do this in four steps.