Il en appelait à des « oracles » : With the help of the oracle we could form a new kind of machine (call them o-machines), having as one of its fundamental processes that of solving a given number-theoretic problem. (Turing, 1939 : 161)