Vladimir_Nesov comments on Dreams of AIXI

[Vladimir_Nesov]

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)