Karl comments on A problem with “playing chicken with the universe” as an approach to UDT

[Karl]

To quote step 2 of the original algorithm:

For every possible action a, find some utility value u such that S proves that A()=a ⇒ U()=u. If such a proof cannot be found for some a, break down and cry because the universe is unfair.