[dilippkumar]

I haven't studied math beyond what was needed for my engineering courses.

However, I also am starting to believe that infinity doesn't exist.

Or more specifically, I want to argue that infinity is not a number, it is a process. When you say {1, 2, 3, ... } the "..." represents a process of extending the set without a halting condition.

There is no infinity at the end of a number line. There is a process that says how to extend that number line ever further.

There is no infinity'th prime number. There is a process by which you can show that a bigger primer number must always exist.

[skulk]

> There is no infinity at the end of a number line. There is a process that says how to extend that number line ever further.

Sure, but ordinal numbers exist and are useful. It's impossible to prove Goodstein's theorem without them.

https://en.wikipedia.org/wiki/Ordinal_number

https://en.wikipedia.org/wiki/Goodstein%27s_theorem

The statement and proof of the theorem are quite accessible and eye-opening. I think the number line with ordinals is way cooler than the one without them.

[dilippkumar]

Thanks for the pointer.

I went down the rabbithole, and as far as I can tell, you have to axiomatically assume infinities are real in order to prove Goodstein’s theorem.

I challenge the existence of ordinal numbers in the first place. I’m calling into question the axioms that conjure up these ordinal numbers out of (what I consider sketchy) logic.

But it was a really fun rabbithole to get into, and I do appreciate the elegance of the Goodstein’s theorem proof. It was a little mind bending.

[anvuong]

Whether you think infinity exists or not is up to you, but transfinite mathematics is very useful, it's used to prove theorems like Goodstein's sequence in a surprisingly elegant way. This sequence doesn't really have anything to do with infinity as first glance.

[alexnewman]

What did we build with this useful math. Who was fed? What businesses did it create?

[soulofmischief]

Actually, all numbers are functions in Peano arithmetic. :)

For example, S(0) is 1, S(S(0)) is 2, S(S(S(0))) is 3, and so on.

There is no end of a number line. There are lines, and line segments. Only line segments are finite.

> There is no infinity'th prime number. There is a process by which you can show that a bigger primer number must always exist.

You misunderstand the concept of infinity. Cantor's diagonal argument proves that such a bigger number must always exist. "Infinity'th" is not a place in a number line; Infinity is a set that may be countable or uncountable, depending on what kind of infinity you're working with.

There are infinities with higher cardinality than others. Infinity relates to set theory, and if you try to simply imagine it as a "position" in a line of real numbers, you'll understandably have an inconsistent mental model.

I highly recommend checking out Cantor's diagonal argument. Mathematicians didn't invent infinity as a curiosity; it solves real problems and implies real constraints. https://en.wikipedia.org/wiki/Cantor's_diagonal_argument

[psychoslave]

>You misunderstand the concept of infinity. Cantor's diagonal argument proves that such a bigger number must always exist. "Infinity'th" is not a place in a number line; Infinity is a set that may be countable or uncountable, depending on what kind of infinity you're working with.

Diagonal argument doesn’t work in a constructive ground. It’s not a matter of whether the conclusion is valid, but if we have blind faith in the premises and are fine about speaking of something we can’t build.

They are things that humans will never be able to construct, no matter how far their control over the universe surrounding them might go. To start with, humans can create the universe, — whether it’s infinite or not.

[drdeca]

> For example, S(0) is 1, S(S(0)) is 2, S(S(S(0))) is 3, and so on.

S is a function symbol. S(0) (in PA) is not a function. It is an expression involving one.