It’s possible for two programs to know each other’s code and to perfectly deduce each other’s result without taking forever, they just can’t do it by simulating each other. But they can do it by formal reasoning about each other, if it happens to be sufficiently easy and neither is preventing the other from predicting it. The issues here are not about fidelity of prediction.
It’s possible for two programs to know each other’s code and to perfectly deduce each other’s result without taking forever, they just can’t do it by simulating each other. But they can do it by formal reasoning about each other, if it happens to be sufficiently easy and neither is preventing the other from predicting it. The issues here are not about fidelity of prediction.