RolfAndreassen comments on Limits on self-optimisation - Less Wrong

6 Post author: RolfAndreassen 20 January 2012 09:58PM

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

Comments (36)

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

Comment author: RolfAndreassen 21 January 2012 09:51:46PM 0 points [-]

Well, ok, just terminate the search for proof after some defined cutoff time, ok. But that may drastically limit the kinds of proof you are able to find.

Comment author: DanielLC 22 January 2012 12:27:30AM 0 points [-]

It may. It may not. I don't know. It may be impossible to optimize a system that much. That's not my field.