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.

alex_zag_al comments on Open thread, September 2-8, 2013 - Less Wrong Discussion

0 Post author: David_Gerard 02 September 2013 02:07PM

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

Article Navigation

Comments (376)
Tags: open open_thread

Comments (376)

You are viewing a single comment's thread. Show more comments above.

Comment author: alex_zag_al 06 September 2013 03:21:02PM *  0 points [-]

Yeah, so to add some redundancy for y'all, here's the text surrounding the equations I'm having trouble with.

The 18.10 to 18.11 jump I'm having trouble with is the one in this part of the text:

But suppose that, for a given E_b, (18.8) holds independently of what E_a might be; call this 'strong irrelevance'. Then we have (what I'm calling 18.10) But if this is to hold for all (A_p|E_a), the integrands must be the same: (what I'm calling 18.11, and can't derive) .

And equation 18.15, which I can't justify, is in this part of the text:

But then, by definition (18.1) of A_p, we can see that A_p automatically cancels out E_aa in the numerator: (F|A_pE_aa)=(F|A_p). And so we have (18.13) reduced to (what I'm calling 18.15, and don't follow the justification for)

Powered by Reddit Powered by Reddit