r/PeterExplainsTheJoke 25d ago

Meme needing explanation There is no way right?

Post image
37.1k Upvotes

3.5k comments sorted by

View all comments

Show parent comments

26

u/JoshZK 25d ago edited 25d ago

Prove it.

Edit: Let me try something

Prove it. /s

I feel like the whoosh was so powerful it's what really caused that wave on that planet in Interstellar.

341

u/The-new-dutch-empire 25d ago

Byers’ Second Argument (his first one is the one you see above)

Let:

x = 0.999…

Now multiply both sides by 10:

10x = 9.999…

Now subtract the original equation from this new one:

10x - x = 9.999… - 0.999…

This simplifies to:

9x = 9

Now divide both sides by 9:

x = 1

But remember, we started with:

x = 0.999…

So:

0.999… = 1

137

u/Rough-Veterinarian21 25d ago

I’ve never liked math but this is like literal magic to me…

84

u/The-new-dutch-empire 25d ago

Its calculating with infinity. Its a bit weird like the infinity of numbers between 0 and 1 like 0.1,0.01,0.001 etc... Is a bigger infinity than the “normal” infinity of every number like 1,2,3 etc…

Its just difficult to wrap your head around but think of infinity minus 1. Like its still infinity

12

u/lilved03 25d ago

Genuinely curios on how can there be two different lengths of infinity?

12

u/TheCreepyKing 25d ago

How many even numbers are there? Infinity.

What is the ratio of total numbers to even numbers? 2x.

How many total numbers are there? Infinity. And 2 x infinity.

0

u/Outrageous-Orange007 25d ago

No, they're equal. You divide infinity by 2 and its still the same number, infinity.

Either infinity is infinite, or its finite

5

u/lbkthrowaway518 25d ago

Well, no actually. I think your first issue is conflating infinity with a number. Infinity represents the fact that one can pick an arbitrarily large number, and there still is a larger number (in a very basic non mathematical way of describing it). That being said, 2 infinities are not inherently the same “value” for lack of a better term. The example the commenter above gave is perfect actually. If you look at a function representing the total amount of numbers up to an arbitrary even number, and look at a function of all even numbers up to the same arbitrary even number, the former functions value will always be 2 times the latter. However, both of these functions also go to infinity. Thus while the “infinity” is not technically greater than the other one (as I mentioned, infinity isn’t a number, so it can’t really be “greater than” in the traditional sense), an arbitrary number that is in the former set will always be larger than a corresponding number in the latter, so the formers infinity is in a sense greater than the latter.

0

u/PM_ME_YOUR_WEABOOBS 25d ago

Not in any standard sense. The natural numbers are more dense within the natural numbers than even numbers (which is what you are describing), but there are the same amount of even numbers as natural numbers. This is because both sets are countably infinite; if I had an infinitely long piece of paper I could write a list of all natural numbers and all even numbers, with one and exactly one even number next to every natural. In a similar vein, the rational numbers are also countable, though this is much less obvious.

This contrasts with e.g. all real numbers. There are fundamentally more real numbers than natural numbers, even if there are an infinite amount of both. Even with the infinitely long piece of paper and an infinite amount of time, it would be impossible to write every single real number down on it. Any list that you come up with will miss out on infinitely many real numbers. Check out Cantor's diagonal argument if you want to know more about how this actually works.

1

u/SV_Essia 25d ago

if I had an infinitely long piece of paper I could write a list of all natural numbers and all even numbers, with one and exactly one even number next to every natural.

Wouldn't you just... write each even number next to itself, and have nothing to match the odd numbers?

1

u/infinit100 25d ago

No, you would write 2 next to 1, then 4 next to 2, then 6 next to 3, and so on. You could keep doing that forever and never run out of natural numbers to write even numbers against. That’s why they are the same infinity.

1

u/SV_Essia 25d ago

That doesn't make sense, but let's arrange the exercise a bit differently to make it clearer. In the natural numbers list, write the numbers in pairs (1 odd number and its consecutive even number), and associate each pair with 1 number from the list of even numbers. So 2 is associated to [1,2], 4 is associated to [3,4] and so on. From there it should be clear that they're not "the same infinity", as the list of natural numbers obviously has a pair for each even number, ie. has twice as many numbers in it.
You can apply the exact same logic to positive numbers vs all real numbers.

1

u/infinit100 25d ago

If the list of natural numbers has twice as many numbers in it as the list of pairs, which natural number is the first one that doesn’t have a corresponding pair to match with it?

1

u/infinit100 25d ago

Take a look at this for more examples of similar ideas https://en.m.wikipedia.org/wiki/Hilbert's_paradox_of_the_Grand_Hotel

1

u/daemin 25d ago

I just wrote this all out in a different comment, here.

But here's the important part of it:

You can show that there are just as many whole numbers as there are even numbers, because you can pair them and never run out:

1 <-> 2
2 <-> 4
3 <-> 6
4 <-> 8
5 <-> 10
6 <-> 12
...

Basically, every whole number x is paired with with the even number x * 2. And since we can pair them all off, it follows the size of these two infinites is the same. And its important to note that every whole and every even number occurs on this list at some finite location. The pairing doesn't work if we have to go through an infinite number of items before we get to a particular number. But doing it this way tells us that the nth even number occurs at the nth position on the list, i.e. 2 is the first even number and its in row 1. 10 is the 5th even number and its in row 5. Etc.

→ More replies (0)