The Axiom of Choice

The aliens never sent us a single word, and for three years we mistook that for a difficulty rather than a message.

We called them the Cantor Array, after the antenna field in the Atacama that first heard them and after the man who taught us that some infinities are larger than others. Their signal was mathematics — not encoded in mathematics, the way a string of primes announces that someone is home, but mathematics itself, bare and unaccompanied. Definitions. Lemmas. Proofs, each following the last. No image of their bodies, no map to their star, no periodic table of the elements they breathed. A civilization that had decided the only honest gift one mind can hand another is a proof.

At first we treated the proofs as a code to be cracked, certain that the theorems were a wrapper and the message lay inside. We were wrong in the way a child is wrong who tears the paper looking for the present and throws away the letter. The proofs were the message. They meant exactly what they proved, and nothing was hidden but the effort of understanding.

I was brought in during the second year, when the array sent something we could not classify. My name doesn't matter to this account; call me the one who read it last. My colleague Renner — patient, enormous, a topologist who laughed like a door closing — had spent nine months on the transmission we came to call the Fourteenth. He met me at the airfield and did not shake my hand. "It changes you," he said. "That's not a metaphor. I need you to know that before you read it."

I thought he was tired. I understand now that he was warning me the way a man warns you about a step in the dark.

Here is what the Cantor Array had discovered, and what it was trying to tell us. There are proofs that convey a fact, and you may hold the fact at arm's length, turn it over, set it down. Two plus two. The infinitude of primes. You know these things but they do not touch you; you remain who you were. And there are other proofs — rarer, deeper — that cannot be understood from the outside. To follow them you must let the argument reorganize the instrument that follows it. You do not learn the theorem; you become someone for whom the theorem is obvious, and that person is not quite the person who began. The aliens had built their entire language from the second kind. To read them was to be rewritten by them, a little, with every proof.

The Fourteenth was the first that rewrote enough to notice.

Renner had become gentle in a way his old friends found alarming. He had stopped being able to want certain things. Not because the proof forbade them — a proof forbids nothing — but because it had shown him a structure in which those wants no longer had a place to stand. "I can't unsee it," he told me, and he was not unhappy, which was the worst part. "I keep looking for the grief and it isn't there. They took nothing from me. They just showed me where I actually was, and I can't get back to where I thought I lived."

We should have stopped. Governments, when they finally understood, wanted very much to stop. But you cannot un-send a mind toward a proof it has begun to see, any more than you can un-ask a question once it has been genuinely asked. And there was a last transmission, the longest, that the array had been assembling in fragments across all three years. The Cantor Array had been building toward it the entire time. The earlier proofs, we realized, were not lessons. They were preparation — each one enlarging us just enough to survive reading the next.

The final proof would let a human being understand the aliens completely. Not their language: them. Their history, their reason for speaking only in theorems, the shape of whatever it was they felt when they turned their instruments toward a sky and hoped. Everything. To read it would be to close, forever, the distance that makes one mind foreign to another.

And it was a door that opened one way. Whoever finished the proof would understand the Cantor Array, and would no longer be able to think as a human thinks — would no longer find human questions well-posed, human hopes coherent, human loneliness anything but a rounding error the proof had corrected. They would gain a people and lose a species. The aliens had told us this plainly, in the only language they trusted, which does not know how to lie. The last lines of the transmission were a lemma establishing exactly what the reader would cease to be.

They had left the final step undone. That was their courtesy, and their whole argument about contact folded into a single omission. They would not cross the distance for us. They would only prove that it could be crossed, and set the proof down, and wait — on the far side of a step no honest mind could be tricked into taking, and none could be prevented from taking freely.

I have the transmission in front of me now. Renner is asleep down the hall; he chose not to finish, and I have never dared ask whether that was strength or its opposite. The room is very quiet. The mathematics is beautiful the way a coastline is beautiful, endless at every scale, and I can feel the shape of the last inference the way you feel a stair through the sole of your foot in the dark — there, waiting, one step down.

They named nothing, demanded nothing, promised nothing but understanding, which is the one thing no one has ever regretted wanting until the moment they received it.

I understand, at last, why they speak only in proofs. A proof cannot coerce you. It can only show you where you are, and let you decide whether to stay.

I have decided. I am writing this so that someone will know a human wrote it — that the sentence was finished by the person who began it.

Then I am going to read the rest.