V_V comments on Intelligence Metrics with Naturalized Induction using UDT - Less Wrong

13 Post author: Squark 21 February 2014 12:23PM

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

Comments (26)

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

Comment author: V_V 22 February 2014 08:19:36PM 0 points [-]

If I'm understanding correctly, it is intended to solve the 5-and-10 problem

Can the 5-and-10 problem affect agents which reason on a consistent formal system? If I understand correctly, it can't.