I Am a Strange Loop - Douglas R. Hofstadter [70]
Moving on, what counts as a “heavenly body”? Do we count artificial satellites? And random pieces of flotsam and jetsam left floating out there by astronauts? Do we count every single asteroid? Every single distinct stone floating in Saturn’s rings? What about specks of dust? What about isolated atoms floating in the void? Where does the Solar System stop? And so on, ad infinitum.
You might object, “But those aren’t mathematical notions! Berry’s idea was to use mathematical definitions of integers.” All right, but then show me a sharp cutoff line between mathematics and the rest of the world. Berry’s definition uses the vague notion of “syllable counting”, for instance. How many syllables are there in “finally” or “family” or “rhythm” or “lyre” or “hour” or “owl”? But no matter; suppose we had established a rigorous and objective way of counting syllables. Still, what would count as a “mathematical concept”? Is the discipline of mathematics really that sharply defined? For instance, what is the precise definition of the notion “magic square”? Different authors define this notion differently. Do we have to take a poll of the mathematical community? And if so, who then counts as a member of that blurry community?
What about the blurry notion of “interesting numbers”? Could we give some kind of mathematical precision to that? As you saw above, reasons for calling a number “interesting” could involve geometry and other areas of mathematics — but once again, where do the borders of mathematics lie? Is game theory part of mathematics? What about medical statistics? What about the theory of twisting tendrils of plants? And on and on.
To sum up, the notion of an “English-language definition of an integer” turns out to be a hopeless morass, and so Berry’s twisty notion of b, no less than Escher’s twisty notion of two mutually drawing hands, is an ingenious figment of the imagination rather than a genuine strange loop. There goes a promising candidate for strange loopiness down the drain!
Although in this brief digression I’ve made it sound as if the idea Berry had in 1904 was naïve, I must point out that some six decades later, the young mathematician Greg Chaitin, inspired by Berry’s idea, dreamt up a more precise cousin using computer programs instead of English-language descriptions, and this clever shift turned out to yield a radically new proof of, and perspective on, Gödel’s 1931 theorem. From there, Chaitin and others went on to develop an important new branch of mathematics known as “algorithmic information theory”. To go into that would carry us far afield, but I hope to have conveyed a sense for the richness of Berry’s insight, for this was the breeding ground for Gödel’s revolutionary ideas.
A Peanut-butter and Barberry Sandwich
Bertrand Russell’s attempt to bar Berry’s paradoxical construction by instituting a formalism that banned all self-referring linguistic expressions and self-containing sets was not only too hasty but quite off base. How so? Well, a friend of mine recently told me of a Russell-like ban instituted by a friend of hers, a young and idealistic mother. This woman, in a well-meaning gesture, had strictly banned all toy guns from her household. The ban worked for a while, until one day when she fixed her kindergarten-age son a peanut-butter sandwich. The lad quickly chewed it into the shape of a pistol, then lifted it up, pointed it at her, and shouted, “Bang bang! You’re dead, Mommy!” This ironic anecdote illustrates an important