On the Computability of AIXI
A Formal Theory of Inductive Inference . Part II