Vladimir_Nesov comments on AI cooperation in practice - Less Wrong

26 Post author: cousin_it 30 July 2010 04:21PM

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

Sort By: Best

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

Comment author: Vladimir_Nesov 31 July 2010 10:38:26AM * 0 points [-]

I've looked at the argument, and it seems to me that Tim Tyler is right, the first case depends on the implementation of "proves (code, maxsteps)."

I replied here.

Comment author: Unknowns 31 July 2010 01:14:22PM 1 point [-]

I changed my mind anyway.

Comments (157)