Читаем I Am a Strange Loop полностью

As the brazen alien is being prepared to meet a dire fate, a commotion suddenly breaks out among the Klüdgerot; they have plumb forgotten the age-old and venerated Klüdgerot tradition of holding a Pre-dishing-out-ofdire-fate Banquet! A team is dispatched to pick the sweetest of all PM strings from the Principial Planetary Park of Wööw, a sacred sanctuary into which no Klüdgerot has ever ventured before; when it returns with a fine harvest of succulent strings from Wööw, each of which clearly reads “I am edible”, it is greeted by a hail of thunderous applause. After the Klüdgerot have expressed their gratitude to Göd, the traditional Pre-dishing-out-ofdire-fate Banquet begins, and at last it begins to dawn on the Alfbert that it will indeed meet a dire fate in short order. As this ominous fact takes hold, it feels its white head start to spin, then to swim, and then…

Idealistically attempting to save the unsuspecting Klüdgerot, the ever-magnanimous Alfbert cries out, “Listen, I pray, O friends! Your harvest of PM strings is treacherous! A foolish superstition has tricked you into thinking they are nutritious, but the truth is otherwise. When decoded as messages, these strings all make such grievously false statements about whole numbers that no one — I repeat, no one! — could swallow them.” But the words of warning come too late, for the PM strings from Wööw are already being swallowed whole by the stubbornly superstitious Klüdgerot.

And before long, frightful groans are heard resounding far and near; the sensitive Alfbert shields its gaze from the dreadful event. When at last it dares to look, it beholds a sorry sight; on every side, as far as its sole eye can see, lie lifeless shells of Klüdgerot that but moments ago were carousing their silly heads off. “If only they had listened to me!”, sadly muses the kindly Alfbert, scratching its great white head in puzzlement. On these words, it trundles back to its strange-looking orange spacecraft at the North Pöö, takes one last glance at the bleak Klüdgerot-littered landscape of Austranius, and finally presses the small round “Takeoff” button on the craft’s leatherette dashboard, setting off for destinations unknown.

At this point, the Alfbert, having earlier swooned in terror as the banqueters began their ritual reveling, regains consciousness. First it hears shouts of excitement echoing all around, and then, when it dares to look, it beholds a startling sight; on every side, as far as its sole eye can see, masses of Klüdgerot are staring with unmistakable delight at something moving, somewhere above its white head. It turns to see what this could possibly be, just in time to catch the most fleeting glimpse of a thin shape making a strange, high-pitched rustling sound as it rapidly plummets towards —

Brief Debriefing

I offer my apologies to the late Ambrose Bierce for this rather feeble imitation of the plot of his masterful short story “An Occurrence at Owl Creek Bridge”, but my intentions are good. The raison d’être of my rather flippant allegory is to turn the classic tragicomedy starring Alfred North Whitehead and Bertrand Russell (jointly alias the Alfbert) and Kurt Gödel (alias the Klüdgerot) on its head, by positing bizarre creatures who cannot imagine the idea of any number-theoretical meaning in PM strings, but who nonetheless see the strings as meaningful messages — it’s just that they see only high-level Gödelian meanings. This is the diametric opposite of what one would naïvely expect, since PM notation was invented expressly to write down statements about numbers and their properties, certainly not to write down Gödelian statements about themselves!

A few remarks are in order here to prevent confusions that this allegory might otherwise engender. In the first place, the length of any PM string that speaks of its own properties (Gödel’s string KG being the prototype, of course) is not merely “enormous”, as I wrote at the allegory’s outset; it is inconceivable. I have never tried to calculate how many symbols Gödel’s string would consist of if it were written out in pure PM notation, because I would hardly know how to begin the calculation. I suspect that its symbol-count might well exceed “Graham’s constant”, which is usually cited as “the largest number ever to appear in a mathematical proof”, but even if not, it would certainly give it a run for its money. So the idea of anyone directly reading the strings that grow on Austranius, whether on a low level, as statements about whole numbers, or on a high level, as statements about their own edibility, is utter nonsense. (Of course, so is the idea that strings of mathematical symbols could grow in jungles on a faraway planet, as well as the idea that they could be eaten, but that’s allegoric license.)