Lectures on the Philosophy of Mathematics

by Joel David Hamkins

which has the meaning: When in state q and reading symbol a, then change to state r, write symbol b, and move one cell in direction d. A Turing-machine program is simply a list of finitely many such instructions.