Read Gödel, Escher, Bach: An Eternal Golden Braid Online

Authors: Douglas R. Hofstadter

Tags: #Computers, #Art, #Classical, #Symmetry, #Bach; Johann Sebastian, #Individual Artists, #Science, #Science & Technology, #Philosophy, #General, #Metamathematics, #Intelligence (AI) & Semantics, #G'odel; Kurt, #Music, #Logic, #Biography & Autobiography, #Mathematics, #Genres & Styles, #Artificial Intelligence, #Escher; M. C

Gödel, Escher, Bach: An Eternal Golden Braid (7 page)

BOOK: Gödel, Escher, Bach: An Eternal Golden Braid
9.41Mb size Format: txt, pdf, ePub
ads

Unfortunately, her use of the present tense was misleading, for no A.E. was ever built, and Babbage died a bitterly disappointed man.

Lady Lovelace, no less than Babbage, was profoundly aware that with the invention of the Analytical Engine, mankind was flirting with mechanized intelligence-particularly if the Engine were capable of "eating its own tail" (the way Babbage described the Strange Loop created when a machine reaches in and alters its own stored program). In an 1842

memoir,5 she wrote that the A.E. "might act upon other things besides number". While Babbage dreamt of creating_ a chess or tic-tac-toe automaton, she suggested that his Engine, with pitches and harmonies coded into its spinning cylinders, "might compose elaborate and scientific pieces of music of any degree of complexity or extent." In nearly the same breath, however, she cautions that "The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform."

Though she well understood the power of artificial computation, Lady Lovelace was skeptical about the artificial creation of intelligence. However, could her keen insight allow her to dream of the potential that would be opened up with the taming of electricity?

In our century the time was ripe for computers-computers beyond the wildest dreams of Pascal, Leibniz, Babbage, or Lady Lovelace. In the 1930's and 1940's, the first "giant electronic brains" were designed and built. They catalyzed the convergence of three previously disparate areas: the theory of axiomatic reasoning, the study of mechanical computation, and the psychology of intelligence.

These same years saw the theory of computers develop by leaps and bounds. This theory was tightly linked to metamathematics. In fact, Godel's Theorem has a counterpart in the theory of computation, discovered by Alan Turing, which reveals the existence of inelucPable "holes" in even the most powerful computer imaginable.

Ironically, just as these somewhat eerie limits were being mapped out, real computers were being built whose powers seemed to grow and grow beyond their makers' power of prophecy. Babbage, who once declared he would gladly give up the rest of his life if he could come back in five hundred years and have a three-day guided scientific tour of the new age, would probably have been thrilled speechless a mere century after his death-both by the new machines, and by their unexpected limitations.

By the early 1950's, mechanized intelligence seemed a mere stone's throw away; and yet, for each barrier crossed, there always cropped up some new barrier to the actual creation of a genuine thinking machine. Was there some deep reason for this goal's mysterious recession?

No one knows where the borderline between non-intelligent behavior and intelligent behavior lies; in fact, to suggest that a sharp borderline exists is probably silly. But essential abilities for intelligence are certainly:

to respond to situations very flexibly;

to take advantage of fortuitous circumstances;

to make sense out of ambiguous or contradictory messages;

to recognize the relative importance of different elements of a

situation;

to find similarities between situations despite differences which may separate them; to draw distinctions between situations despite similarities may link them; to synthesize new concepts by taking old them together in new ways; to come up with ideas which are novel.

Here one runs up against a seeming paradox. Computers by their very nature are the most inflexible, desireless, rule-following of beasts. Fast though they may be, they are nonetheless the epitome of unconsciousness. How, then, can intelligent behavior be programmed? Isn't this the most blatant of contradictions in terms? One of the major theses of this book is that it is not a contradiction at all. One of the major purposes of this book is to urge each reader to confront the apparent contradiction head on, to savor it, to turn it over, to take it apart, to wallow in it, so that in the end the reader might emerge with new insights into the seemingly unbreathable gulf between the formal and the informal, the animate and the inanimate, the flexible and the inflexible.

