SoullessAutomaton comments on Let's reimplement EURISKO! - Less Wrong

19 Post author: cousin_it 11 June 2009 04:28PM

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

Comments (151)

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

Comment author: Eliezer_Yudkowsky 11 June 2009 08:21:01PM 14 points [-]

You're having trouble figuring out how to implement AIXI? I saw Marcus write it out as one equation. Perfectly clear what the main loop looks like. All you need is an infinitely fast computer and a halting oracle.

Comment author: SoullessAutomaton 13 June 2009 02:12:37PM 9 points [-]

All you need is an infinitely fast computer and a halting oracle.

Couldn't you implement a halting oracle given an infinitely fast computer, though?

So, that's one requirement down! We'll have this AIXI thing built any day now.