Nick_Tarleton comments on What if AI doesn't quite go FOOM? - Less Wrong

11 Post author: Mass_Driver 20 June 2010 12:03AM

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

Comments (186)

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

Comment author: Nick_Tarleton 22 June 2010 06:11:16PM *  1 point [-]

No, it is not a logical contradiction. The fact that someone can implement a stupid algorithm does not make the claim "it is a logical contradiction for someone to predict my actions in advance and tell me about it". Just because someone could implement a stupid algorithm for decision making or a naive algorithm for prediction (don't know when to shut up) doesn't mean you can make that general claim. Not even close.

It does mean you can make a general claim analogous to Rice's theorem / the undecidability of the halting problem — not that such a claim is incredibly interesting for our purposes.

Your argument would probably apply if I were refuting a different but somewhat related assertion.

Point taken; it doesn't seem like we actually disagree about anything.

Comment author: wedrifid 22 June 2010 06:43:18PM 1 point [-]

It does mean you can make a general claim analogous to Rice's theorem / the undecidability of the halting problem — not that such a claim is incredibly interesting for our purposes.

The cache of this conversation is buried somewhat in my brain but I think there is something to what you say here.