Vladimir_Nesov comments on The Curve of Capability - Less Wrong

18 Post author: rwallace 04 November 2010 08:22PM

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

Article Navigation

Comments (264)
Tags: ai future singularity

Comments (264)

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

Comment author: Vladimir_Nesov 06 November 2010 10:53:38AM *  2 points [-]

Let's assume that you contemplate the possibility Z XOR ¬Z.

Z XOR ¬Z is always TRUE.

(I know what you mean, but it looks funny.)

Comment author: XiXiDu 06 November 2010 11:42:25AM 0 points [-]

Fixed it now (I hope), thanks.

Comment author: Vladimir_Nesov 06 November 2010 11:49:12AM *  0 points [-]

I think it became more confused now. With C and D unrelated, what do you care for (C XOR D)? For the same reason, you can't now expect evidence for C to always be counter-evidence for D.

Comment author: XiXiDu 06 November 2010 12:19:42PM 2 points [-]

Thanks for your patience and feedback, I updated it again. I hope it is now somewhat more clear what I'm trying to state.

Comment author: XiXiDu 06 November 2010 11:28:50AM 0 points [-]

Whoops, I'm just learning the basics (some practise here). I took NOT Z as an independent proposition. I guess there is no simple way to express this if you do not assign the negotation of Z its own variable, in case you want it to be an indepedent proposition?

Powered by Reddit Powered by Reddit