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.

Vaniver comments on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 - Less Wrong Discussion

8 Post author: Gondolinian 28 February 2015 08:23PM

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

Comments (503)

You are viewing a single comment's thread.

Comment author: Vaniver 28 February 2015 10:03:04PM 19 points [-]

(Not a serious suggestion)

Using the Axiom of Choice and partial transfiguration, Harry divides himself into two exact copies, one of which is killed by the Death Eaters and the other of which escapes.

Comment author: solipsist 01 March 2015 04:43:32AM 7 points [-]

If you can tell me exactly how to do something, Harry is allowed to think of it. But it does not serve as a solution to say, for example, "Harry should persuade Voldemort to let him out of the box" if you can't yourself figure out how.

Mathematical progress ground to a standstill in March of 2015, when thousands of researches abandoned their work to search for a constructive proof of the Banach–Tarski theorem.

Comment author: TobyBartels 01 March 2015 09:59:11AM 4 points [-]

It's a little vague how to define ‘constructive’, but we pretty much already know that there isn't one. https://en.wikipedia.org/wiki/Solovay_model