Actually, the halting problem (well, its generalization, Rice’s theorem) allow you to get a more precise intuition for why punishing agents iff they follow XDT is ‘unfair’ (it would be Turing-uncomputable for Omega to decide if an agent follow XDT, even with his omniscience and infinite compute).
Actually, the halting problem (well, its generalization, Rice’s theorem) allow you to get a more precise intuition for why punishing agents iff they follow XDT is ‘unfair’ (it would be Turing-uncomputable for Omega to decide if an agent follow XDT, even with his omniscience and infinite compute).