Uncomputable AIXI can be approximated almost arbitrarily well by computable versions.

Provided you have access to unbounded computing power and don't give half a damn about non-asymptotic tractability, yes.