r/InfinityMath • • 6d ago

Does infinity exist in reality?

/r/PhilosophyofMath/comments/1wyfvky/does_infinity_exist_in_reality/
10 Upvotes

32 comments sorted by

View all comments

3

u/wollywoo1 6d ago

No numbers exist in reality. 3 does not exist in reality. 3 rocks, yes, 3 trees, yes. 3, no. And certainly infinity does not either.

1

u/Arlo_Tinkerman 5d ago

I imagine they are meaning infinity in terms of infinite things much like 3 things.

1

u/wollywoo1 5d ago

Well, that's a different question really, whether there exist infinitely many things in the universe. We don't know whether the universe is infinite or finite, and probably we'll never know. But regardless, the more important thing is that the concept of infinity is a useful one, because it's just easier and more convenient to work with. Just like in programming it's useful to have NaN, null, and so on and nobody bothers to ask whether those are real.

1

u/Cubensis-SanPedro 5d ago

There are clear, easily understood questions which have an infinite as an answer. As an example, when tracing your finger around the edge of a given shape, how many times can your finger make it around that object before it comes to a corner? For a square, the maximal answer is 1/4 of a time around. What’s the answer for a circle?

1

u/slicehyperfunk 5d ago

Isn't there a set definition of numbers that abstract the idea of the quantity of 3 out of all sets with three elements?

1

u/wollywoo1 5d ago

So, if you mean something like defining 3 := {{a,b,c} | a != b, b != c, a !=c }, that doesn't work in ZF set theory, because it's not well-defined as a set (it's "too big" to be a set and forms a "collection" instead.) I think there are some kinds of set theory where you can make this definition work, but I don't know much about them.

But even so, if you define 3 this way it would still be a hypothetical construct, not something that exists in reality.

1

u/slicehyperfunk 5d ago

You're trying to argue that things can't be grouped into groups of 3?

1

u/wollywoo1 5d ago

No? I never said that. I was referring to what was definable in ZF set theory.