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

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.

Comments (376)

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

Comment author: Oscar_Cunningham 06 September 2013 07:00:16AM *  2 points [-]

I've just looked and I have no idea either. If anyone wants to help there's a copy of the book here.

EDIT: The numbers in that copy are off by 1 from the book. "18.10" = "18-9" and so on.

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)