What Eliezer and Vladimir said (though if anyone’s counting, I decided this before looking at the comments). My choice controls whether or not Omega made its prediction, not the contents of the envelope. (How would one express this using a world-program?)
def P():
envelope_full = pi_parity(10^6)
refuse = Omega_Predict(S, "I predicted that you will refuse this ￡10 if and only if there is ￡1000 000 in Alpha's envelope.")
if envelope_full:
u += 1000000
if refuse == envelope_full:
if not S("I predicted that you will refuse this ￡10 if and only if there is ￡1000 000 in Alpha's envelope."):
u += 10
What Eliezer and Vladimir said (though if anyone’s counting, I decided this before looking at the comments). My choice controls whether or not Omega made its prediction, not the contents of the envelope. (How would one express this using a world-program?)
Yep, this seems correct.
For some reason, Vladimir’s formulation seems clearer to me. Must be my math background.