(February 14, 2018 at 6:57 pm)Jörmungandr Wrote: It is typically argued that the universe can't be past eternal because there would be no way to traverse an infinity of time. However, such arguments about being unable to traverse an infinite past up to the present, as implied by such arguments as the one that says you can't count successively to infinity, rely on the A theory of time. The idea of "traversing" an infinite past is incoherent on the B theory of time. If the B theory of time is correct, and the universe is infinite in time, such arguments do not apply and you have the case of an actual infinite existing. This leads to attempts to show that the universe is not past eternal by attempting to directly demonstrate that the universe's past is not infinite because the universe had a beginning. This is done by invoking things such as the Borde-Guth-Vilenkin theorem and the standard interpretation of the big bang model which supposedly indicates that the universe has a beginning. However there are theories such as Penrose's Conformal Cyclic Cosmology (see below) in which neither of these objections apply. Conformal Cyclic Cosmology explains why we would find points "in time" that have the appearance of resulting from a universe that had a beginning in a universe which does not in fact have a beginning. So, to the best I can tell, the idea that the universe is temporally infinite is consistent with a B theory of time and with some models of cosmology. So, ultimately, it doesn't appear that the case that you can't have an actual infinite has been made. (Regarding Hilbert's hotel, supposedly the results are absurd. This can mean several things. It can mean that the result is counter-intuitive, or it could mean that the result is logically impossible. I don't off-hand see that Hilbert's exercise demonstrates anything about logical impossibility so much as it is just showing that such things seem to defy our normal intuitions. I don't see the latter as any kind of argument that actual infinities don't exist so much as a demonstration that we aren't natively well equipped to think about such things. That latter fact is of little consequence. Quantum mechanics presents results that are equally absurd in that sense, that doesn't make quantum mechanics wrong. If you think Hilbert's hotel demonstrates something more substantial than this, I'd appreciate someone drawing out the relevant connections, because I don't see them.)
I don't think the B Theory of time solves the underlying problem of having a series of cause/effect relationships. It seems to me that even if all points of time are equally real, they are still ordered by a structure we call cause/effect--a tangible series of objects we can use in thought experiments. [NOTE: I say this to start because there are some here who deny even this].
Perhaps a variation of Hilbert's Hotel:
We can conceive of a possible world (much like the one you are proposing) with a beginningless series of discrete successive events of equal duration leading up to the present (real or perceived present).
[ ...en, ... e5, e4, e3, e2, e1, e0]
We can conceive of another possible world with exactly the same events in the same order, but in between each of those events, another event occurs.
[ ...en, En, ... e5, E5, e4, E4, e3, E3, e2, E2, e1,E1, e0]
In this series, an infinite number of additional events have been added to an already infinite series of events. Are there more events? No. Infinity + infinity = infinity. We can also do the subtraction example from Hilbert, and imagine all the events prior to e3 could have been left out of the chain.
[e3, e2, e1, e0]
In this series, we have subtracted an infinite number of events from an infinite number of events. Infinity - Infinity = 4. Alternately, every other event could have been left out:
[ ...en, ... e4, e2, e0]
In this series, we have left out an infinite number of events from an infinite number of events. Infinity - Infinity = Infinity.
This is not just "counter-intuitive". Actual infinities of real objects leads to absurdities (metaphysical impossibilities). Therefore an actual infinite is not logically possible.
[Example language from a paper from Wes Morrison - http://spot.colorado.edu/~morristo/EndlessFuture.pdf]