Incorrect comments on A model of UDT with a concrete prior over logical statements - Less Wrong

43 Post author: Benja 28 August 2012 09:45PM

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

Comments (21)

Sort By: Best

You are viewing a single comment's thread.

Comment author: Incorrect 28 August 2012 10:49:16PM 2 points [-]

We interpret elements X of Pow(S) as "logical worlds", in which the sentences in X are true and the sentences in (Pow(S) \ X) are false.

Shouldn't this be (S \ X) instead of (Pow(S) \ X)?

Comment author: Benja 29 August 2012 06:42:47AM * 0 points [-]

Fixed, thank you!