Why not make the counterfactual oracle assume that all its future answers will be ignored, rather than just the current answer? That way you wouldn’t need to stop Alice from re-asking questions.
Possibly, but then we have an Oracle that assumes it will get asked n times, and all answers will be erased, an event with probability ϵn and, in reality, likely to result in very frustrated behaviours from Alice. That is the counterfactual world that determines all its answers.
I think it would be better to reduce ϵ rather than allow re-questionning.
Nice!
Why not make the counterfactual oracle assume that all its future answers will be ignored, rather than just the current answer? That way you wouldn’t need to stop Alice from re-asking questions.
Possibly, but then we have an Oracle that assumes it will get asked n times, and all answers will be erased, an event with probability ϵn and, in reality, likely to result in very frustrated behaviours from Alice. That is the counterfactual world that determines all its answers.
I think it would be better to reduce ϵ rather than allow re-questionning.