Mathematics Is More Imaginative Than Any Mythology

Mythology is usually held up as the high-water mark of human inventiveness. Gods who become swans, worlds carried on turtles, underworlds with rivers and ferrymen — surely this is imagination at full stretch, unconstrained by anything except the storyteller's nerve.

Set it beside mathematics and it looks parochial. The mythologies of the world, for all their variety, are populated by enlarged people doing recognisably human things in unusual costumes. Mathematics has produced ideas that no storyteller anywhere ever came close to, and it did so under a constraint that looks like the opposite of imagination: the requirement that every step follow by proof. The constraint is not what limited the results. It is what produced them.

Space Did Not Have to Be That Shape

For two thousand years Euclid's parallel postulate — that through a point not on a line there is exactly one parallel — seemed less like an assumption than a description of what space obviously is. Generations tried to derive it from the other axioms, assuming it must be a theorem in disguise.

In the nineteenth century Bolyai, Lobachevsky and Gauss independently did something no myth ever did: they denied it, and followed the consequences without contradiction. Assume infinitely many parallels and you get hyperbolic geometry, where triangles have angles summing to less than 180 degrees and the sum depends on the triangle's size. Assume none and you get elliptic geometry, where every pair of lines meets.

These were coherent, complete alternative geometries. And the sequel is the part that should stop you: general relativity later showed that the geometry of our actual universe is not Euclidean. Mass curves spacetime. The "impossible" geometry, invented by mathematicians following an assumption they had no expectation of using, turned out to be the one the universe runs on.

No mythology has ever contained an idea like this — not because myth-makers lacked ambition, but because you cannot get here by wanting to. It required someone willing to take an axiom seriously enough to break it.

Infinities of Different Sizes

Ask anyone to imagine something bigger than infinity and you will get either a blank or a joke. Cantor produced a proof.

His diagonal argument runs in a paragraph. Suppose you could list all the real numbers between 0 and 1. Construct a new number whose first digit differs from the first digit of the first number, whose second digit differs from the second digit of the second, and so on down the diagonal. This number differs from every number on your list in at least one place, so it is not on the list — and your list was assumed to contain all of them. Contradiction. The reals cannot be enumerated.

So there are strictly more real numbers than whole numbers, though both sets are infinite. And it does not stop: the power set of any set is strictly larger than the set, so there is an unending hierarchy of infinities, each unreachably larger than the last.

Then the continuum hypothesis — is there an infinity strictly between the whole numbers and the reals? Gödel showed you cannot prove it false from the standard axioms. Cohen showed you cannot prove it true. It is independent: both answers are consistent with the foundations of mathematics, and you may take either.

Sit with the strangeness of that. It is not that we do not know the answer. It is that the question, asked of these axioms, has no answer to know. No mythology contains anything remotely this strange, and nobody invented it — it was forced out by rigor, over the strenuous objections of mathematicians who found it repellent. Kronecker called Cantor a corrupter of youth. Cantor was right.

The Limits of Proof Itself

In 1931 Gödel proved that any consistent formal system rich enough to express arithmetic contains true statements it cannot prove — and that such a system cannot prove its own consistency.

This is not a claim about human sloppiness or about not having tried hard enough. It is a proof, from within mathematics, about the permanent limits of mathematics. Hilbert's programme had aimed to place all of mathematics on a complete and provably consistent foundation. Gödel showed the goal was unreachable in principle, and did it by constructing a statement that in effect asserts its own unprovability — a self-referential trick turned into rigorous mathematics.

Consider what kind of intellectual act that is. A discipline used its own methods to establish a boundary on what those methods can ever achieve, and accepted the result. Nothing in the history of religion or mythology resembles this even faintly. The direction of travel in those traditions is always toward claims of completeness, never toward proving one's own framework permanently incomplete.

Why Constraint Was the Engine

The pattern in all three cases is the same, and it is the opposite of what "imagination" is usually taken to mean.

None of these ideas was reached by someone deciding to think something wild. Non-Euclidean geometry came from taking an axiom seriously enough to negate it and following the logic where it went. Transfinite arithmetic came from asking a precise question about matching up sets and being unable to escape the answer. Incompleteness came from formalising provability tightly enough that it could be turned on itself.

In every case the mathematician was compelled. The results were frequently unwelcome — Cantor was attacked for his, Gödel demolished the programme of the most eminent mathematician of the age, and the discoverers of non-Euclidean geometry sat on their work for fear of ridicule. Gauss never published his.

This is precisely what free imagination cannot do. A storyteller writes what pleases them and stops when it stops pleasing. Nothing in the process can force an unwanted conclusion, which is why mythologies, for all their surface variety, keep arriving at the same small set of human preoccupations: birth, family, betrayal, death, status, an afterlife where the accounts are settled. Free imagination reliably produces the familiar.

The mathematician has an external check that will not negotiate. That check is what allows genuine novelty through — because it lets in the ideas nobody wanted and nobody expected, which are the only ones that could not have been predicted in advance from human psychology.

The Comparison Made Fairly

To be fair to mythology, it was never trying to do this. Myths are for explaining, consoling, binding a community and remembering a past. Judged as literature and social technology, the good ones are magnificent.

But they are routinely praised for the wrong thing. When someone calls a mythology "wildly imaginative," they are usually pointing at a talking animal or a god with a bull's head — a recombination of familiar parts. A river with a ferryman is a river with a ferryman. A god who is jealous, or vengeful, or in love, is a person with the volume turned up.

Now list what mathematics produced: a space where parallel lines converge, and it turned out to be ours. A rigorous demonstration that some infinities exceed others without limit. A question with two consistent and opposite answers. A proof that proof has permanent limits.

Not one of these is a recombination of anything human. They could not have been imagined into existence, only discovered — and they were discovered by people submitting to a discipline that regularly told them things they did not want to hear.

That is the reversal worth keeping. We call the unconstrained faculty "imagination" and the constrained one "rigor," and assume the first is the creative one. The record says the opposite. Freedom produces variations on ourselves. Constraint is what let us find out that reality is stranger than we are.