  As put by Gandy (1988), Turing's paper was ‘a paradigm of philosophical analysis,’ refining a vague notion into a precise definition. But it was more than being an analysis within the world of mathematical logic: in Turing's thought the question that constantly recurs both theoretically and practically is the relationship of the logical Turing machine to the physical world. 