Tag: Calculation

God and Golem, Inc.

Norbert Wiener published a book in 1964 called God and Golem, Inc., voicing concern about the baby he’d birthed with his earlier book Cybernetics.

He explains his intent at the start of God and Golem, Inc. as follows, stating, “I wish to take certain situations which have been discussed in religious books, and have a religious aspect, but possess a close analogy to other situations which belong to science, and in particular to the new science of cybernetics, the science of communication and control, whether in machines or in living organisms. I propose to use the limited analogies of cybernetic situations to cast a little light on the religious situations” (Wiener 8).

Wiener identifies three such “cybernetic situations” to be discussed in the chapters that follow: “One of these concerns machines which learn; one concerns machines which reproduce themselves; and one, the coordination of machine and man” (11).

The section of the book dedicated to “machines which learn” focuses mainly on game-playing machines. Wiener’s primary example of such a machine is a computer built by Dr. A.L. Samuel for IBM to play checkers. “In general,” writes Wiener, “a game-playing machine may be used to secure the automatic performance of any function if the performance of this function is subject to a clear-cut, objective criterion of merit” (25).

Wiener argues that the relationship between a game-playing machine and the designer of such a machine analogizes scenarios entertained in theology, where a Creator-being plays a game with his creature. God and Satan play such a game in their contest for the soul of Job, as they do for “the souls of mankind in general” in Paradise Lost. This leads Wiener to the question guiding his inquiry. “Can God play a significant game with his own creature?” he asks. “Can any creator, even a limited one, play a significant game with his own creature?” (17). Wiener believes it possible to conceive of such a game; however, to be significant, he argues, this game would have to be something other than a “von Neumann game” — for in the latter type of game, the best policy for playing the game is already known in advance. In the type of game Wiener is imagining, meanwhile, the game’s creator would have to have arrogated to himself the role of a “limited” creator, lacking total mastery of the game he’s designed. “The conflict between God and the Devil is a real conflict,” writes Wiener, “and God is something less than absolutely omnipotent. He is actually engaged in a conflict with his creature, in which he may very well lose the game” (17).

“Is this because God has allowed himself to undergo a temporary forgetting?,” wonders Caius. “Or is it because, built into the game’s design are provisions allowing the game’s players to invent the game’s rules as they play?”

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).