timtyler comments on Dreams of AIXI - Less Wrong

-1 Post author: jacob_cannell 30 August 2010 10:15PM

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

Comments (145)

Sort By: Best

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

Comment author: Vladimir_Nesov 31 August 2010 09:44:20AM * 5 points [-]

AIXI is computable in the mathematical sense of being written as a computer program that will provably halt in finitely many steps

AIXI's decision procedure is not computable (but AIXItl's is). (Link)