faul_sname comments on Mixed Reference: The Great Reductionist Project - Less Wrong

29 Post author: Eliezer_Yudkowsky 05 December 2012 12:26AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (353)

You are viewing a single comment's thread. Show more comments above.

Comment author: faul_sname 06 December 2012 07:32:35PM 2 points [-]

So what you're saying is that if we did define such a universe to contain only a single blank canvas and nothing else, our internal model of a grid with a glider would be a good example of a counterfactual?

(thus demonstrating that counterfactuals can, themselves, contain counterfactuals).

Comment author: shminux 06 December 2012 07:48:57PM 0 points [-]

(thus demonstrating that counterfactuals can, themselves, contain counterfactuals).

Nice one.

I am trying to nail the definition of a counterfactual in a GoL universe. Clearly, if you define this universe as a blank canvas, every game is a counterfactual. However, if the GoL universe is a collection of all possible games (hello, Tegmark!!), then there are no counterfactuals of the type you describe in it. However, what army1987 suggested would probably still count as a counterfactual: given a realization of a game and a certain position in it, find whether another realization, with an extra glider, converges to the same position. The counterfactualness there comes from privileging one game from the lot, not from mapping it to our universe.