kilobug comments on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 109 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (160)
Didn't Harry already point out that the time travel was not computable, and as a result it couldn't be a simulation? Although he didn't go to great lengths to prove that. He assumed that there was no force subtly manipulating events to make sure time travel is consistent. In fact, he is in a simulation run on the computer that is Eliezer's brain.
Time travel isn't fully computable, but that doesn't mean it can't be approximated, that you can't make hacks giving the impression of time travel to people inside the simulation.
It might even be possible that attempts to abuse time travel (like the one done by Harry at the beginning when he tried to factorize primes using the Time-Turner) raise an alert in the simulation, freezes the simulation until an operator manually inputs an acceptable solution ("don't mess with time" being the solution hand-crafted by the operator).
Depends on what kind of time travel and what kind of universe. Heck, even classical newtonian real-valued physics is not computable (but is computable to arbitrary precision). If the information content of the universe is finite (like, it is a grid of finite many cells, each of them could be in only finite many states, and time is discrete as well), then time travel is computable - you just have to store the information for the past 6 hours and brute-force consistent stable loops.