mamert comments on The Parable of the Dagger - Less Wrong

53 Post author: Eliezer_Yudkowsky 01 February 2008 08:53PM

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

Comments (95)

Sort By: Old

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

Comment author: mamert 14 October 2015 10:46:37AM *  1 point [-]

Bx is true if box x has gold, false if frog. one contains frog, other gold -> B1 == ~B2. only one inscription is true -> Bf == ~Bt

We know:

B2 && Bf || Bt && B1 (I1)

B2 && Bt || B1 && Bt (I2)

Bt == B1 && Bf == B2 && I1 && ~I2 || Bf == B1 && Bt == B2 && ~I1 && I2 # only one inscription is true

From this:

((B2 && B2 || B1 && B1) && ~(B2 && B1 || B1 && B1)) || (~(B2 && B1 || B2 && B1) && (B2 && B2 || B1 && B2))

((B2 || B1) && ~(false || B1)) || (~(false || false) && (B2 || false))

(true && (true && B2)) || ((true && true) && B2)

B2 || B2

B2 # so, Box 2 contains gold