A few weeks ago at a Seattle LW meetup, we were discussing the Sleeping Beauty problem and the Doomsday argument. We talked about how framing Sleeping Beauty problem as a decision problem basically solves it and then got the idea of using same heuristic on the Doomsday problem. I think you would need to specify more about the Doomsday setup than is usually done to do this.
We didn't spend a lot of time on it, but it got me thinking: Are there papers on trying to gain insight into the Doomsday problem and other anthropic reasoning problems by framing them as decision problems? I'm surprised I haven't seen this approach talked about here before. The idea seems relatively simple, so perhaps there is some major problem that I'm not seeing.
Surreals also allow this and they are more general, as the hyperreals and the Levi-Civita field are subfields of the surreals.
OK, the "surreals" contain the transfinite ordinals, hence they contain the infinite cardinals as well. So, surreals can indeed model universes of strictly infinite size i.e. not just non-standard finite size.
I think the SIA problem of weighting towards the "largest possible" models still applies though. Suppose we have identified two models of an infinite universe; one says there are aleph0 galaxies; the other says there are aleph1 galaxies. Under SIA, the aleph1 model gets all the probability weight (or decision weight).
If we have a ... (read more)