|
 Originally Posted by kiwiMark
This seems to be the key thing, especially after checking out some of your earlier links on cardinality and such. I can happily accept the proofs in the videos if we're talking about concepts that are specific to infinity, but saying that this means (for example) there are more numbers between blah than there are blah, doesn't seem to be a simplification or a translation to layman's terms, it just seems to be incorrect.
I don't know (and can't be bothered to do a ton of wikipedia research at the moment on) the exact specifics of all of the mathematic definitions of "more than" and "bigger" and "larger" and all of that, but it doesn't seem all that preposterous to me that some infinities can be larger than others, at least by every practical definition we have of the word larger.
Infinites aren't endless. They're not boundless at all. If I represent a ray (let's say Ray A) on a piece of paper with its starting point on the left and the arrow to the right, then that ray has allllll sorts of boundaries that I can point to. The starting point on the left is the most obvious boundary. There's also everything above and below the line. Everything in front of and in back of the plane of the paper on which you wrote it is outside of the bounds of this infinity. All of the time before you drew the ray and all of the time after it's been erased (I realize it's only a representation of a ray, but I'm sure that rays in the real world aren't eternal).
There is simply one very specific way in which it is endless; it just keeps going to the right ad infinitum. If we were to draw a different ray (Ray B) to the direct left of Ray A, that after an inch of paper space, that overlaps with Ray A and continues in the same exact manner to the right ad infinitum, then Ray B is literally Ray A + 1 inch of paper space. Since Ray A is infinite, I know that we can't actually add that together in a way that makes the expression Ray A + 1 make any sense, but that's still exactly what Ray B is. There are several sections of spacetime you can look at that include Ray A, and all of them would include at least as much of Ray B. There are some sections of spacetime you can look at that include only Ray B. Then, finally and most obviously, there are an endless amount of sections of spacetime that you could look at that include neither. There are no instances whatsoever (though I'm only looking at finite sections of space, which I know rong will take issue with) where Ray A occupies more than Ray B. It's impossible; it doesn't exist. Its bounds don't allow for such a scenario to be possible, even though there exist some that include more of Ray B than Ray A (I'm guessing this is exactly what davidem is talking about with the injective/bijective functions).
And that's just another ray that's just an inch "longer." There's also the line that's endless both to the left and to the right that includes all of Ray A, plus infinite more. Then, there's the plane that contains Ray A, which is infinite more than that line which is infinite more. Then, there's whatever the 3-d equivalent of a plane is, that includes the plane that includes the line that includes Ray A. Then there's an eternally extant 3-d equivalent of the plane. Etc.
If we talk about this last thing, the "subset" of infinite time and infinite space in all directions, then ALMOST EVERY MOTHERFUCKING THING EVER is an example of something that is in one subset and not in the other. The only points that aren't examples of that, are points that both include the TRULY endless thing, AND points on Ray A, which is admittedly (in the grand context of all things that ever were, are, will be, could be and couldn't be) an extremely small percentage of things, though infinite they are. I mean, I know that it's infinite, so you can't divide by it to get the exact probability, but surely we're willing to admit that if we had an RNG spit out a point for anything ever, then most of the time, it would not be a point on that ray.
So I don't know whether it's literally impossible to ever "account" (bad word, but it's the best one I can think of) for the relative size of these sets' inclusion of points, or if it's just our counting-based math that makes it impossible because we're dealing with uncountable entities, but I can't see a way to where one isn't more inclusive simple because they're not finite. Sure, to say that we can't know what the probability is that a random point within the subset of {Everything that was + Everything is + Everything that will be + Everything that could be + Everything that couldn't be} would include {Ray A} seems tenable; but to say that we can't be certain that that probability would be very low seems a bit crazy.
|