Irregular Webcomic!

Archive     Cast     Forum     RSS     Books!     Poll Results     About     Search     Fan Art     Podcast     More Stuff     Random     Support on Patreon    
Updates: Monday, Tuesday, Thursday, Friday; reruns all other days
<   No. 3727   2017-09-11   >

Comic #3727

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: Aleph-null crikey!
4 Simon: An uncountably infinite number of copies!
4 Steve: Aleph-one crikey!

First (1) | Previous (3726) | Next (3728) || Latest Rerun (1647) | Latest New (3770)
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 aleph-zero, aleph-naught, or (as I learnt it) aleph-null.

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 than0.

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 20. 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:

The point is that any natural number I name, doesn't matter how big it is, you could theoretically count up to it, given enough time. We say that the number of natural numbers is infinite, but that it's countably infinite. Any given natural number, no matter how big, you can theoretically count up to. So ℵ0 is a countable infinity.

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 20, 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 20 is demonstrably a bigger infinity. But is it the next biggest infinite number after 20, or is there some other infinite number in between? This question is the subject of the so-called continuum hypothesis, which basically hypothesises that there is no sensible infinite number between ℵ0 and 20. Or in other words that 20 = ℵ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.

Crikey2!!

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.

Irregular Webcomic! | Darths & Droids | Eavesdropper | Planet of Hats | The Prisoner of Monty Hall
mezzacotta | Lightning Made of Owls | Square Root of Minus Garfield | The Dinosaur Whiteboard | iToons | Comments on a Postcard | Awkward Fumbles
© 2002-2017 Creative Commons License
This work is copyright and is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported Licence by David Morgan-Mar. dmm@irregularwebcomic.net