Turing, symbol manipulation, and computation
One often finds computation described as having originated with Alan Turing and as symbol manipulation. Yet, Turing imposed certain sorts of finiteness conditions on computations, such as that a program must be finite in length. These finiteness conditions are not captured in the description of computation as symbol manipulation. So, …