In Chapter 1 Turing proves the existence of mathematical problems that cannot be solved by the universal Turing machine. There he also advances the thesis, now called the Church–Turing thesis, that any systematic method for solving mathematical problems can be carried out by the universal Turing machine. Combining these two propositions yields the result that there are mathematical problems which cannot be solved by any systematic method—cannot, in other words, be solved by any algorithm. In ‘Solvable and Unsolvable Problems’ Turing sets out to explain this result to a lay audience. The article first appeared in Science News, a popular science journal of the time. Starting from concrete examples of problems that do admit of algorithmic solution, Turing works his way towards an example of a problem that is not solvable by any systematic method. Loosely put, this is the problem of sorting puzzles into those that will ‘come out’ and those that will not. Turing gives an elegant argument showing that a sharpened form of this problem is not solvable by means of a systematic method (pp. 591–2). The sharpened form of the problem involves what Turing calls ‘the substitution type of puzzle’. An typical example of a substitution puzzle is this. Starting with the word BOB, is it possible to produce BOOOB by replacing selected occurrences of the pair OB by BOOB and selected occurences of the triple BOB by O? The answer is yes: . . . BOB → BBOOB → BBOBOOB → BOOOB . . .Turing suggests that any puzzle can be re-expressed as a substitution puzzle. Some row of letters can always be used to represent the ‘starting position’ envisaged in a particular puzzle, e.g. in the case of a chess problem, the pieces on the board and their positions. Desired outcomes, for example board positions that count as wins, can be described by further rows of letters, and the rules of the puzzle, whatever they are, are to be represented in terms of permissible substitutions of groups of letters for other groups of letters.
Unsolvable problems for equational theories.
