“It is possible to invent a single machine which can be used to compute any computable sequence.”