Infinity xkcd style: can a turing machine exist?

884 Views Asked by At

I recently read this xkcd comic. It's about a guy who simulates a universe by a Turing machine (specifically, Rule 101, a cellular automaton), by laying down infinite rows of rocks, each row corresponding to a 'state' of the universe.

This made me wonder, because my intuition with dealing with infinities always gets a bit muddy. A single row of stones stretching to infinity is perfectly allowed by mathematicians, as far as I know. And just like in the infinite hotel, we can add some more stones to such a row if necessary.

What happens though, when you add multiple rows? At some point, our guy from the comic must have stopped on the first row, and start on the next. However, in an infinite row of stones, there is no last stone - or is there?

Tldr; In other words, if we let $t\to \infty$, will we end up with one row with an infinite number of stones, or with an infinite number of rows?

Edit: I'm not looking into the question whether above machine could describe a universe - let's assume that it can. I'm only wondering whether you can get to the second infinite row if time is infinite. Maybe I should have removed the rest.

1

There are 1 best solutions below

0
On

If the first row is infinte, then it doesn't matter how much time she has on her hands, she will never finish laying it down, and thus never get to row number two.

However, in the comic, while she says that the desert expands seemingly infinitely, she doesn't say anything about her computer being infinitely large. Just that there's more than enough room for it.

Therefore, I conjecture that the first row isn't infinite, it's just very, very long (a binary representation of our universe, in a format constructed to be easy to calculate with, not compact). Therefore, after a vary long (but finite) time, she gets to row umber two. That row must also take quite some time to lay out, but it's still finite.

As to the intuition about infinities, if the first row were infinite, but there were infinitely many people out there laying rocks, each one responsible for only xkcd (the third panel) many stones or so, the first row would be finished at some point in time.

This is more or less equivalent to the fact that, in Hilbert's hotel, every guest is responsible to move to their own next room. That's very different from the one hotel owner knocking on every door, one by one, asking them to please move over to the next room. In the first scenario, the whole event might be over in an hour or so, depending on how quick people are packing their stuff. In the second one, there is no end. The hotel owner is doomed to forever knock on the next door asking them to please move one room over.