Harry Potter and the Methods of Rationality discussion thread, part 25, chapter 96

NancyLebovitz

This is a new thread to discuss Eliezer Yudkowsky’s Harry Potter and the Methods of Rationality and anything related to it. This thread is intended for discussing chapter 96. The previous thread is at almost 300 comments.

There is now a site dedicated to the story at hpmor.com, which is now the place to go to find the authors notes and all sorts of other goodies. AdeleneDawner has kept an archive of Author’s Notes. (This goes up to the notes for chapter 76, and is now not updating. The authors notes from chapter 77 onwards are on hpmor.com.)

The first 5 discussion threads are on the main page under the harry_potter tag. Threads 6 and on (including this one) are in the discussion section using its separate tag system.

Also: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, .

Spoiler Warning: this thread is full of spoilers. With few exceptions, spoilers for MOR and canon are fair game to post, without warning or rot13. More specifically:

You do not need to rot13 anything about HP:MoR or the original Harry Potter series unless you are posting insider information from Eliezer Yudkowsky which is not supposed to be publicly available (which includes public statements by Eliezer that have been retracted).

If there is evidence for X in MOR and/or canon then it’s fine to post about X without rot13, even if you also have heard privately from Eliezer that X is true. But you should not post that “Eliezer said X is true” unless you use rot13.

The first 5 discussion threads are on the main page under the harry_potter tag. Threads 6 and on (including this one) are in the discussion section using its separate tag system.

Also: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, .

Spoiler Warning: this thread is full of spoilers. With few exceptions, spoilers for MOR and canon are fair game to post, without warning or rot13. More specifically:

You do not need to rot13 anything about HP:MoR or the original Harry Potter series unless you are posting insider information from Eliezer Yudkowsky which is not supposed to be publicly available (which includes public statements by Eliezer that have been retracted).

If there is evidence for X in MOR and/or canon then it’s fine to post about X without rot13, even if you also have heard privately from Eliezer that X is true. But you should not post that “Eliezer said X is true” unless you use rot13.

You are talking about prior probability. P(Dark Lord is Death|no specific background information) roughly equals to P(Eliezer changes things from canon), which isn't very large; so after updating both with a equally favorable piece of evidence "Death is Dark Lord" is still behind "Voldemort is Dark Lord".

You can assign prior probabilities in various ways, and one of them is giving every hypothesis an appropriate complexity penalty (or you can just judge everything as equally likely, or give everything a simplicity penalty, or penalize every hypothesis according to how many people it affects, or...). Some ways are better than others, but:

1) Why "complexity penalty" should work in fiction, even in a rationalist fiction?

2) Why hypothesis "Voldemort is Dark Lord" is simpler than "Death is Dark Lord" in the sense of program length? One can argue that the former hypothesis points to the specific human from a pool of a 6 billion people (or 100 billion, if you want to consider every human ever lived) while the latter talks about some entity likely to be very basic from the Magic viewpoint.

Hope that clears some of confusion!

Hmm, I suppose you could judge the "complexity" of the plot of a fan fic by how much it deviated from Canon.

16Eliezer Yudkowsky13y

Because there will still be an infinite (countable) number of finite hypotheses which could be considered and only a finite amount of probability to divide among them, which necessarily implies that in the limit more complicated hypotheses will have individual probability approaching zero. This will be true in the limit even if you define 'complexity' differently than the person who constructed the distribution.