There are pretty strong reasons to expect that neither direction (conditioning or switching UTM) perfectly simulates the other. I think one of the two directions is known to be impossible—that conditioning cannot be replaced by switching UTM.
I guess I wouldn’t expect UTM switching to be able to express any conditioning, that wouldn’t make sense since conditioning can exclude TMs and UTMs can all express any TM. But that doesn’t strike me as the sort of conditioning prior knowledge of the internet would impose?
Actually, now that I think about it, I guess it could be.
There are pretty strong reasons to expect that neither direction (conditioning or switching UTM) perfectly simulates the other. I think one of the two directions is known to be impossible—that conditioning cannot be replaced by switching UTM.
I guess I wouldn’t expect UTM switching to be able to express any conditioning, that wouldn’t make sense since conditioning can exclude TMs and UTMs can all express any TM. But that doesn’t strike me as the sort of conditioning prior knowledge of the internet would impose?
Actually, now that I think about it, I guess it could be.