Baughn comments on Harry Potter and the Methods of Rationality discussion thread - Less Wrong

34 Post author: Unnamed 27 May 2010 12:10AM

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

Comments (866)

You are viewing a single comment's thread.

Comment author: Baughn 04 July 2010 12:07:56AM *  2 points [-]

I should really have mentioned this back in the appropriate chapter, but..

Remember how Harry complains that adding (consistent) time-travel makes the universe uncomputable? Leaving aside how I'm not exactly convinced of that myself, I thought I should point out that such consistent time-travel has recently been experimentally demonstrated.

Have a look at http://arxiv4.library.cornell.edu/abs/1005.2219 . It was published way too late for Harry to read it, unfortunately. :P

Comment author: Sniffnoy 04 July 2010 12:27:06AM 1 point [-]

If I'm reading this right, this isn't an experimental demonstration of time travel, rather, it's a theory of time travel, the predictions of which can be determined experimentally, and an example of such an experiment, to determine what would happen in a grandfather paradox case if the theory is correct.

Comment author: Baughn 04 July 2010 01:09:37AM *  2 points [-]

I interpreted it as stating that they had actually performed the experiment, and gotten a positive result. Am I misinterpreting something?

Comment author: Sniffnoy 04 July 2010 04:11:19AM 1 point [-]

As I understand it, their theory is that time travel is like postselection. Hence, to determine what would happen in the case of the grandfather paradox, they set up an equivalent postselection experiment. So if their theory is correct, the results of an actual grandfather paradox experiment would match the results of this simulated-via-postselection one.

Comment author: Baughn 04 July 2010 07:25:12AM 0 points [-]

In what sense is post-selection not time-travel? You've still got the state at time T determined by the state at T+1.

Comment author: Sniffnoy 04 July 2010 08:18:11AM 1 point [-]

Because, if I'm reading this right, they literally manually postselected the results. They didn't come up with some way to get the physics to postselect it for you.

Comment author: wedrifid 04 July 2010 03:23:07AM 0 points [-]

we report the results of an experiment demonstrating our theory's resolution of the well-known `grandfather paradox.

My interpretation matches yours.

Comment author: Douglas_Knight 04 July 2010 04:28:38AM 0 points [-]

The abstract mentions Deutsch November 1991, just a bit too late for Harry. Deutsch is specificaly about quantum mechanics and that the result is computable. He suggests that you could solve hard problems with a CTC, but I don't think he pursues it. I am amused by the caption to figure 5: "Network for finding a fixed point of f?"