Wei Dai comments on Omega’s subcontracting to Alpha

[Wei Dai]

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

[Stuart_Armstrong]

Yep, this seems correct.

For some reason, Vladimir’s formulation seems clearer to me. Must be my math background.