To solve one of the great mathematical problems of his day, Alan Turing proposed an imaginary programmable calculating machine. But the idea of actually producing a "Turing machine"