this post was submitted on 06 Jan 2024
289 points (86.2% liked)

memes

10398 readers
2133 users here now

Community rules

1. Be civilNo trolling, bigotry or other insulting / annoying behaviour

2. No politicsThis is non-politics community. For political memes please go to [email protected]

3. No recent repostsCheck for reposts when posting a meme, you can only repost after 1 month

4. No botsNo bots without the express approval of the mods or the admins

5. No Spam/AdsNo advertisements or spam. This is an instance rule and the only way to live.

Sister communities

founded 1 year ago
MODERATORS
 

I considered deleting the post, but this seems more cowardly than just admitting I was wrong. But TIL something!

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 5 points 10 months ago

Yes, there are infinities of larger magnitude. It’s not a simple intuitive comparison though. One might think “well there are twice as many whole numbers as even whole numbers, so the set of whole numbers is larger.” In fact they are the same size.

Two most commonly used in mathematics are countably infinite and uncountably infinite. A set is countably infinite if we can establish a one to one correspondence between the set of natural numbers (counting numbers) and that set. Examples are all whole numbers (divide by 2 if the natural number is even, add 1, divide by 2, and multiply by -1 if it’s odd) and rational numbers (this is more involved, basically you can get 2 copies of the natural numbers, associate each pair (a,b) to a rational number a/b then draw a snaking line through all the numbers to establish a correspondence with the natural numbers).

Uncountably infinite sets are just that, uncountable. It’s impossible to devise a logical and consistent way of saying “this is the first number in the set, this is the second,…) and somehow counting every single number in the set. The main example that someone would know is the real numbers, which contain all rational numbers and all irrational numbers including numbers such as e, π, Φ etc. which are not rational numbers but can either be described as solutions to rational algebraic equations (“what are the solutions to “x^2 - 2 = 0”) or as the limits of rational sequences.

Interestingly, the rational numbers are a dense subset within the real numbers. There’s some mathsy mumbo jumbo behind this statement, but a simplistic (and insufficient) argument is: pick 2 real numbers, then there exists a rational number between those two numbers. Still, despite the fact that the rationals are infinite, and dense within the reals, if it was possible to somehow place all the real numbers on a huge dartboard where every molecule of the dartboard is a number, then throwing a dart there is a 0% chance to hit a rational number and a 100% chance to hit an irrational number. This relies on more sophisticated maths techniques for measuring sets, but essentially the rationals are like a layer of inconsequential dust covering the real line.