You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

gjm comments on Steelmaning AI risk critiques - Less Wrong Discussion

26 Post author: Stuart_Armstrong 23 July 2015 10:01AM

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

Article Navigation

Comments (98)
Tags: steelmaning steelman ai_risk critiques ai

Comments (98)

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

Comment author: gjm 03 August 2015 02:48:58PM -1 points [-]

that actually requires degrees of self-reference that put you into the territory of paradox theorems.

Oh, OK, the Löbstacle thing. You're right, that's a matter of program verification and as such more in the territory of Problem One than of Problem Two.

Powered by Reddit Powered by Reddit