wnoise comments on Decoherence is Simple - Less Wrong

20 Post author: Eliezer_Yudkowsky 06 May 2008 07:44AM

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

Comments (57)

Sort By: Old

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

Comment author: XiXiDu 24 November 2010 07:58:25PM 2 points [-]

I'm stuck, what does ~ denote?

For every story "X∧Y", there is a story "X∧~Y". When you just tell the story "X", you get to sum over the possibilities Y and ~Y.

Y and ~Y, where ~Y does read as ... ?

Comment author: wnoise 24 November 2010 08:23:16PM 2 points [-]

"Not Y".

The prefix tilde, "~", is commonly used as an ASCII approximation for logical negation, in place of the more mathematically formal notation of "¬" (U+00AC, HTML entity "¬", and latex "\lnot") . On that page are a few other common notations.