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.

shminux comments on Evidence For Simulation - Less Wrong Discussion

14 Post author: TruePath 27 January 2012 11:07PM

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

Comments (20)

You are viewing a single comment's thread.

Comment author: shminux 28 January 2012 01:48:12AM *  4 points [-]

The most compelling evidence we could discover of simulation would be the signature of a psuedo-random(sic) number generator in the outcomes of `random' QM events.

The Bell inequality says that this is not likely to happen, since pseudo-random number generators are deterministic and so can be treated as hidden variables. There is a chance that they are non-local hidden variables, but that would imply some weird things regarding the time flows in the simulation and in the simulator (for example, there cannot be a bijection between the two).

Comment author: Dmytry 28 January 2012 02:29:03PM 0 points [-]

The Bell's inequality is neatly explained in MWI though with no intrinsic randomness whatsoever (just the thermodynamical randomness inside the observer).

Comment author: shminux 28 January 2012 06:01:45PM 0 points [-]

I must have missed that post in the quantum physics sequence, feel free to link it.

Comment author: Dmytry 28 January 2012 06:39:53PM *  1 point [-]

here Note: all observations in MWI ends up with observer de-cohering.

It's rather easy to misunderstand Bell's theorem and overstate it's applicability. It's a bit like how relativity doesn't prevent a dot of laser projector from moving faster than light on far away enough screen.

Bell's theorem rules out local hidden variables that move around together with particles. It doesn't rule out locality in general, and doesn't rule out lack of randomness. (MWI doesn't have any objective randomness)

Something tangential. In CS, the "non-deterministic", as in "NP-complete" and "non-deterministic Turing machine", is the machine that would fork or would magically pick the transition that leads to solution, rather than machine that would choose some truly random transition from the list.