1 Matching Annotations
  1. Jun 2016
    1. 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)

      les oracles pour répondre au non-calculable, non-computationnel.