In this chapter, we introduce Turing's classic analysis of effective computability. And then – in the next chapter – we will establish the crucial result that the Turing-computable total functions are exactly the μ-recursive functions. This result is fascinating in its own right; it is hugely important historically; and it enables us later to establish some further results about recursiveness and incompleteness in a particularly neat way. So let's dive in without more ado.

The basic conception

Think of executing an algorithmic computation ‘by hand’, using pen and paper. We follow strict rules for writing down symbols in various patterns. To keep things tidy, let's write the symbols neatly one-by-one in the squares of some suitable square-ruled paper. Eventually – assuming that we don't find ourselves carrying on generating output forever – the computation process stops and the result of the computation is left written down in some block of squares on the paper.

Now, Turing suggests, using a two-dimensional grid for writing down the computation is not of the essence. Imagine cutting up the paper into horizontal strips a square deep, and pasting these together into one long tape. We could use that as an equivalent workspace.

Using a rich repertoire of symbols is not of the essence either. Suppose some computational system uses 27 symbols. Number these off using a five-binarydigit code (so the 14th symbol, for example, gets the code ‘01110’). Then divide each of the original squares on our workspace tape into a row of five small cells.