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.

RomeoStevens comments on What is optimization power, formally? - Less Wrong Discussion

10 Post author: sbenthall 18 October 2014 06:37PM

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

Comments (15)

You are viewing a single comment's thread.

Comment author: RomeoStevens 18 October 2014 09:34:45PM *  1 point [-]

String A and B are descriptions of worldstates. A is the received string, B is the desired string. It is not clear that there is a simple operation that generates a string "between" A and B. It seems intuitively like we should look to the VNM-axioms for a simple formal model of "betweeness" I think. Not sure.

A powerful optimizer can perform transforms between more disparate As and Bs maybe.

Comment author: Gunnar_Zarncke 19 October 2014 08:48:32AM 1 point [-]

You could compare the structure of the compression (minimal program to represent) of the two strings. Though this asks the same question only on another level.