I don’t believe the isomorphism holds under the (imo reasonable) assumption that rulesets and utility functions must be of finite length, correct?
Which is why I said “in the limit”. But I think, if it is true that one can make reasonably close approximations in any framework, that’s enough for the point to hold.
I don’t believe the isomorphism holds under the (imo reasonable) assumption that rulesets and utility functions must be of finite length, correct?
Which is why I said “in the limit”. But I think, if it is true that one can make reasonably close approximations in any framework, that’s enough for the point to hold.