Uncomputable AIXI being “out-thought” by uncomputable Omega now seems like a fairly hypothetical situation...
Priceless :-)
Priceless :-)