When: D(M) = true, D(!M) = true, E = true Omega fails.
When:
D(M) = true, D(!M) = true, E = true
Omega fails.
No, but it seems that way because I neglected in my OP to supply some key details of the transparent-boxes scenario. See my new edit at the end of the OP.
So, with those details, that resolves to “I get $0”. This makes D(M) = !M the unambiguous ‘correct’ decision function.
No, but it seems that way because I neglected in my OP to supply some key details of the transparent-boxes scenario. See my new edit at the end of the OP.
So, with those details, that resolves to “I get $0”. This makes D(M) = !M the unambiguous ‘correct’ decision function.