O-Machines

In his dissertation, completed in 1938, Alan Turing sought “ways to escape the limitations of closed formal systems and purely deterministic machines” (Dyson, Turing’s Cathedral, p. 251) like the kind he’d imagined two years earlier in his landmark essay “On Computable Numbers.” As George Dyson notes, Turing “invoked a new class of machines that proceed deterministically, step by step, but once in a while make nondeterministic leaps, by consulting ‘a kind of oracle as it were’” (252).

“We shall not go any further into the nature of this oracle,” wrote Turing, “apart from saying that it cannot be a machine.” But, he adds, “With the help of the oracle we could form a new kind of machine (call them O-machines)” (“Systems of Logic Based on Ordinals,” pp. 172-173).

James Bridle pursues this idea in his book Ways of Being.

“Ever since the development of digital computers,” writes Bridle, “we have shaped the world in their image. In particular, they have shaped our idea of truth and knowledge as being that which is calculable. Only that which is calculable is knowable, and so our ability to think with machines beyond our own experience, to imagine other ways of being with and alongside them, is desperately limited. This fundamentalist faith in computability is both violent and destructive: it bullies into little boxes what it can and erases what it can’t. In economics, it attributes value only to what it can count; in the social sciences it recognizes only what it can map and represent; in psychology it gives meaning only to our own experience and denies that of unknowable, incalculable others. It brutalizes the world, while blinding us to what we don’t even realize we don’t know” (177).

“Yet at the very birth of computation,” he adds, “an entirely different kind of thinking was envisaged, and immediately set aside: one in which an unknowable other is always present, waiting to be consulted, outside the boundaries of the established system. Turing’s o-machine, the oracle, is precisely that which allows us to see what we don’t know, to recognize our own ignorance, as Socrates did at Delphi” (177).