I’ll need to write a full discussion post about that at some point. There is one crucial difference besides “I’m TDT” and “I’m CDT”. It’s “The simulated agent uses the same decision theory” and “The simulated agent does not use the same decision theory”.
That’s not exactly the same problem, and I think that is the whole point.
Um, yes, they were. That’s the whole point.
I’ll need to write a full discussion post about that at some point. There is one crucial difference besides “I’m TDT” and “I’m CDT”. It’s “The simulated agent uses the same decision theory” and “The simulated agent does not use the same decision theory”.
That’s not exactly the same problem, and I think that is the whole point.