This is what Artificial Intelligence (A1) research is all about. And the strange flavor of AI work is that people try to put together long sets of rules in strict formalisms which tell inflexible machines how to be flexible.

What sorts of "rules" could possibly capture all of what we think of as intelligent behavior, however? Certainly there must be rules on all sorts of

different levels. There must be many "just plain" rules. There must be "metarules" to modify the "just plain" rules; then "metametarules" to modify the metarules, and so on.

The flexibility of intelligence comes from the enormous number of different rules, and levels of rules. The reason that so many rules on so many different levels must exist is that in life, a creature is faced with millions of situations of completely different types. In some situations, there are stereotyped responses which require "just plain" rules. Some situations are mixtures of stereotyped situations-thus they require rules for deciding which of the 'just plain" rules to apply. Some situations cannot be classified-thus there must exist rules for inventing new rules ... and on and on. Without doubt, Strange Loops involving rules that change themselves, directly or indirectly, are at the core of intelligence. Sometimes the complexity of our minds seems so overwhelming that one feels that there can be no solution to the problem of understanding intelligence-that it is wrong to think that rules of any sort govern a creature's behavior, even if one takes "rule"

in the multilevel sense described above.

...and Bach

In the year 1754, four years after the death of J. S. Bach, the Leipzig theologian Johann Michael Schmidt wrote, in a treatise on music and the soul, the following noteworthy passage:

Not many years ago it was reported from France that a man had made a statue that could play various pieces on the Fleuttraversiere, placed the flute to its lips and took it down again, rolled its eyes, etc. But no one has yet invented an image that thinks, or wills, or composes, or even does anything at all similar. Let anyone who wishes to be convinced look carefully at the last fugal work of the above-praised Bach, which has appeared in copper engraving, but which was left unfinished because his blindness intervened, and let him observe the art that is contained therein; or what must strike him as even more wonderful, the Chorale which he dictated in his blindness to the pen of another: Wenn wir in hochsten Nothen seen. I am sure that he will soon need his soul if he wishes to observe all the beauties contained therein, let alone wishes to play it to himself or to form a judgment of the author. Everything that the champions of Materialism put forward must fall to the ground in view of this single example.6

Quite likely, the foremost of the "champions of Materialism" here alluded to was none other than Julien Offroy de la Mettrie-philosopher at the court of Frederick the Great, author of L'homme machine ("Man, the Machine"), and Materialist Par Excellence. It is now more than 200 years later, and the battle is still raging between those who agree with Johann Michael Schmidt, and those who agree with Julien Offroy de la Mettrie. I hope in this book to give some perspective on the battle.

"Godel, Escher, Bach"

The book is structured in an unusual way: as a counterpoint between Dialogues and Chapters. The purpose of this structure is to allow me to

