lukstafi comments on Counterfactual Calculation and Observational Knowledge - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (183)
We are in the world where the calculator displays even, and we are 99% sure it is the world where the calculator has not made an error. This is Even World, Right Calculator. Counterfactual worlds:
All Omega told us was that the counterfactual world we are deciding for, the calculator shows Odd. We can therefore eliminate Odd World, Wrong Calculator. Answering the question is, in essence, deciding which world we think we're looking at.
So, in the counterfactual world, we're either looking at Even World, Wrong Calculator or Odd World, Right Calculator. We have an equal prior for the world being Odd or Even - or, we think the number of Odd Worlds is equal to the number of Even Worlds. We know the ratio of Wrong Calculator worlds to Right Calculator worlds (1:99). This is, therefore, 99% evidence for Odd World. The correct decision for the counterfactual you in that world is to decide Odd World. The correct decision for you?
Ignoring Bostrom's book on how to deal with observer selection effects (did Omega go looking for a Wrong Calculator world and report it? Did Omega go looking for an Odd World to report to you? Did Omega pick at random from all possible worlds? Did Omega roll a three-sided die to determine which counterfactual world to report?), I believe the correct decision is to answer Odd World for the counterfactual world, with 99% certainty if you are allowed to specify as such.
I reason that by virtue of it being a counterfactual world, it is contingent on my not having the observation of my factual world; factual world observations are screened off by the word "counterfactual".
The other possibility (which I tentatively think is wrong) is that our 99% confidence of Even World (from our factual world) comes up against our 99% confidence of Odd World (from our counterfactual) and they cancel out, bringing you back to your prior. So you should flip a coin to decide even or odd. I think this is wrong because 1) I think you could reason from 50% in the countefactual world to 50% in the factual world, which is wrong, and 2) this setup is identical to punching in the formula, pressing the button and observing "even", then pressing the button again and observing "odd". I don't think you can treat counterfactual worlds as additional observations in this manner.
edit: It occurs to me that with Omega telling you about the counterfactual world, you are receiving a second observation. For this understanding, you would specify Even World with 99% confidence in the factual world and either Even or Odd World depending on how the coin landed for the counterfactual world.
Vladimir says that "Omega doesn't touch any calculator". If the counterfactual is entered at the point where the computation starts and Omega tells you that it results in Odd (ETA2: rereading Vladimir's comment, this is not the case), then it is a second observation contributed by Omega running the calculator and should affect both worlds. If on the other hand the counterfactual is just about the display, then the counterfactual Omega will likely write down Odd (ETA3: not my current answer). So I agree with your analysis. I see it this way: real Omegas cannot write on counterfactual paper.
ETA: -- the "counterfactual" built as "being in another quantum branch of exactly the same universe" strikes me as being of the sort where Omega does run the calculator again, so it should affect both worlds as another observation.
ETA2: I've changed my mind about there being an independent observation.