If the set of Universe States is finite, then yes, there will be a computable utility function for any VNM-rational preferences (the program can be just a lookup table).
Ooops, not totally correct, because the probabilities in the lotteries could be uncomputable.
Ooops, not totally correct, because the probabilities in the lotteries could be uncomputable.