present new concepts twice: almost every new concept is first presented metaphorically in a Dialogue, yielding a set of concrete, visual images; then these serve, during the reading of the following`Chapter, as an intuitive background for a more serious and abstract presentation of the same concept. In many of the Dialogues I appear to be talking about one idea on the surface, but in reality I am talking about some other idea, in a thinly disguised way.

Originally, the only characters in my Dialogues were Achilles and the Tortoise, who came to me from Zeno of Elea, by way of Lewis Carroll. Zeno of Elea, inventor of paradoxes, lived in the fifth century B.C. One of his paradoxes was an allegory, with Achilles and the Tortoise as protagonists. Zeno's invention of the happy pair is told in my first Dialogue, Three-Part Invention. In 1895, Lewis Carroll reincarnated Achilles and the Tortoise for the purpose of illustrating his own new paradox of infinity. Carroll's paradox, which deserves to be far better known than it is, plays a significant role in this book.

Originally titled "What the Tortoise Said to Achilles", it is reprinted here as Two-Part Invention.

When I began writing Dialogues, somehow I connected them up with musical forms. I don't remember the moment it happened; I just remember one day writing "Fugue" above an early Dialogue, and from then on the idea stuck. Eventually I decided to pattern each Dialogue in one way or another on a different piece by Bach. This was not so inappropriate. Old Bach himself used to remind his pupils that the separate parts in their compositions should behave like "persons who conversed together as if in a select company". I have taken that suggestion perhaps rather more literally than Bach intended it; nevertheless I hope the result is faithful to the meaning. I have been particularly inspired by aspects of Bach's compositions which have struck me over and over, and which are so well described by David and Mendel in The Bach Reader: His form in general was based on relations between separate sections. These relations ranged from complete identity of passages on the one hand to the

return of a single principle of elaboration or a mere thematic allusion on the other. The resulting patterns were often symmetrical, but by no means

necessarily so. Sometimes the relations between the various sections make up a maze of interwoven threads that only detailed analysis can unravel. Usually, however, a few dominant features afford proper orientation at first sight or hearing, and while in the course of study one may discover unending sub

tleties, one is never at a loss to grasp the unity that holds together every single creation by Bach.'

I have sought to weave an Eternal Golden Braid out of these three strands: Godel, Escher, Bach. I began, intending to write an essay at the core of which would be Godel's Theorem. I imagined it would be a mere pamphlet. But my ideas expanded like a sphere, and soon touched Bach and Escher. It took some time for me to think of making this connection explicit, instead of just letting it be a private motivating force. But finally 1

realized that to me, Godel and Escher and Bach were only shadows cast in different directions by some central solid essence. I tried to reconstruct the central object, and came up with this book.

Three-Part Invention

Achilles (a Greek warrior, the fleetest of foot of all mortals) and a Tortoise are
standing together on a dusty runway in the hot sun. Far down the runway, on a
tall flagpole, there hangs a large rectangular flag. The flag is sold red, except
where a thin ring-shaped holes has been cut out of it, through which one can see
the sky.

ACHILLES: What is that strange flag down at the other end of the track? It reminds me somehow of a print by my favourite artists M.C. Escher.

TORTOISE: That is Zeno’ s flag

ACHILLES: Could it be that the hole in it resembles the holes in a Mobian strip Escher once drew? Something is wrong about the flag, I can tell.

TORTOISE: The ring which has been cut from it has the shape of the numeral for zero, which is Zenoś favourite number.

ACHILLES: The ring which hasn´t been invented yet! It will only be invented by a Hindu mathematician some millennia hence. And thus, Mr. T, mt argument proves that such a flag is impossible.

TORTOISE: Your argument is persuasive, Achilles, and I must agree that such a flag is indeed impossible. But it is beautiful anyway, is it not?

ACHILLES: Oh, yes, there is no doubt of its beauty.

TORTOISE: I wonder if itś beauty is related to itś impossibility. I don´t know, I´ve never had the time to analyze Beauty. Itś a Capitalized Essence, and I never seem to have time for Capitalized Essences.

ACHILLES: Speaking of Capitalized Essences, Mr. T, have you ever wondered about the Purpose of Life?

TORTOISE: Oh, heavens, no;

ACHILLES: Haven’t you ever wondered why we are here, or who invented us?

TORTOISE: Oh, that is quite another matter. We are inventions of Zeno (as you will shortly see) and the reason we are here is to have a footrace.

ACHILLES::: A footrace? How outrageous! Me, the fleetest of foot of all mortals, versus you, the ploddingest of the plodders! There can be no point to such a race.

TORTOISE: You might give me a head start.

ACHILLES: It would have to be a huge one.

TORTOISE: I don’t object.

ACHILLES: But I will catch you, sooner or later – most likely sooner.

TORTOISE: Not if things go according to Zenoś paradox, you won’t. Zeno is hoping to use our footrace to show that motion is impossible, you see. It is only in the mind that motion seems possible, according to Zeno. In truth, Motion Is Inherently Impossible. He proves it quite elegantly.

BOOK: Gödel, Escher, Bach: An Eternal Golden Braid
9.41Mb size Format: txt, pdf, ePub
ads

Other books

Domes of Fire by David Eddings
A Wedding Quilt for Ella by Jerry S. Eicher
Skylar’s Devotion by Marisa Chenery
Stranglehold by Robert Rotenberg
The Comet Seekers: A Novel by Helen Sedgwick
Demon Jack by Donovan, Patrick
A Man of Affairs by John D. MacDonald
The Importance of Being Dangerous by David Dante Troutt