Jovial said:
Originally Posted by Jovial
Infinity is a concept, not a place or number. It can only be understood in terms of a limit process. To say something is infinite means no matter how big of a finite number we chose, we can always choose something bigger.
One of the things that amazed me about math when I was a kid was that, even though "infinity" is not a number, infinite sets can be compared in size much like finite sets can. We know S = {1,2,3} is "smaller" than T = {1,2,3,4}. Intuitively, we know this because 3 < 4. Rigorously speaking, this is proved by showing that there is an "injection" from S to T: this is defined simply as a function where no two elements of S are mapped to the same element of T. You can convince yourself that there can be no injection from T to S.
This same idea applies to infinite sets...if S and T are infinite, then S is smaller than T if you can find an injection from S into T. Furthermore (and this also applies to the above), if you can ALSO find an injection from T into S, then S and T are equal in size (cardinality). Using these ideas, you can show that the set of all integers {...,-2,-1,0,1,2,...} has the same cardinality as the naturals {0,1,2,...}. Even weirder, there are just as many natural numbers as there are rationals. What is most amazing is that you can prove that there exists no injection from the set of reals into the set of naturals; in essence, there are more real numbers than naturals (and hence, more reals than rationals!). There are, in fact, different "sizes," or orders, if you will, of infinite quantities. Cantor proved this in the late 1800's with his diagonal argument. It's a proof that can be explained to almost anyone in less than an hour, but whose consequences are deeply disturbing to most people.
In order to say that infinity is an artificial notion, you have to say that all mathematics is an artificial notion. You can say that, but you will have to explain why it has so much power of prediction in the real world, when mathematics is used to model the real world.
Very well said. Whether or not the ambient space in which our fundamental particles exist is continuous or discrete (and this question has not been settled), our space behaves so much like a continuum (at reasonable distances/masses/speeds) that calculus describes it accurately. And of course, calculus is fundamentally based on the infinite divisibility and connectedness of the real line.