Actual Infinity in Reality?

[RoadRunner79]

Back to the topic.... I think there is an question that wasn't answered, that should be.

  If it is said, that a line contains a continuum of points (however you choose to define them).  Despite the fact, that this supposed infinity ends at 1 which is contradictory to saying that it is infinite in number in itself. (note:  I'll use one as a destination in this writing, although it may be another length)   What is the point immediately prior to 1?  There is necessarily an instance, where you transition from "not 1" to "1" while traveling along this line. 

I don't think that those proposing an actual infinite can answer the question.   I believe that this question shows the bait and switch that is occurring (whether the presenter knows it or not).  I think it is also why I have found difficulty in these conversations in having someone define what the term "point" is.  (It much easier to play fast and loose, if you do not define your terms).  If the points along the line are in fact infinite, then there cannot be a transition from "not 1" to "1".  As the argument goes, no matter how small the number is between our last point and the destination, we can always make up another number which is yet smaller (nature of the decimal system).  And we can repeat this over and over again, never reaching 1.  The time doesn't matter; this will never end (which is correctly  the definition of infinite) .   This is what Zeno's dichotomy (runners) paradox shows .   And I don't think that this is being addressed.  To get from "not 1" to "1"  you have to end the infinity (thus not infinite).

If you follow the logic and the procedure that is used to get an infinity in this way, then you cannot logically reach the destination either (not if you are consistent).  Adding an infinity of points of time, does not change here that the process will never end (which is why time is inconsequential).  The fact, that it does end, and that motion is possible, shows that this idea of a infinity in any given line and any given motion, shows that this idea is not logical (or at least the way it is argued is not logical).  

Roadrunner, if you are interested, then you may want to study real analysis, as this subject will  provide answers to your questions (though you may not personally agree with them). Specifically, it covers the following material, which IMO, is relevant to your inquiries: sets and cardinalities of sets; the limit concept; infinite series and sequences; properties of real numbers such as least upper bounds, greatest lower bounds, and the completeness and density of the real numbers.  IMO, you may find these topics interesting, and taking a real analysis course, may be the only way to fully understand/appreciate these ideas; taking this course would also give you more tools to formally prove/disprove various mathematical ideas.

Ok... .so how would you answer?  Would you agree, that if there is a logical contradiction, that this would disprove the math?   Perhaps a problem in the assumptions or in the way things are being explained, that it is not an actual infinite but something else. 

This guy has a number of articles about Infinity and what he sees as philosophical problems underpinning this relatively recent theory.  The following observation is interesting. 

Mathematicians are an interesting bunch. They are very, very rigorous when it comes to analyzing implications – what follows from what. They do not seem nearly as rigorous when it comes to analyzing presuppositions – what precedes from what. In fact, they do not even seem to be aware of their own presuppositions. I’ve been told countless times, “It’s absolutely certain that Cantor proved the existence of different sizes of infinite sets! Mathematicians have double-checked his work for a century!”

But they don’t seem to be aware of one problem: what if the presuppositions of Cantor’s proof are wrong? What if – specifically – the concepts that he presupposed were imprecise.