Remember it is Omega implementing the tie-breaker rule, since it defines the problem.
The consequence of the tie-breaker is that the choosing agent knows that Omega’s box-choice was a simple deterministic function of a mathematical calculation (or a proof). So the agent’s uncertainty about which box contains the money is pure logical uncertainty.
Remember it is Omega implementing the tie-breaker rule, since it defines the problem.
The consequence of the tie-breaker is that the choosing agent knows that Omega’s box-choice was a simple deterministic function of a mathematical calculation (or a proof). So the agent’s uncertainty about which box contains the money is pure logical uncertainty.
Whoops… I can’t believe I missed that. You are obviously right.