You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Squark comments on Open thread, 11-17 March 2014 - Less Wrong Discussion

3 Post author: David_Gerard 11 March 2014 10:45PM

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

Comments (226)

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

Comment author: Squark 14 March 2014 07:34:20PM 2 points [-]

The most outer copy is never in a simulation, since the content of any simulation exists in the Tegmark IV multiverse as a universe in itself.

Comment author: Gunnar_Zarncke 14 March 2014 08:20:30PM 0 points [-]

I'm not sure if you intentionally misunderstand me - possibly to put me on a more abstract track. Or if you see that I'm discussing the issue on the same level as the simulation argument does. Namely in a szenario where we do have nested structures (simulations, simulated 'sub universes'; of course all just part of some large mathematical structure ) and certain probability relations between these nestings hold.

Comment author: Squark 14 March 2014 08:30:39PM *  1 point [-]

I'm saying that the simulation argument is wrong because it follows from a mistaken epistemic framework (SIA). Once you switch to the correct epistemic framework (UDT) the argument dissolves.

Comment author: Gunnar_Zarncke 15 March 2014 09:21:48AM 0 points [-]

Once you switch to the correct epistemic framework...

You might have indicated that you want to apply another framework than implied by my reference to the simulation argument.

I might agree with yours reasoning, but need more input on this:

It is possible to demonstrate decision problems in which the optimal decision depends on whether the problem is nested in a simulation.

Once you switch to the correct epistemic framework (UDT) the argument dissolves.

Can you give me a ref for this? I don't see how it ovbiously follows.

But going back one step: Would you agree that my argument is valid in the 'wrong' framework I used?

Comment author: Squark 15 March 2014 10:21:47AM *  1 point [-]

Once you switch to the correct epistemic framework (UDT) the argument dissolves.

The best ref I could find is this

Roughly speaking, UDT says you show make decisions as if you decide for all of your copies. So, if there are copies of you inside and outside simulations, you should take all of them into account. Now, if all the copies inside simulations are located in the far future wrt the copy outside simulations (e.g. because those copies were created by a post-human civilization) you can usually disregard them because of the temporal discount in the utility function. On the other hand, you can consider the possibility that all copies are inside simulation. But, once you go the the Tegmark IV multiverse it is not a real possibility since you can always imagine a universe in which you are not inside a simulation. The only question is the relative weight ("magic reality fluid") of this universe. Since weight is 2^{-Kolmogorov complexity}, if the simplest hypothesis explaining your universe doesn't involve embedding it in a simulation, you should act as if you're not in a simulation. If the simplest hypothesis explaining your universe does involve embedding it in a simulation (e.g. because the Creator just spoke to you yesterday), you should behave as if you're in a simulation. So Egan's law is intact.

But going back one step: Would you agree that my argument is valid in the 'wrong' framework I used?

I think Occam's razor still applies even if we are in a simulation. It's just more difficult to apply. It would probably involve something like trying to guess the motivation of the Creators and update on that.

Comment author: Gunnar_Zarncke 15 March 2014 02:51:16PM 0 points [-]

The best ref I could find is this

That thread in inconclusive. It basically urges for an explanatory post too. But thanks for giving it.

Would you agree that my argument is valid...

I think Occam's razor still applies even if we are in a simulation...

As that is building on the conclusion I take it to mean that you basically agree.

What does follow from this result for e.g. acting depends on lots of factors I don't want to discuss further on this thread.

Tag out.