Archive Cast Forum RSS Books! Poll Results About Search Fan Art Podcast More Stuff Random Support on Patreon 
New comics MonFri; reruns SatSun

1 Simon: A slight correction. We haven't quite created millions of copies of Cthulhu.
2 Terry: Oh, well, phew. That's good. I guess that makes the problem a bit more tractable.
3 Simon: It's much more likely to be an infinite number of copies!
3 Steve: Alephnull crikey!
4 Simon: An uncountably infinite number of copies!
4 Steve: Alephone crikey!
First (1)  Previous (3726)  Next (3728)  Latest Rerun (1981) 
Latest New (4042) First 5  Previous 5  Next 5  Latest 5 Steve and Terry theme: First  Previous  Next  Latest  First 5  Previous 5  Next 5  Latest 5 This strip's permanent URL: http://www.irregularwebcomic.net/3727.html
Annotations off: turn on
Annotations on: turn off

If you remember back to Han's dianogalisation argument, we've established that there are (at least) two different types of infinity. The easiest one to get to grips with is: How many natural numbers are there?
The natural numbers are the standard counting numbers that you would use to count whole numbers of things, like how many apples are in the fruit bowl, or how many times you've had a birthday. They go: 0, 1, 2, 3, 4, 5, 6, ... and so on.^{[1]}
So, how many of these numbers are there? Well, no matter what natural number you care to name, there is always a bigger one. You can just add 1, for example, to create a bigger natural number. So "the number of natural numbers" cannot be a natural number itself. There are in fact infinitely many natural numbers, because no matter how many of them you care to name, you can always name more of them. That's pretty much a definition of infinity.
"The number of natural numbers" is not a natural number, but we can still give it a specific name. As we shall see, the name "infinity" is actually not specific enough to describe this number. Mathematicians have given this number, "the number of natural numbers", the name ℵ_{0}. This is the Hebrew letter aleph, with a subscript of zero, and is pronounced either as alephzero, alephnaught, or (as I learnt it) alephnull.
Now, recall everything we said back in the annotation to comic #2292 (Han's dianogalisation argument). Using a clever way of mapping the positive and negative integers to positive numbers, we can assign a natural number label to every integer, both positive and negative (and zero). So the number of integers is the same as the number of natural numbers. In other words, the number of integers is also ℵ_{0}.
Remember also that we managed to construct a way to assign a natural number to every single rational number that exists  that is, every number that can be written as a fraction. So the number of rational numbers is also the same as the number of natural numbers. In other words, the number of rational numbers is also ℵ_{0}.
And recall also that we showed that, no matter how we try to assign a natural number to all of the real numbers (i.e. every number that can be written out as a decimal, possibly requiring an infinite number of decimal places), there is always demonstrably some real number that we missed out on. So there are more real numbers than the number of natural numbers. In other words, the number of real numbers must be greater than ℵ_{0}.
If the number of real numbers is (an infinite number) greater than ℵ_{0}, then mathematicians would like to know "how big" this (infinite) number is as well. In fact, using some mathematical proofs which I won't go into here, you can show that the number of real numbers is meaningfully equal to 2^{ℵ0}. This is very different from the countable infinity ℵ_{0}.
Now, if you count the natural numbers, forever, you will eventually count up to any given natural number. Let's say you count an average of one number per second (allowing for rest breaks). How long will it take you to count to:
Because of the way we've mapped the integers and the rationals to natural numbers, you can do the same with them. You can assign them in a fixed, particular order, and say the name of one integer, or one rational number, every second, and eventually you will reach any given one that anyone cares to name. Again, it could take many years, but eventually you'll get to it. So the number of integers, and the number of rationals, is also countably infinite.
But the real numbers cannot be ordered in this way. If you arrange the real numbers in a fixed, ordered sequence and then you say the name of one real number per second, following the defined order, then I can always say the name of a real number that you will never reach, no matter how long you keep reciting numbers. And for this reason we say that 2^{ℵ0}, the number of real numbers, is an uncountable infinity, and that the number of real numbers is uncountably infinite.
Crikey!!
There is another method of defining infinite numbers larger than ℵ_{0} as well. You could define a number ℵ_{1} to be the next biggest infinite number after ℵ_{0}. We already know there is an infinite number bigger than ℵ_{0}  the number of real numbers 2^{ℵ0} is demonstrably a bigger infinity. But is it the next biggest infinite number after 2^{ℵ0}, or is there some other infinite number in between? This question is the subject of the socalled continuum hypothesis, which basically hypothesises that there is no sensible infinite number between ℵ_{0} and 2^{ℵ0}. Or in other words that 2^{ℵ0} = ℵ_{1}. If you make some assumptions about how set theory and large numbers like this work, you can prove this statement, but those assumptions are not necessarily true. Basically, whether the number of real numbers is equal to ℵ_{1} or not depends on what axioms you choose to establish your set theory.
Crikey^{2}!!
And, yep, you guessed it. Mathematicians would hardly define two new numbers as ℵ_{0} and ℵ_{1} if they didn't want to keep going and also have even bigger infinite numbers: ℵ_{2}, ℵ_{3}, etc. Personally, I don't have a particularly clear idea in my head what these bigger infinite numbers correspond to, but if you're interested you can read more on Wikipedia's page on aleph numbers.
ℵ_{Crikey!!}
[1] Some definitions exclude 0 from the natural numbers. For the purposes of today's discussion, this makes no difference.
LEGO^{®} is a registered trademark of the LEGO Group of companies,
which does not sponsor, authorise, or endorse this site. This material is presented in accordance with the LEGO^{®} Fair Play Guidelines. 