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.
Provided you have access to unbounded computing power and don’t give half a damn about non-asymptotic tractability, yes.