All very well, but presumably aleph-zeroplex is going to turn out to be aleph-zero in heavy disguise, since all infinities surely must be equal? No. They're not. Cantor proved that you can't match the real numbers with the whole numbers. So aleph-zeroplex is a bigger infinity than aleph-zero.
He went further. Much further. He proved [2] that if umpty is any infinite cardinal, the umptyplex is a bigger one. So aleph-zeroplexplex is [1] Briefly: since the bit before the decimal point is a whole number, taking that into account multiplies the answer by aleph-zero. Now aleph-zero x aleph-zeroplex is less than or equal to aleph-zeroplex x aleph-zeroplex, which is (2 x aleph-zeroplex, which is aleph-zeroplex. OK?
[2] The proof isn't hard, but it's sophisticated. If you want to see it, consult a textbook on the foundations of mathematics.
bigger still, and aleph-zeroplexplexplex is bigger than that, and ...
There is no end to the list of Cantorian infinities. There is no 'hyperinfinity' that is bigger than all other infinities.
The idea of infinity as `the biggest possible number' is taking some hard knocks here. And this is the sensible way to set up infinite arithmetic.
If you start with any infinite cardinal aleph-umpty, then alephumptyplex is bigger. It is natural to suppose that what you get must be aleph-(umpty+1), a statement dubbed the Generalised Continuum Hypothesis. In 1963 Paul Cohen (no known relation either to Jack or the Barbarian) proved that ... well, it depends. In some versions of set theory it's true, in others it's false.
The foundations of mathematics are like that, which is why it's best to construct the house first and put the foundations in later. That way, if you don't like them, you can take them out again and put something else in instead. Without disturbing the house.
This, then, is Cantor's Paradise: an entirely new number system of alephs, of infinities beyond measure, never-ending - in a very strong sense of `never'. It arises entirely naturally from one simple principle: that the technique of `matching' is all you need to set up the logical foundations of arithmetic. Most working mathematicians now agree with Hilbert, and Cantor's initially astonishing ideas have been woven into the very fabric of mathematics.
The wizards don't just have the mathematics of infinity to contend with. They are also getting tangled up in the physics. Here, entirely new questions about the infinite arise. Is the universe finite or infinite? What kind of finite or infinite? And what about all those parallel universes that the cosmologists and quantum theorists are always talking about? Even if each universe is finite, could there be infinitely many parallel ones?
According to current cosmology, what we normally think of as the universe is finite. It started as a single point in the Big Bang, and then expanded at a finite rate for about 13 billion years, so it has to be finite. Of course, it could be infinitely finely divisible, with no lower limit to the sizes of things, just like the mathematician's line or plane - but quantum-mechanically speaking there is a definite graininess down at the Planck length, so the universe has a very large but finite number of possible quantum states.
The `many worlds' version of quantum theory was invented by the physicist Hugh Everett as a way to link the quantum view of the world to our everyday `sensible' view. It contends that whenever a choice can be made - for example, whether an electron spin is up or down, or a cat is alive or dead - the universe does not simply make a choice and abandon all the alternatives. That's what it looks like to us, but really the universe makes all possible choices. Innumerable `alternative' or `parallel' worlds branch off from the one that we perceive. In those worlds, things happen that did not happen here. In one of them, Adolf Hitler won the Second World War. In another, you ate one extra olive at dinner last night.
Narratively speaking, the many worlds description of the quantum realm is a delight. No author in search of impressive scientific gobbledegook that can justify hurling characters into alternative storylines - we plead guilty - can possibly resist.
The trouble is that, as science, the many-worlds interpretation is rather overrated. Certainly, the usual way that it is described is misleading. In fact, rather too much of the physics of multiple universes is usually explained in a misleading way. This is a pity, because it trivialises a profound and beautiful set of ideas. The suggestion that there exists a real universe, somehow adjacent to ours, in which Hitler defeated the Allies, is a big turn-off for a lot of people. It sounds too absurd even to be worth considering. `If that's what modern physics is about, I'd prefer my tax dollars to go towards something useful, like reflexology.'
The science of `the' multiverse - there are numerous alternatives, which is only appropriate - is fascinating. Some of it is even useful.
And some - not necessarily the useful bit - might even be true. Though not, we will try to convince you, the bit about Hitler.
It all started with the discovery that quantum behaviour can be represented mathematically as a Big Sum. What actually happens is the sum of all of the things that might have happened. Richard Feynman explained this with his usual extreme clarity in his book QED (Quantum Electro Dynamics, not Euclid). Imagine a photon, a particle of light, bouncing off a mirror. You can work out the path that the photon follows by `adding up' all possible paths that it might have taken. What you really add is the levels of brightness, the light intensities, not the paths. A path is a concentrated strip of brightness, and here that strip hits the mirror and bounces back at the same angle.
This `sum-over-histories' technique is a direct mathematical consequence of the rules of quantum mechanics, and there's nothing objectionable or even terribly surprising about it. It works because all of the `wrong' paths interfere with each other, and between them they contribute virtually nothing to the overall sum. All that survives, as the totals come in, is the `right' path. You can take this unobjectionable mathematical fact and dress it up with a physical interpretation. Namely: light really takes all possible paths, but what we observe is the sum, so we just see the one path in which the light `ray' hits the mirror and bounces off again at the same angle.
That interpretation is also not terribly objectionable, philosophically speaking, but it verges into territory that is. Physicists have a habit of taking mathematical descriptions literally - not just the conclusions, but the steps employed to get them. They call this `thinking physically', but actually it's the reverse: it amounts to projecting mathematical features on to the real world - `reifying' abstractions, endowing them with reality.
We're not saying it doesn't work - often it does. But reification tends to make physicists bad philosophers, because they forget they're doing it.
One problem with `thinking physically' is that there are sometimes several mathematically equivalent ways to describe something - different ways to say exactly the same thing in mathematical language. If one of them is true, they all are. But, their natural physical interpretations can be inconsistent.
A good example arises in classical (non-quantum) mechanics. A moving particle can be described using (one of) Newton's laws of motion: the particle's acceleration is proportional to the forces that act on it. Alternatively, the motion can be described in terms of a `variational principle': associated with each possible particle path there is a quantity called the `action'. The actual path that the particle follows is the one that makes the action as small as possible.
The logical equivalence of Newton's laws and the principle of least action is a mathematical theorem. You cannot accept one without accepting the other, on a mathematical level. Don't worry what `action' is. It doesn't matter here. What matters is the difference between the natural interpretations of these two logically identical descriptions.