“I’ll keep on beating you forever,” said the cocky pencil stub. “Thanks to my absolute vision of the true class of all sets.”
“Absolute self delusion,” croaked Anton, blinking his big golden eyes. “There is no great almighty One. Only the pullulating congeries of axiom models.”
“Wait!” said Ulla, looking suspicious. “You’re not taking us to some giant math seminar are you? My idea of hell, for sure.”
“You won’t be gone long,” said Stanley, not quite answering her question. He turned his pointed nose, gazing out their living-room window. “You’ll be home for tea when the rain starts.”
In the next room, the printer had stopped. It gave Jack a good feeling, knowing that his new paper was done. Even if—worst case—he never came back at all, his masterwork was finished. “Let’s go for it,” he urged Ulla. “This might be just as interesting as diving in the tropics.”
So the four of them held hands in a circle and hopped through the hoop—willowy Ulla, pencil-stub Stanley, graying Jack, and Anton the toad.
They found themselves high in the air, falling like a star of skydivers. Far below them, an irregularly shaped coastal city sprawled across verdant hills and fields. The pinkish city’s shape seemed vaguely familiar to Jack. Inland were shockingly vast plains broken by mountains and still more mountains, the slopes and prairies spotted with smudges of towns, the distant peaks piled up to meet dark, lowering clouds. Out to sea, a sun danced above the endless waves, a strange sun like the mouth of a twitching tube. Rivers meandered from the mountains through the rosy city, forking and rebranching beyond all measure. Uncountable numbers of islands crowded the shore.
“I want us to land on the green,” said Stanley, angling his faceted body so that the four moved a bit to the left.
Anton waved a finned foot, sending them a few inches the other way. “Sorry, Stanley, this time we’re landing on red. We’ve got alef-null turns to go, so make it snappy.”
As they dropped downwards, ever more detail hove into view. What looked like a solid tongue of reddish buildings turned out to have a green park within it, but then the park developed a small block of houses that expanded into a whole new neighborhood spotted with still smaller parks—and this kind of transformation happened over and over again.
The rivals alternated moves at an ever-doubling rate, dithering between greensward and pavement. They were accomplishing an infinite task by splitting a one-minute interval into alef-null smaller and smaller parts.
“A Zeno speed-up,” murmured Jack, who’d often pondered the ancient philosopher’s paradoxical observation that any unit is an endless sum of the form 1/2 + 1/4 + 1/8 + 1/16 + etcetera. Every stretch of time held an actual infinity of intervals although, yes, most of these intervals were below the Planck scale. But the Planck hobgoblin seemed to have little force in Alefville.
The sequence of moves converged upon the four companions landing on a dark pink sidewalk between a bushy green-leaved tree and a multistory apartment building. The ornately decorated building bore a chiseled stone title: Graf Georg Arms.
Pedestrians of all shapes were ambling by; cars crept down the street towards the distant sea. Rather than having wheels, the cars were like millipedes, each with alef-null legs.
“I win,” gronked Anton. “We landed on red. So much for your so-called absolute vision, Stanley. I’d say Alefville’s shape is so kinky that there
is
no unbeatable strategy for our little steering game.”
“No strategy at all?” said the pencil man crisply. “An absolute truth. Interesting assertion, coming from you.”
“Well, I suppose there might be a strategy lurking somewhere far away,” amended the toad man. “Maybe up in the hill cities—who knows.”
“So the higher levels of infinity can affect the low-level sets?” said Stanley, intense and on the attack.
“Look at this tree, Jack,” interrupted Ulla. “The branches are majorly twisty. And the leaves—there’s so many of them that the canopy is smooth.”
Indeed. The tree’s foliage resembled a car’s glossy green fender. Peering under the leaves, Jack observed that each branch had an endless number of jiggles—as many forks as the natural numbers. Every possible path through the twiggy maze ended in a leaf. Incredibly, Jack could distinguish each one of them.
“There’s two to the alef-null leaves,” he murmured. “The cardinality of the continuum. The size of the real number line. The—”
“
Teach
us, prof!” said Anton.
Stanley sketched the mathematical symbol for the number on the sidewalk: 2
א0
.
“We don’t need math words and symbols,” said Ulla, running her hand across the leaves. “Not anymore. It’s so nice to see what you’ve been talking about all these years, Jack.” Gently she parted the foliage, savoring the rich textures. “There’s one special leaf on the edge of this bunch,” she observed, waggling a tuft of green.
“You can think of that edge leaf as an irrational number,” said Jack. “Like the square root of two.”
“This is a branch,” said Ulla, teasing him a little. “Not a root.” She let the leaves snap back into a smooth, bulging surface. An endless swarm of gnats floated out of the foliage, twisting in an unsteady column.
“Let’s go to the Szkocka cafe,” said Stanley, gazing up at them from knee level. “You’re going to help us with the Generalized Continuum Problem, remember?”
“How are
we
supposed to help
you
?” said Ulla nudging the oversized pencil stub with her toe. “You’re the one who’s supposed to be so smart.” She was still looking around, taking in their surroundings. “Check out this apartment building next to us, Jack. It has infinitely many stories. And then more stories after that.” She staggered back a little, craning her head, nearly bumping into a passing dog with an endless number of teeth.
Jack stared upwards at the Graf Georg Arms, his mind boggling. The upper floors were exceedingly low-ceilinged, so the Graf Georg wasn’t unreasonably tall. The building started out like a Zeno speed-up—and higher up it got even weirder than that.
As Ulla had said, the stories didn’t stop after a single run of alef-null levels. The count started up again after the first alef-null, and then again, over and over, infinities mounting beyond infinities, all of them fitting into the building’s finite height.
After a minute’s study, Jack realized that there wasn’t any single master Zeno speed-up of eye-twitches that could sweep his view all the way to the top. The building’s floor-count was a higher level of infinity, beyond the reach of any alef-null-long sequence.
As if attracted by Jack’s mental efforts, the sun shifted its position in the sky, aligning itself behind the summit. The light flooded Jack’s eyes, but he felt no discomfort. Everything seemed to turn white; his ears filled with a mighty roar.
And then he was standing atop the Graf Georg Arms, clutching an antenna mast, peering down towards three antlike figures on the sidewalk: the talking pencil, the toad man, and Ulla, who was standing with her back turned, gesturing at something. Tiny Anton fixed Jack with his golden eyes—and Jack was back on the sidewalk as before.
“Yes,” said Anton, as if Jack had spoken a question. “The Graf Georg Arms has alef-one stories. Most of the buildings in Alefville are that size. You didn’t notice that on our way down because the buildings’ upper floors are compressed into the infinitesimal subdimensions. The town itself has alef-two streets, by the way. Otherwise we’d have a terrible traffic problem. “
“I hopped up to alef-one!” gloated Jack, still elated from his quick round trip. “The sun helped me. Did you see, Ulla?”
“Huh?” She was busy playing with the swarm of gnats from the tree. Moving in tune with the motions of her hands, the dots were forming themselves into deliciously curved bronze sculptures, then deliquescing back into disconnected point sets.
“Never mind.” Jack returned his attention to his two guides. He was eager to talk math. “For you aktuals, the bottom-level Continuum Problem is as real as sorting mail! Never mind about the Generalized Continuum Problem for now—just tell me this: Is it possible to take all the leaves off this tree and give each leaf its own room in this apartment building? Is two-to-the-alef-null the same size as alef-one?”
Anton twitched his wide mouth and glanced down at Stanley. “Should we tell him?”
“Of course,” said Stanley, who’d been absent-mindedly scratching some private calculations on the sidewalk with the point of his nose. “Give Jack a treat before we put him and Ulla to work.” He turned to scold a snowman-like passerby made of a stack of alef-null spheres. “Watch where you’re bouncing that big bottom of yours!”
“So okay, Jack,” continued Anton. “It turns out that, no, you can’t give each leaf its own room in the alef-one-sized building. Here in Alefville, the size of the continuum is alef-two. You
could
in fact put each leaf on its own street-corner—remember that we have alef-two streets. And, assuming that you impose some reasonable zoning restrictions, the same thing’s true in every possible version of Alefville.”
“It’d be simpler if Anton would just admit that we’re in the one true Alefville,” said Stanley. “But never mind. In any case, Anton and I agree that the basic Continuum Problem is solved by a reasonable new set theory axiom—whose details I won’t bore you with.” He was still writing on the sidewalk. As always when mathematicians got going, images of the succinct symbols began replacing the sounds of the words. “In any case, we’ve established that 2
ℵ
0
= ℵ
2
. And, as it happens, we also proved that 2
ℵ
1
= ℵ
2
as well. And for the next three levels, things flatten out. That is, we proved that 2
ℵ
2
= ℵ
3
, 2
ℵ
3
= ℵ
4
, and 2
ℵ
4
= ℵ
5
.”
“What does ‘two-to-the-alef-four equals alef-five’ even mean?” put in Ulla. “You guys are as bad as my husband.”
“It means that if you had a tree with branches alef-four forks long, you’d get a canopy of alef-five leaves,” said Stanley primly.
“So—you’re close to proving an answer to the entire Generalized Continuum Problem?” said Jack, growing excited.
“Not at all,” said the pencil stub, still writing on the sidewalk. “We’re stuck. We can’t prove anything about 2
ℵ
5
. If I had to bet, I’d take a wild guess that for any infinite cardinal ℵ
k
after ℵ
1
, we have 2
ℵ
k
= ℵ
k+1
, more or less like Georg Cantor expected. There’s only that one anomalous double step at the start, where 2
ℵ
0
shoots up to ℵ
2
.”
“I like it,” said Jack. “But—”
“But we can’t think of any good axioms for proving our solution,” continued Stanley. “And we don’t have any good intuitions about it either. That’s why Anton and I were attracted to your notion that there might be a connection between the higher infinities and the physical levels of subdimensional infinitesimals. There could be a sense in which—”
“This is so dull,” said Ulla. She was staring up towards the mountains beyond town. “And it looks like we’re in for a storm.”
“The lightning’s coming to
get
you, Ulla,” said Anton, as if making a mean joke. “Let’s head for the Szkocka cafe.”
“You can’t scare me with lightning,” said Ulla. “Is the cafe far?”
“The Szkocka is down by the ocean bluffs,” said Stanley. “Alef-two blocks away.”
“How can we walk alef-two blocks?” exclaimed Jack. “I had to merge into the sun just to reach the top of the Graf Georg’s alef-one stories. Let’s find some shelter around here before the storm begins.”
“Has to be the Szkocka,” said Anton as the first rumble of thunder came booming down. “X marks the spot,” he added, giving Stanley a mysterious wink.
“We don’t have to walk,” said the lively pencil stub. “To get there, we meditate upon Absolute Infinity—and realize that we’ve fallen short.”
“That’s his way of saying we merge into the sun,” said Anton with a sardonic twitch of his mouth. The toad man pointed his skinny arm towards the distant, shining sea. “Thataway!” The loose-hanging fabric of his shiny, gray suit fluttered in the rising wind.
Although the thunderclouds had darkened the sky behind them, the sun was beaming across the water, beckoning them. Holding hands with his wife, Jack focused on making the alef-two-sized jump. But something was holding them back. Ulla.
“Stare into the sun,” he urged.
“And go blind? No thanks.”
“The light’s gentle,” said Jack. “It fills you up.” The thunder pealed again, an unearthly, drawn-out sound with a chatter of alef-one echoes at the end.
“When do we go home?” said Ulla sounding less confident than before. “Stanley said we’d be home before the rain.”
“Just a little more exploring, Ulla,” implored Jack. “We may never visit this world again.”
The light of the hollow-looking sun flowed into them like a long drink of milk. Everything grew white. Anton jostled Jack, bringing him back. They were on a seaside bluff beside a stodgy plaster building with towers set into its corners. Lamps glowed in the windows. Violin music, conversation and laughter drifted out—along with the smells of coffee, beer and fried food.
Out to sea, the waves’ crests were glassy green in the setting sun, the scattered islands were rimmed in gold. But the sky directly overhead was a mass of dark curds. The storm clouds had followed the four companions.
With abrupt violence, the rain began. Alef-null, alef-one, alef-two droplets spattered up from the pavement, writhing in fantastic patterns of fog and spray. Jack and Ulla squeezed under the cafe building’s eaves, still holding hands. And now Jack noticed something very disturbing. Someone’s pencil point had scrawled a large X upon the sidewalk precisely where Ulla stood.
Before he could say anything, the lightning had struck. A blaze of light, a tingle in his hand, a hideous crash—and Ulla was gone. Not quite deafened by the thunder’s blast, Jack heard Stanley let out an involuntary cackle. He seized the little creature, digging his fingers into the yielding, polyhedral surfaces.