Counterfactual Calculation and Observational Knowledge
post by Vladimir_Nesov · 20110131T16:28:15.334Z · LW · GW · Legacy · 188 commentsConsider the following thought experiment ("Counterfactual Calculation"):
You are taking a test, which includes a question: "Is Q an even number?", where Q is a complicated formula that resolves to some natural number. There is no a priori reason for you to expect that Q is more likely even or odd, and the formula is too complicated to compute the number (or its parity) on your own. Fortunately, you have an old calculator, which you can use to type in the formula and observe the parity of the result on display. This calculator is not very reliable, and is only correct 99% of the time, furthermore its errors are stochastic (or even involve quantum randomness), so for any given problem statement, it's probably correct but has a chance of making an error. You type in the formula and observe the result (it's "even"). You're now 99% sure that the answer is "even", so naturally you write that down on the test sheet.
Then, unsurprisingly, Omega (a trustworthy allpowerful device) appears and presents you with the following decision. Consider the counterfactual where the calculator displayed "odd" instead of "even", after you've just typed in the (same) formula Q, on the same occasion (i.e. all possible worlds that fit this description). The counterfactual diverges only in the calculator showing a different result (and what follows). You are to determine what is to be written (by Omega, at your command) as the final answer to the same question on the test sheet in that counterfactual (the actions of your counterfactual self who takes the test in the counterfactual are ignored).
Should you write "even" on the counterfactual test sheet, given that you're 99% sure that the answer is "even"?
This thought experiment contrasts "logical knowledge" (the usual kind) and "observational knowledge" (what you get when you look at a calculator display). The kind of knowledge you obtain by observing things is not like the kind of knowledge you obtain by thinking yourself. What is the difference (if there actually is a difference)? Why does observational knowledge work in your own possible worlds, but not in counterfactuals? How much of logical knowledge is like observational knowledge, and what are the conditions of its applicability? Can things that we consider "logical knowledge" fail to apply to some counterfactuals?
(Updateless analysis would say "observational knowledge is not knowledge" or that it's knowledge only in the sense that you should bet a certain way. This doesn't analyze the intuition of knowing the result after looking at a calculator display. There is a very salient sense in which the result becomes known, and the purpose of this thought experiment is to explore some of counterintuitive properties of such knowledge.)
188 comments
Comments sorted by top scores.
comment by shokwave · 20110131T17:25:48.338Z · LW(p) · GW(p)
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:
 Even World, Wrong Calculator (1% of Even Worlds)
 Odd World, Right Calculator (99% of Odd Worlds)
 Odd World, Wrong Calculator (1% of Odd 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 threesided 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.
Replies from: Vladimir_Nesov, lukstafi, MC_Escherichia, FAWS↑ comment by Vladimir_Nesov · 20110201T14:41:26.977Z · LW(p) · GW(p)
The correct decision for the counterfactual you in that world is to decide Odd World.
I believe the above is correct updateless analysis of the thought experiment. (Which is a natural step to take in considering it, but not the point of the post, see its last paragraph.)
Replies from: shokwave↑ comment by lukstafi · 20110131T19:43:44.723Z · LW(p) · GW(p)
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.
↑ comment by MC_Escherichia · 20110131T19:21:26.071Z · LW(p) · GW(p)
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 foursided die to determine which world to report?)
Actually, isn't this the very heart of the matter? In my other comment here I assumed Omega would always ask what the correct answer is if the calculator shows The Other Result; if that's not the case everything changes.
Replies from: Vladimir_Nesov, lukstafi↑ comment by Vladimir_Nesov · 20110201T14:46:20.602Z · LW(p) · GW(p)
The answer does depend on this fact, but since this fact wasn't specified, assume uncertainty (say, Omega always appears when you observe "even" and had pasta for breakfast).
↑ comment by lukstafi · 20110201T00:30:51.959Z · LW(p) · GW(p)
Ignoring Bostrom's book on how to deal with observer selection effects
Actually, isn't this the very heart of the matter?
Not by my understanding (but I decided to address it in a toplevel comment). ETA: yes, in my updated understanding.
↑ comment by FAWS · 20110201T16:44:00.121Z · LW(p) · GW(p)
This would be correct if Q could be different, but Q is the same both in the counterfactual and the actual word. There is no possibility for the actual world being Even World and the counterfactual Odd World.
The possibilities are:
Actual: Even World, Right Calculator (99% of Even Words); Counterfactual: Even World, Wrong Calculator (1% of Even Worlds).
Actual: Odd World, Wrong Calculator (1% of Odd Words); Counterfactual: Odd World, Right Calculator (99% of Odd Words).
The prior probability of either is 50%. If we assume That Omega randomly picks one you out of 100% of possible words(either 100% of all Even Worlds or 100% of all Odd Words) to decide for all possible words where the calculator result is different (but the correct answer is the same), then there is a 99% chance all worlds are Even and your choice affects 1% of all worlds and a 1% chance all words are Odd and your choice affects 99% of all worlds. The result of the calculator in the counterfactual world doesn't provide any evidence on whether all words are Even or all worlds are Odd since in either case there would be such a world to talk about.
If we assume that Omega randomly visits one world and randomly mentions the calculator result of one other possible world and it just happened to be the case that in that other world the result was different; or if Omega randomly picks a world, then randomly picks a world with the opposite calculator result and tosses a coin as to which world to visit and which to mention then the calculator result in the counterfactual word is equally relevant and hearing Omega talk about it just as good as running the calculator twice. In this case you are equally likely to be in a Odd world and might just as well toss a coin as to which result you fill in yourself.
Replies from: shokwave, FAWS, Vladimir_Nesov↑ comment by shokwave · 20110202T00:53:12.197Z · LW(p) · GW(p)
Q is the same both in the counterfactual and the actual world.
This doesn't square with my interpretation of the premises of the question. We are unsure of Q's parity. Our prior is 50:50 odd, even. We are also unsure of calculator's trustworthiness. Our prior is 99:1 right, wrong. Therefore  on my understanding of counterfactuality  both options for both uncertainties need to be on the table.
I am unconvinced you can ignore your uncertainty on Q's parity by arguing that it will come out only one way regardless of your uncertainty  this is true for coinflips in deterministic physics, but that doesn't mean we can't consider the counterfactual where the coin comes up tails.
Replies from: FAWS↑ comment by FAWS · 20110202T01:55:36.497Z · LW(p) · GW(p)
Q is the same both in the counterfactual and the actual world.
This doesn't square with my interpretation of the premises of the question.
From the original post:
Replies from: shokwaveConsider the counterfactual where the calculator displayed "odd" instead of "even", after you've just typed in the (same) formula Q, on the same occasion (i.e. all possible worlds that fit this description). The counterfactual diverges only in the calculator showing a different result (and what follows).
↑ comment by shokwave · 20110202T02:42:38.926Z · LW(p) · GW(p)
We cannot determine Q's parity, except by fallible calculator. When you say Q is the same, you seem to be including "Q's parity is the same".
Hmm. Maybe this will help?
The parity of Q is already determined  Fermi and Neumann worked it out long ago and sealed it in a safe. You punch Q into the calculator and receive the answer "even". Omega appears, and asks you to consider the counterfactual where the calculator shows "odd". Omega offers to let factual you determine what is written on the sheet in the counterfactual world. No matter what is written down in either world, Fermi and Neumann's answer in the safe will remain the same.
Your factualworld observation of "even" on the calculator makes you think it very likely the counterfactual world is just the cases of the calculator being wrong. You would desire to have Omega write down "even" in the counterfactual world too.
But consider this situation:
The parity of Q is already determined  Fermi and Neumann worked it out long ago and sealed it in a safe. You punch Q into the calculator and receive the answer "odd". Omega appears, and asks you to consider the counterfactual where the calculator shows "even". Omega offers to let factual you determine what is written on the sheet in the counterfactual world. No matter what is written down in either world, Fermi and Neumann's answer in the safe will remain the same.
Your factualworld observation of "odd" on the calculator makes you think it very likely the counterfactual world is just the cases of the calculator being wrong. You would desire to have Omega write down "odd" in the counterfactual world too.
These situations are clearly the counterfactuals of each other  that is, when scenario 1 says "the counterfactual world" it is saying "scenario 2", and vice versa. The interpretations given in the second half of each contradict each other  the first scenario attempts to decide for the second scenario and gets it wrong; the second scenario attempts to decide for the first and gets it wrong. Whence this contradiction?
Replies from: FAWS↑ comment by FAWS · 20110202T03:08:20.037Z · LW(p) · GW(p)
Yes, that would be a counterfactual. But NOT the counterfactual under consideration. The counterfactual under consideration was the calculator result being different but Q (both the number and the formula, and thus their parity) being the same. Unless Nesov was either deliberately misleading or completely failed his intention to clarify anything the comments linked to. If Q is the same formula is supposed to be clear in any way then everything about Q has to be the same. If the representation of Q in the formula was supposed be the same, but the actual value possibly counterfactually different then only answering that the formula is the same is obscuration, not clarification.
Replies from: shokwave↑ comment by shokwave · 20110202T05:24:09.820Z · LW(p) · GW(p)
Yes, that would be a counterfactual. But NOT the counterfactual under consideration.
I disagree. Recall that I specified this in each case:
The parity of Q is already determined  Fermi and Neumann worked it out long ago and sealed it in a safe.
Q (both the number and the formula, and thus the parity) is the same in both scenarios. The actual value is not counterfactually different  it's the same value in the safe, both times.
Replies from: FAWS↑ comment by FAWS · 20110202T05:48:49.285Z · LW(p) · GW(p)
If you agree that Q's parity is the same I'm not sure what you are disagreeing with. Its not possible for Q to be odd in the counterfactual and even in actuality, so if Q is odd in the counterfactual that implies it is also odd in actuality and vice versa. Thus it's not possible for the calculator to be right in both counterfactual and reality simultaneously, and assuming it to be right in the counterfactual implies that it's wrong in actuality. Therefore you can reduce everything to the two cases I used, Q even/actual calculator right/counterfactual calculator wrong or Q odd/actual calculator wrong/counterfactual calculator right.
Replies from: Vladimir_Nesov, shokwave↑ comment by Vladimir_Nesov · 20110202T11:33:32.649Z · LW(p) · GW(p)
Maybe this could be more enlightening. When you control things, one of the necessary requirements is that you have logical uncertainty about some property of the thing you control. You start with having a definition of the control target, but not knowing some of its properties. And then you might be able to infer a dependence of one of its properties on your action. This allows you to personally determine what is that property of a structure whose definition you already know. See my posts on ADT for more detail.
↑ comment by shokwave · 20110202T07:31:09.651Z · LW(p) · GW(p)
Therefore you can reduce everything to the two cases I used,
I have been positing that these two cases are counterfactuals of each other. Before one of these two cases occurs, we don't know which one will occur. It is possible to consider being in the other case.
Replies from: FAWS↑ comment by FAWS · 20110202T16:58:47.486Z · LW(p) · GW(p)
The problem is symmetrical. You can just copy everything, replace odd with even and vice versa and multiply everything with 0.5, then you also have the worlds where you see odd and Omega offers you to replace the result in counterfactuals where it came up even and where Q has the same parity. Doesn't change that Q is the same in the world that decides and the counterfactuals that are effected. Omega also transposing your choice to impossible worlds (or predicting what would happen in impossible worlds and imposing that on what happens in real worlds) would be a different problem (that violates that Q be the same in the counterfactual, but seems to be the problem you solved).
↑ comment by FAWS · 20110201T17:14:01.461Z · LW(p) · GW(p)
If someone is sure enough that I'm wrong to downvote all my post on this they should be able to tell me where I'm wrong. I would be extremely interested in finding out.
Replies from: Perplexed↑ comment by Perplexed · 20110202T02:23:48.157Z · LW(p) · GW(p)
I don't know why you were downvoted. But I do notice that somewhere on this thread, the meaning of "Even World" has changed from what it was when Shokwave introduced the term. Originally it meant a world whose calculator showed 'Even'.
↑ comment by Vladimir_Nesov · 20110202T00:45:04.509Z · LW(p) · GW(p)
You're reasoning about the counterfactual using observational knowledge, i.e. making exactly the error whose nature puzzles me and is the subject of the post. In safely correct (but unenlightening about this error) updateless analysis, on the other hand, you don't update on observations, so shouldn't say things like "there is a 99% chance all worlds are Even".
Replies from: FAWS↑ comment by FAWS · 20110202T01:23:00.284Z · LW(p) · GW(p)
No. That's completely insubstantial. Replace "even" with "same parity" and "odd" with "different parity" in my argument and the outcome is the same. The decision can be safely made before making any observations at all.
EDIT: And even in the formulation given I don't update on personally having seen the even outcome (which is irrelevant, there is no substantial difference between me and the mes at that point) but Omega visiting me in a world where the calculator result came up even.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T01:27:22.766Z · LW(p) · GW(p)
Please restate in more detail how you arrived at the following conclusion, and what made it so instead of the prior 50/50 for Even/Odd. It appears that it must be the observation of "even", otherwise what privileged Even over Odd?
Replies from: FAWSthen there is a 99% chance all worlds are Even and your choice affects 1% of all worlds and a 1% chance all words are Odd and your choice affects 99% of all worlds
↑ comment by FAWS · 20110202T01:36:19.341Z · LW(p) · GW(p)
See the edit. If Omega randomly visits a possible world I can say ahead of time that there is a 99% chance that in that particular world the calculator result is correct and the decision will affect 1% of all worlds and a 1% chance that the result is wrong and the decision affects 99% of all worlds.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T01:41:21.071Z · LW(p) · GW(p)
So you know a priori that the answer is Even, without even looking at the calculator? That can't be right.
(You're assuming that you know that Omega only arrives in "even" worlds, and updating on observing Omega, even before observing it. But in the same movement, you update on the calculator showing "even". Omega doesn't show up in the "odd" world, so you can't update on the fact that it shows up, other than by observing it, or alternatively observing "even" given the assumption of equivalence of these events.)
Replies from: FAWS↑ comment by FAWS · 20110202T01:52:22.330Z · LW(p) · GW(p)
So you know a priori that the answer is Even, without even looking at the calculator?
Of course not.
You're assuming that you know that Omega only arrives in "even" worlds,
No. I'm assuming that either even is correct in all worlds or odd is correct in all worlds (0.5 prior for either). If Omega randomly picks a world, the chance of the calculator being correct is independent of that and 99% everywhere, then there is a 99% chance of the calculator being correct in the particular world Omega arrives in. If odd is correct Omega is 99% likely to arrive in a world where the calculator says odd, and if the calculator says odd in the particular world Omega arrives in there is a 99% chance that's because odd is correct.
EDIT:
If I were
assuming that you know that Omega only arrives in "even" worlds
the probability of even being correct would be 50% no matter what, and there would be a 50% chance each for affecting 99% of all worlds or 1% of all worlds.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T02:08:22.042Z · LW(p) · GW(p)
I seem to agree with all of the above statements. The conditional probabilities are indeed this way. But it's incorrect to use these conditional probabilities (which is to say, probabilities of Odd/Even after updating on observing "even") to compute expected utility for the counterfactual. In a prior comment, you write:
there is a 99% chance all worlds are Even and your choice affects 1% of all worlds and a 1% chance all words are Odd and your choice affects 99% of all worlds
99% is P(EvenOmega,"even"), that is to say it's probability of Even updated by observations (events) that Omega and "even".
Replies from: FAWS↑ comment by FAWS · 20110202T02:59:44.604Z · LW(p) · GW(p)
I seem to agree with all of the above statements. The conditional probabilities are indeed this way. But it's incorrect to use these conditional probabilities (which is to say, probabilities of Odd/Even after updating on observing "even") to compute expected utility for the counterfactual.
No. There is no problem with using conditional probabilities if you use the correct conditional probabilities, that is the probabilities from wherever the decision happens, not from what you personally encounter. And I never claimed that any of the pieces you were quoting were part of an updateless analysis, just that it made no difference.
I would try to write a Wei Dai style world program at this point, but I know no programming at all and am unsure how drawing at random is supposed to be represented. It would be the same as the program for this game, though:
1 black and 99 white balls in an urn. You prefer white balls. You may decide to draw a ball and change all balls of the other color to balls of the color drawn, and must decide before the draw is made. (or to make it slightly more complicated: Someone else secretly flips a coin whether you get points for black or white balls. You get 99 balls of the color you get points for and one ball of the other color).
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T03:04:38.593Z · LW(p) · GW(p)
It would help a lot if you just wrote the formulas you use for computing expected utility (or the probabilities you named) in symbols, as in P(Odd"odd")=0.99,
P(Odd"odd")*100+P(Even"odd")*0 = 0.99*100+0.01*0 = 99.
Replies from: FAWS↑ comment by FAWS · 20110202T03:56:15.922Z · LW(p) · GW(p)
Do you need more than that? I don't see how this could possibly help, but:
N(worlds)=100
For each world:
P(correct)=0.99
U_world(correct)=1
U_world(~correct) = 0
P(Omega)=0.01
P(correctOmega)=P(correct~Omega) = 0.99
If choosing to replace:
correct ∧ Omega ⇒for all worlds: U_world(~correct) = 1
~correct ∧ Omega ⇒for all worlds: U_world(correct) = 0
This is imprecise in that exactly one world ends up with Omega.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T04:24:31.630Z · LW(p) · GW(p)
I give up, sorry. Read up on standard concepts/notation for expected utility/conditional probability maybe.
Replies from: FAWS↑ comment by FAWS · 20110202T05:28:00.886Z · LW(p) · GW(p)
I don't think there is a standard notation for what I was trying to express (if there was formalizing the simple equivalent game I gave should be trivial, so why didn't you do that?) if you are happy with just the end result here is another attempt:
P(Odd"odd")=P(Even"even")=P("odd"Odd)=P("even"Even)=0.99, P(Odd)=P(Even)=0.5, P("odd" n Odd)= P("even" n Even) =0.495
U_not_replace = P("odd" n Odd)*100 + P("even" n Odd)*0 +P("even" n Even)*100 + P("odd" n Even)*0 = 0.495*100 + 0.005*0 + 0.495*100 + 0.005*0 = 99
U_replace= P("odd"Odd)*( P("odd" n Odd)*100 + P("even" n Odd)*100) + P("even"Odd)*( P("odd" n Odd)*0 + P("even" n Odd)*0) + P("even"Even)*( P("even" n Even)*100 + P("odd" n Even)*100) + P("odd"Even)*( P("even" n Even)*0 + P("odd" n Even)*0) = 0.99*( 0.495*100 + 0.005*100) + 0.01* ( 0.495*0 + 0.005*0) +0.99*( 0.495*100 + 0.005*100) + 0.01* ( 0.495*0 + 0.005*0) =99
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T10:28:12.661Z · LW(p) · GW(p)
Probabilities correct, U_not_replace correct, U_replace I don't see what's going on with (what's the first conceptual step that generates that formula?). Correct U_replace is just this:
U_replace_updateless = P("odd" n Odd)*0 + P("even" n Odd)*0 +P("even" n Even)*100 + P("odd" n Even)*100 = 0.495*0 + 0.005*0 + 0.495*100 + 0.005*100 = 50
Replies from: FAWS↑ comment by FAWS · 20110202T16:46:26.560Z · LW(p) · GW(p)
That seems obviously incorrect to me because as an updateless decision maker you don't know you are in the branch where you replace odds with evens. Your utility is half way between a correct updateless analysis and a correct analysis with updates. Or it is the correct utility if Omega also replaces the result in worlds where the parity of Q is different (so either Q is different or Omega randomly decides whether it's actually going to visit anyone or just predict what you would decide if the situation was different and applies that to whatever happens), in which case you have done a horrible job of miscommunication.
I have only a vague idea what exactly required more explanation so I'll try to explain everything.
My U_replace is the utility if you act on the general policy of replacing the result in counterfactual branches with the result in the branch Omega visits. It's the average over all imaginable worlds (imaginable worlds where Q is even and those where Q is odd), the probability of a world multiplied with its utility.
P("odd"Odd)*( P("odd" n Odd)*100 + P("even" n Odd)*100) + P("even"Odd)*( P("odd" n Odd)*0 + P("even" n Odd)*0) is the utility for the half of imaginable worlds where Q is odd (all possible worlds if Q is odd).
P("odd"Odd) is the probability that the calculator shows odd in whatever other possible world Omega visits, conditional on Q being odd (which is correct to use because here only imaginable worlds where Q is odd are considered, the even worlds come later). If that happens the utility for worlds where the calculator shows even is replaced with 100.
P("even"Odd) is the probability that the calculator shows even in the other possible (=odd) world Omega visits. If that happens the utility for possible worlds where the calculator shows odd is replaced with 0.
At this point I'd just say replace odd with even for the other half, but last time I said something like that it didn't seem to work so here's it replaced manually:
P("even"even)*( P("even" n even)*100 + P("odd" n even)*100) + P("odd"even)*( P("even" n even)*0 + P("odd" n even)*0) is the utility for the half of imaginable worlds where Q is even (all possible worlds if Q is even).
P("even"even) is the probability that the calculator shows even in whatever other possible world Omega visits, conditional on Q being even (which is correct to use because here only imaginable worlds where Q is even are considered, the odd worlds came earlier). If that happens the utility for worlds where the calculator shows odd is replaced with 100.
P("odd"even) is the probability that the calculator shows odd in the other possible (=even) world Omega visits. If that happens the utility for possible worlds where the calculator shows even is replaced with 0.
If you want to say that updateless analysis is not allowed to take dependencies of this kind into account I ask you for an updateless analysis of the game with black and white balls a few comments upthread. Either updateless analysis as you understand it can't deal with that game (and is therefore incomplete) or I can use whatever you use to formalize that game for this problem and you can't brush me aside with saying that I'm not working updatelessly.
EDIT: The third interpretation of your utility function would be the utility of the general policy of always replacing odds with evens regardless of what the calculator in the world Omega visited showed, which would be so ridiculously stupid that it didn't occur to me anyone might possibly be talking about that, even to point out fallacious thinking.
Replies from: Vladimir_Nesov, Vladimir_Nesov, Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T12:02:26.710Z · LW(p) · GW(p)
P("odd"Odd)*( P("odd" n Odd)*100 + P("even" n Odd)*100) + P("even"Odd)*( P("odd" n Odd)*0 + P("even" n Odd)*0) is the utility for the half of imaginable worlds where Q is odd (all possible worlds if Q is odd).
Consider expected utility [P("odd" n Odd)*100 + P("even" n Odd)*100)] from your formula. What event and decision is this the expected utility of? It seems to consider two events, ["odd" n Odd] and ["even" n Odd]. For both of them to get 100 utils, the strategy (decision) you're considering must be, always answerodd (since you can only answer in response to indication on the calculators, and here we have both indications and the same answer necessary for success in both events).
But U_replace estimates the expected utility of a different strategy, of strategy where you answereven on your own "even" branch and also answereven on the "odd" branch with Omega's help. So you're already computing something different.
Then, in the same formula, you have [P("odd" n Odd)*0 + P("even" n Odd)*0]. But to get 0 utils in both cases, you have to answer incorrectly in both cases, and since we're considering Odd, this must be unconditional answereven. This contradicts the way you did your expected utility calculation in the first terms of the formula (where you were considering the strategy of unconditional answerodd).
Expected utility is computed for one strategy at a time, and values of expected utility computed separately for each strategy are used to compare the strategies. You seem to be doing something else.
Replies from: FAWS↑ comment by FAWS · 20110204T15:53:28.947Z · LW(p) · GW(p)
Expected utility is computed for one strategy at a time, and values of expected utility computed separately for each strategy are used to compare the strategies. You seem to be doing something else.
I'm calculating for one strategy, the strategy of "fill in whatever the calculator in the world Omega appeared in showed", but I have a probability distribution across what that entails (see my other reply). I'm multiplying the utility of picking "odd" with the probability of picking "odd" and the utility of picking "even" with the probability of picking "even".
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T18:07:00.757Z · LW(p) · GW(p)
So that's what happens when you don't describe what strategy you're computing expected utility of in enough detail in advance. By problem statement, the calculator in the world in which Omega showed shows "even".
But even if you expect Omega to appear on either side, this still isn't right. Where's the probability of Omega appearing on either side in your calculation? The event of Omega appearing on one or the other side must enter the model, and it wasn't explicitly referenced in any of your formulas.
Replies from: FAWS↑ comment by FAWS · 20110204T18:26:53.639Z · LW(p) · GW(p)
and it wasn't explicitly referenced in any of your formulas.
But implicitly.
P(Omega_in_Odd_world)=P(Omega_in_Even_world)=0.5, but
P(Omega_in_Odd_worldOdd)= P(Omega_in_Even_worldEven)=1
And since every summand includes a P(Odd n X) or a P(Even n X) everything is already multiplied with P(Even) or P(Odd) as appropriate. In retrospect it would have been a lot clearer if I had factored that out, but I wrote U_not_replace first in the way that seemed most obvious and merely modified that to U_replace so it never occured to me to do that.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T18:35:07.197Z · LW(p) · GW(p)
Omega visits either the "odd" world or "even" world, not Odd world or Even world. For example, in Odd world it'd still need to decide between "odd" and "even".
Replies from: FAWS↑ comment by Vladimir_Nesov · 20110204T11:39:34.763Z · LW(p) · GW(p)
Or it is the correct utility if Omega also replaces the result in worlds where the parity of Q is different
Since you don't know what parity of Q is, you can't refer to the class of worlds where it's "the same" or "different", in particular because it can't be different. So again, I don't know what you describe here.
(It's still correct to talk about the sets of possible worlds that rely on Q being either even or odd, because that's your model of uncertainty, and you are uncertain about whether Q is even or odd. But not of sets of possible worlds that have your parity of Q, just as it doesn't make sense to talk of the actual state of the world (as opposed to the current observational event, which is defined by past observations).)
Replies from: FAWS↑ comment by FAWS · 20110204T15:44:18.925Z · LW(p) · GW(p)
Since you don't know what parity of Q is, you can't refer to the class of worlds where it's "the same" or "different", in particular because it can't be different. So again, I don't know what you describe here.
I'm merely trying to exclude a possible misunderstanding that would mean both of us being correct in the version of the problem we are talking about. Here's another attempt. The only difference between the world Omega shows up in and the counterfactual worlds Omega affects regarding the calculator result is whether or not the calculator malfunctioned, you just don't know on which side it malfunctioned. Is that correct?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T17:57:07.926Z · LW(p) · GW(p)
Sounds right, although when you speak of the only difference, it's easy to miss something.
↑ comment by Vladimir_Nesov · 20110204T11:36:04.694Z · LW(p) · GW(p)
as an updateless decision maker you don't know you are in the branch where you replace odds with evens.
I don't understand what this refers to. (Which branch is that? What do you mean by "replace"? Does your 'odd' refer to calculatorshowsodd or it'sactuallyodd or 'let'swrite"odd"onthetestsheet etc.?)
Also, updateless decisionmaker reasons about strategies, which describe responses to all possible observations, and in this sense updateless analysis does take possible observations into account.
(The downside of long replies and asynchronous communication: it's better to be able to interrupt after a few words and make sure we won't talk past each other for another hour.)
Replies from: FAWS, FAWS↑ comment by FAWS · 20110204T17:38:01.819Z · LW(p) · GW(p)
Here's another attempt at explaining your error (as it appears to me):
In the terminology of Wei Dai's original post an updateless agent considers the consequences of a program S(X) returning Y on input X, where X includes all observations and memories, and the agent is updateless in respect to things included in X. For an ideal updateless agent this X includes everything, including the memory of having seen the calculator come up even. So it does not make sense for such an agent to consider the unconditional strategy of choosing even, and doing so does not properly model an updating agent choosing even after seeing even, it models an updating agent choosing even without having seen anything.
An obvious simplification of an (computationally extremely expensive) updateless agent would be to simplify X. If X is made up of the parts X1 and X2 and X1 is identical for all instances of S being called, then it makes sense to incorporate X1 into a modified version of S, S' (more precisely the part of S or S' that generates the world programs S or S' tries to maximize). In that case a normal Bayesian update would be performed (UDT is not a blanket rejection of Bayesianism, see Wei Dai's original post). S' would be updateless with resepct to X2, but not with respect to X1. If X1 is indeed always part of the argument when S is called S' should always give back the same output as S.
Your utility implies an S' with respect to having observed "even", but without the corresponding update, so it generates faulty world programs, and a different utility expectation than the original S or a correctly simplified version S'' (which in this case is not updateless because there is nothing else to be updateless towards).
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T18:26:25.579Z · LW(p) · GW(p)
(This question seems to depend on resolving this first.)
↑ comment by FAWS · 20110204T15:22:57.839Z · LW(p) · GW(p)
The updateless analogue to the updater strategy "ask Omega to fill in the answer "even" in counterfactual worlds because you have seen the calculator result "even"" is "ask Omega to fill in the answer the calculator gives whereever Omega shows up". As an updateless decision maker you don't know that the calculator showed "even" in your world because "your world" doesn't even make sense to an updateless reasoner. The updateless replacing strategy is a fixed strategy that has a particular observation as parameter. An updateless strategy without parameter would be equivalent to an updater strategy of asking Omega to write in "even" in other worlds before seeing any calculator result.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T17:54:46.024Z · LW(p) · GW(p)
The updateless analogue to the updater strategy "ask Omega to fill in the answer "even" in counterfactual worlds because you have seen the calculator result "even"" is...
Updateless strategies describe how you react to observations. You do react to observations in updateless strategies. In our case, we don't even need that, since all observations are fixed by the problem statement: you observe "even", case closed. The strategies you consider specify what you write down on your own "even" test sheet, and what you write on the "odd" counterfactual test sheet, all independently of observations.
The "updateless" aspect is in not forgetting about counterfactuals and using prior probabilities everywhere, instead of updated probabilities. So, you use P(Odd n "odd") to describe the situation where Q is Odd and the counterfactual calculator shows "odd", instead of using P(Odd n "odd""even"), which doesn't even make sense.
Replies from: FAWS, FAWS↑ comment by FAWS · 20110204T18:13:56.661Z · LW(p) · GW(p)
More generally, you can have updateless analysis being wrong on any kind of problem, simply by incorporating an observation into the problem statement and then not updating on it.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T18:28:39.313Z · LW(p) · GW(p)
Huh? If you don't update, you don't need to update, so to speak. By not forgetting about events, you do take into account their relative probability in the context of the subevents relevant for your problem. Examples please.
Replies from: FAWS↑ comment by FAWS · 20110204T18:04:22.970Z · LW(p) · GW(p)
Updateless strategies describe how you react to observations. You do react to observations in updateless strategies. In our case, we don't even need that, since all observations are fixed by the problem statement: you observe "even", case closed.
Holding observations fixed but not updating on them is simply a misapplication of UDT. For an ideal updateless agent no observation is fixed and everything (every memory and observation) part of the variable input X. See this comment
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T18:24:15.906Z · LW(p) · GW(p)
Holding observations fixed but not updating on them is simply a misapplication of UDT.
A misapplication, strictly speaking, but not "simply". Without restricting your attention to particular situations, while ignoring other situations, you won't be able to consider any thought experiments. For any thought experiment I show you, you'll say that you have to compute expected utility over all possible thought experiments, and that would be end of it.
So in applying UDT in real life, it's necessary to stipulate the problem statement, the boundary event in which all relevant possibilities are contained, and over which we compute expected utility. You, too, introduced such an event, you just did it a step earlier than what's given in the problem statement, by paying attention to the term "observation" attached to the calculator, and the fact that all other elements of the problem are observations also.
(On unrelated note, I have doubts about correctness of your work with that broader event too, see this comment.)
Replies from: FAWS↑ comment by FAWS · 20110204T18:43:49.013Z · LW(p) · GW(p)
So in applying UDT in real life, it's necessary to stipulate the problem statement, the boundary event in which all relevant possibilities are contained, and over which we compute expected utility.
Yes, of course. But you perform normal Bayesian updates for everything else (everything you hold fixed). Holding something fixed and not updating leads to errors.
Simple example: An urn with either 90% red and 10% blue balls or 90% blue and 10% red balls (0.5 prior for either). You have drawn a red ball and put it back. What's the updateless expected utility of drawing another ball, assuming you get 1 util for drawing a ball in the same color and 2 utils for drawing a ball in a different color? Calculating as getting 1 util for red balls and 2 for blue, but not updating on the observation of having drawn a red ball suggests that it's 0.5, when in fact it's 0.46.
EDIT: miscalculated the utilities, but the general thrust is the same.
P(RedU)=P(BlueU)=P(red)=P(blue)=0.5
P(redRedU)=P(RedUred)=P(blueBlueU)=P(BlueUblue)=0.9
P(blueRedU)=P(RedUblue)=P(BlueUred)=P(RedBlueU)=0.1
U_updating=P(RedUred)*P(redRedU)*1 + P(BlueUred)*Pred(BlueU)*1  P(RedUred)*P(blueRedU)*2  P(BlueUred)*P(blueBlueU)*2 = 0.9*0.9+0.1*0.10.9*0.1*2*2= 0.46
U_semi_updateless=P(red)*1P(blue)*2=0.5
U_updateless= P(red)(P(RedUred)*P(redRedU)*1 + P(BlueUred)*Pred(BlueU)*1  P(RedUred)*P(blueRedU)*2  P(BlueUred)*P(blueBlueU)*2) +P(blue)(P(BlueUblue)*P(blueBlueU)*1 + P(RedUblue)*P(blueRedU)*1  P(BlueUblue)*P(redBlueU)*2  P(RedUblue)*P(redRedU)*2) =0.5*(0.9*0.9+0.1*0.10.9*0.1*2*2)+0.5* (0.9*0.9+0.1*0.10.9*0.1*2*2)=0.46
(though normally you'd probably come up with U_updateless in a differently factored form)
EDIT3: More sensible/readable factorization of U_updateless:
P(RedU)((P(redRedU)(P(redRedU)*1P(blueRedU)*2)+(P(blueRedU)(P(blueRedU)*1P(redRedU)*2)) + P(BlueU)((P(blueBlueU)(P(blueBlueU)*1P(redBlueU)*2)+(P(redBlueU)(P(redBlueU)*1P(blueBlueU)*2))
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T18:52:08.828Z · LW(p) · GW(p)
Holding something fixed and not updating leads to errors.
No, controlling something and updating it away leads to errors. Fixed terms in expected utility don't influence optimality, you just lose ability to consider the influence of various strategies on them. Here, the strategies under considerations don't have any relevant effects outside the problem statement.
(I'll look into your example another time.)
Replies from: FAWS, FAWS, FAWS, FAWS↑ comment by FAWS · 20110204T20:08:16.226Z · LW(p) · GW(p)
I admit that I did not anticipate you replying in this way and even though I think I understand what you are saying I still don't understand why. This is the main source of my uncertainty on whether I'm right at this point. It seems increasingly clear that at least one of us doesn't properly understand UDT. I hope we can clear this up and if it turns out the misunderstanding was on my part I commit to upvoting all comments by you that contributed to enlightening me about that.
↑ comment by FAWS · 20110204T19:04:05.457Z · LW(p) · GW(p)
Fixed terms in expected utility
Unless I completely misunderstand you that's a completely different context for/meaning of "fixed term" and while true not at all relevant here. I mean fixed in the sense of knowing the utilities of red and blue balls in the example I gave.
↑ comment by FAWS · 20110204T18:56:39.692Z · LW(p) · GW(p)
No, controlling something and updating it away leads to errors.
Also leads to errors, obviously. And I'm not doing that anyway. Something leading to errors is extremely weak evidence against something else also leading to error, so how is this relevant?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T19:04:43.478Z · LW(p) · GW(p)
This is the very error which UDT (at least, this aspect of it) is correction for.
Replies from: FAWS↑ comment by FAWS · 20110204T19:19:37.058Z · LW(p) · GW(p)
That still doesn't make it evidence for something different not being an error. (and formal UDT is not the only way to avoid that error)
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110208T12:41:46.872Z · LW(p) · GW(p)
Not updating never leads to errors. Holding fixed what isn't can.
Replies from: FAWS↑ comment by FAWS · 20110208T14:48:09.768Z · LW(p) · GW(p)
Correct (if you mean to say that all errors apparently caused by lack of updating can also be framed as being caused by wrongly holding something fixed) for a sufficiently wide sense of not fixed. The fact that you are considering to replace odd results in counterfactual worlds with even results and not the other way round, or the fact that the utility of drawing a red ball is 1 and for a blue ball 2 in my example (did you get around to taking a look at it?) both have to be considered not fixed in that sense.
Basically in the terminology of this comment you can consider anything in X1 fixed and avoid the error I'm talking about by updating. Or you can avoid that error by not holding it fixed in the first place. The same holds for anything in X2 for which the decision will never have any consequences anywhere it's not true (or at least all its implications fully carry over), though that's obviously more dangerous (and has the side effect of splitting the agent into different versions in different environments).
The error you're talking about (the very error which UDT is correction for) is holding something in X2 fixed and updating when it does have outside consequences. Sometimes the error will only manifest when you actually update and only holding fixed gives results equivalent to the correct ones.
The test to see whether it's allowable to update on x is to check whether the update results in the same answers as an updateless analysis that does not hold x fixed. If an analysis with update on x and one that holds x fixed but does not update disagree the problem is not always with the analysis with update. In fact in all problems CDT and UDT agree (most boring problems) the version with update should be correct and the version that only holds fixed might not be.
comment by HonoreDB · 20110201T01:28:06.978Z · LW(p) · GW(p)
Suppose you believe that 2+2=4, with the caveat that you are aware that there is some negligible but nonzero probability that The Dark Lords of the Matrix have tricked you into believing that.
Omega appears and tells you that in an alternate reality, you believe that 2+2=3 with the same amount of credence, and asks whether this changes your own amount of credence that 2+2=4.
The answer is the same. You ask Omega what rules he's playing by.
If he says "I'm visiting you in every reality. In each reality, I'm selecting a counterfactual where your answer is different" then you say "I have no new information, anthropic or otherwise, so I do not update."
If he says "I'm visiting you in every reality. In each reality, I'm selecting a random alternate reality where you exist and telling you what that you believes" then you say "It's equally likely that you randomly picked a reality where I am deceived and that I am in a reality where I am deceived. Therefore, I now give '2+2=4' negligibly less than a .5 chance of being true.'
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T13:04:33.374Z · LW(p) · GW(p)
You are not asked to update your belief about the answer being "even" upon observing Omega (in any sense of "knowledge" of those discussed in the post). You knew that the other possibility existed all along, you don't need Omega to see that. You are asked to decide what to do in the counterfactual.
Consider uncertainty about when Omega visits you part of the problem statement, but clearly if a tricky condition such as "it only visits you when your decision will make it worse for you" was assumed, it would be stated.
comment by Tyrrell_McAllister · 20110201T00:36:43.527Z · LW(p) · GW(p)
In what way, if any, is this problem importantly different from the following "less mathy" problem?
Replies from: Vladimir_Nesov, shokwave, lukstafiYou have a sealed box containing a loose coin. You shake the box and then set it on the table. There is no a priori reason for you to think that the coin is more or less likely to have landed heads than tails. You then take a test, which includes the question: "Did the coin land heads?" Fortunately, you have a scanning device, which you can point at the box and which will tell you whether the coin landed heads or tails. Unfortunately, the opaque box presents some difficulty even to the scanning device, so the device's answer is right only 99% of the time. Furthermore, its errors are stochastic (or even involve quantum randomness), so, for any given coininabox, the device is probably correct but has a chance of making an error. You point the scanning device at the box and observe the result (it's "heads").
Then, unsurprisingly, Omega appears and presents you with the following decision. Consider the counterfactual world where the coin landed the same as it did in your world, but where the scanning device displayed "tails" instead of "heads", after you pointed it at the box. You are to determine what Omega writes on the test sheet in that counterfactual world.
↑ comment by Vladimir_Nesov · 20110201T14:34:54.762Z · LW(p) · GW(p)
I don't think it's any different. You could have a Q in the box, and include a person that types it in a calculator as part of the scanning device. Does your variant evoke different intuitions about observational knowledge? It looks similar in all relevant respects to me.
Replies from: Tyrrell_McAllister↑ comment by Tyrrell_McAllister · 20110204T06:00:14.389Z · LW(p) · GW(p)
Does your variant evoke different intuitions about observational knowledge?
No. Our intuitions agree here. When I wrote the comment, I didn't understand what point you were making by having the problem be about a mathematical fact. I wanted to be sure that you weren't saying that the math version was different from the coin version.
I'm still not certain that I understand the point you're making. I think you're pointing out that, e.g., a UDT1.1 agent doesn't worry about the probability that it has computed the correct value for the expected utility EU(f) of an inputoutput map f. In contrast, such an agent does involve probabilities when considering a statement like "Q evaluates to an even number". I'm not sure whether you would agree, but I would say moreover that the agent would involve probabilities when considering the statement "the digit 2, which I am considering as an object of thought in my own mind, denotes an even number."
Is that a correct interpretation of your point?
The distinction between the way that the agent treats "EU(f)" and "Q" seems to me to be this: The agent doesn't think about the expression "EU(f)" as an object of thought. The agent doesn't look at "EU(f)" and wonder whether it evaluates to greater than or less than some other value EU(f'). The agent just runs through a sequence of states that can be seen, from the outside, as instantiating a procedure that maximizes the function EU. But for the agent to think this way would be like having the agent worry about whether it's doing what it was programmed to do. From the outside, we can worry about whether the agent is in fact programmed to do what we intended to program it to do. But that won't be the agent's concern. The agent will just do what it does. Along the way, it might wonder about whether Q denotes an even number. But the agent won't wonder whether EU(f) > EU(f'), although its ultimate action might certify that fact.
FWIW, here is my UDT1.1 analysis of the problem in the OP. In UDT terms, the way I think of it is to suppose that there are 99 world programs in which the calculator is correct, and 1 world program in which the calculator is incorrect. The utility of a given sequence of execution histories equals the number of world programs in which the answer on the test sheet is correct.
Ignoring obviouslywrong alternatives, there are two possible inputoutput maps. These are, respectively,
f_1: Try to write your calculator's answer on your test sheet. If Omega appears to you, make the answer(s) on the test sheet(s) in the oppositecalculator world(s) be identical to the answer on your test sheet.
f_2: Try to write your calculator's answer on your test sheet. If Omega appears to you, make the answer(s) on the test sheet(s) in the oppositecalculator world(s) be the opposite of the answer on your test sheet.
I assume that, according to the agent's mathematical intuition, Omega is just as likely to offer the decision in a correctcalculator world as in the incorrectcalculator world. From this, it follows that the expected utilities of the two inputoutput maps are, respectively,
f_1: p(Omega offers the decision in a correctcalculator world)*100 + p(Omega offers the decision in an incorrectcalculator world)*0 = 50;
f_2: p(Omega offers the decision in a correctcalculator world)*99 + p(Omega offers the decision in an incorrectcalculator world)*99 = 99.
So, the agent will make the test sheet in each world agree with the calculator in that world.
(In particular, anthropic consideration don't come into play, because UDT1.1 already dictates the noncentered quantity that the agent is maximizing.)
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110204T11:25:06.202Z · LW(p) · GW(p)
I think considerably more than two things have to go well for your interpretation to succeed in describing this post... I don't necessarily disagree with what you wrote, in that I don't see clear enough statements that I disagree with, and some things seem correct, but I don't understand it well.
Also, calculator is correct 99% of the time, so you've probably labeled things in a confusing way that could lead to incorrect solution, although the actual resulting numbers seem fine for whatever reason.
The reason I used a logical statement instead of a coin, was to compare logical and observational knowledge, since logical knowledge, in its usual understanding, applies mostly to logical statements, and doesn't care what you reason about using it. This can allow extending the thought experiment, for example, in this way.
Replies from: Tyrrell_McAllister, Tyrrell_McAllister↑ comment by Tyrrell_McAllister · 20110205T02:44:09.722Z · LW(p) · GW(p)
The reason I used a logical statement instead of a coin, was to compare logical and observational knowledge, since logical knowledge, in its usual understanding, applies mostly to logical statements, and doesn't care what you reason about using it. This can allow extending the thought experiment, for example, in this way.
I'm not seeing why that extended thought experiment couldn't have used a coin and two scanners of different reliability.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110205T11:23:12.689Z · LW(p) · GW(p)
I'm not seeing why that extended thought experiment couldn't have used a coin and two scanners of different reliability.
The point is in showing that having a magical kind of knowledge certified by proofs doesn't help (presumably) in that thought experiment, and hopefully reducing events of possible worlds to logical statements. So I want to use as many logical kinds of building blocks as possible, in order to see the rest in their terms.
Replies from: Tyrrell_McAllister↑ comment by Tyrrell_McAllister · 20110205T23:03:23.608Z · LW(p) · GW(p)
The point is in showing that having a magical kind of knowledge certified by proofs doesn't help (presumably) in that thought experiment, and hopefully reducing events of possible worlds to logical statements. So I want to use as many logical kinds of building blocks as possible, in order to see the rest in their terms.
Fair enough. To me it seems more illuminating to see logical facts (like the parity of Q) as physical facts (in this case, a statement about what certain kinds of physical mechanisms would do under certain circumstances.) But, at any rate, we seem to agree that these two kinds of facts ought to be thought of in the same way.
↑ comment by Tyrrell_McAllister · 20110205T02:11:05.044Z · LW(p) · GW(p)
I think considerably more than two things have to go well for your interpretation to succeed in describing this post.
Indeed. That is because you needed more than two things to go right for your post to succeed in communicating your point ;).
My confusion is over this sentence from your post:
This thought experiment contrasts "logical knowledge" (the usual kind) and "observational knowledge" (what you get when you look at a calculator display).
My difficulty is that everything that I would call knowledge is like what you get when you look at a calculator display. Suppose that the test had asked you whether "2+2" reduced to an even number. Then you would perform certain mental operations on this expression, and you would answer in accordance with how those operations concluded. (For example, you might picture two sets of two dots, one set next to the other, and see whether you can pair off elements in one set with elements in the other. Or you might visualize a proof in Peano arithmetic in your mind, and check whether each line follows from the previous line in accordance with the rules of inference.) At any rate, whatever you do, it amounts to relying on the imperfect wetware calculator that is your brain. If a counterfactual version of you got a different answer with his brain, you would still want his test sheet to match his answer.
So, what is the residue left over, after we set aside observational knowledge? What is this "logical knowledge"? Calling it "the usual kind" is not sufficing to pick out what you mean for me.
My guess was that your "logical knowledge" includes (in your terminology) the "moral arguments" that "the agent can prove" in the "theory it uses". The analogous role in Wie Dai's "bruteforce" UDT is served by the agent's computation of an expected utility EU(f) for an inputoutput map f.
Is this a correct interpretation of what you meant by "logical knowledge"? (I know that I may need more than two things to go right to have interpreted you correctly. That is why I am giving you my interpretation of what you said. If I got it right, great. But my main motivation arises in the case where I am wrong. My hope is that you will then restate your claim, this time calibrating for the way that I am evidently primed to misinterpret you. If I were highly confident that I had understood you correctly, I wouldn't bother echoing what you said back at you.)
Also, calculator is correct 99% of the time, so you've probably labeled things in a confusing way that could lead to incorrect solution, although the actual resulting numbers seem fine for whatever reason.
Could you spell out how exactly the 99% correctness rate means that I've probably labeled things confusingly? What is the first probablyconfusing label that I used?
What I gave looks to me to be the bythebook way to state and solve your problem within the UDT1.1 formalism. How would you set up the problem within the UDT1.1 formalism? In particular, what would be your set of possible sequences of execution histories for the worldprograms?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110208T12:07:49.684Z · LW(p) · GW(p)
My difficulty is that everything that I would call knowledge is like what you get when you look at a calculator display.
In some sense, sure. But you still have to use certain specific reasoning procedure to think about imperfection of knowledgeacquisition methods. That level where you just perform the algorithm is where logic resides. It's not clear to me how to merge these considerations seamlessly.
My guess was that your "logical knowledge" includes (in your terminology) the "moral arguments" that "the agent can prove" in the "theory it uses".
Yes. This theory can include tools for reasoning about observational and logical uncertainty, where logical uncertainty refers to inability to reach the conclusions (explore long enough proofs) rather than uncertainty about whether the reasoning apparatus would do something unintended.
Could you spell out how exactly the 99% correctness rate means that I've probably labeled things confusingly?
I referred to this statement you made:
I assume that, according to the agent's mathematical intuition, Omega is just as likely to offer the decision in a correctcalculator world as in the incorrectcalculator world.
It's not clear what the "Omega offers the decision in a correctcalculator world" event is, since we already know that Omega offers the decision in "even" worlds, in some of which "even" is correct, and in some of which it's not (as far as you know), and 99% of "even" worlds are the ones where calculator is correct, while you clearly assign 50% as probability of your event.
Replies from: Tyrrell_McAllister, lukstafi↑ comment by Tyrrell_McAllister · 20110208T19:34:57.719Z · LW(p) · GW(p)
It's not clear what the "Omega offers the decision in a correctcalculator world" event is, since we already know that Omega offers the decision in "even" worlds, in some of which "even" is correct, and in some of which it's not (as far as you know), and 99% of "even" worlds are the ones where calculator is correct, while you clearly assign 50% as probability of your event.
When you speak of "worlds" here, do you mean the "worldprograms" in the UDT1.1 formalism? If that is what you mean, then one of us is confused about how UDT1.1 formalizes probabilities. I'm not sure how to resolve this except to repeat my request that you give your own formalization of your problem in UDT1.1.
For my part, I am going to say some stuff on which I think that we agree. But, at some point, I will slide into saying stuff on which we disagree. Where is the point at which you start to disagree with the following?
(I follow the notation in my writeup of UDT1.1 (pdf).)
UDT1.1 formalizes two different kinds of probability in two very different ways:
One kind of probability is applied to predicates of worldprograms, especially predicates that might be satisfied by some of the worldprograms while not being satisfied by the others. The probability (in the present sense) of such a predicate R is formalized as the measure of the set of worldprograms satisfying R. (In particular, R is supposed to be a predicate such that whether a worldprogram satisfies R does not depend on the agent's decisions.)
The other kind of probability comes from the probability M(f, E) that the agent's mathematical intuition M assigns to the proposition that the sequence E of execution histories would occur if the agent were to implement inputoutput map f. This gives us probability measures P_f over sequences of execution histories: Given a predicate T of executionhistory sequences, P_f(T) is the sum of the values M(f, E) as E ranges over the executionhistory sequences satisfying predicate T.
I took the calculator's 99% correctness rate to be a probability of the first kind. There is a correct calculator in 99% of the worldprograms (the "correctcalculator worlds") and an incorrect calculator in the remaining 1%.*
However, I took the probability of 1/2 that Q is even to be a probability of the second kind. It's not as though Q is even in some of the execution histories, while that same Q is odd in some others. Either Q is even in all of the execution histories, or Q is odd in all of the execution histories.* But the agent's mathematical intuition has no idea which is the case, so the induced probability distributions give P_f(even) = 1/2 (for all f), where even is the predicate such that, for all executionhistory sequences E*,
 even(E) = "The parity of Q is ultimately revealed by the grader to be even in all of the execution histories in E"
Likewise, I was referring to the second kind of probability when I wrote that, "according to the agent's mathematical intuition, Omega is just as likely to offer the decision in a correctcalculator world as in the incorrectcalculator world". The truth or falsity of "Omega offers the decision in a correctcalculator world" is a property of an entire executionhistory sequence. This proposition is either true with respect to all the execution histories in the sequence, or false with respect to all of them.
The upshot is that, when you write "99% of 'even' worlds are the ones where calculator is correct, while you clearly assign 50% as probability of your event", you are talking about two very different kinds of probabilities.
* Alternatively, this weighting can be incorporated into how the utility function over executionhistory sequences responds to an event occurring in one worldprogram vs. another. If I had used this approach in my UDT1.1 formalization of your problem, I would have had just two worldprograms: a correctcalculator world and an incorrectcalculator world. Then, having the correct parity on the answer sheet in the correctcalculator world would have been worth 99 times as much as having the correct parity in the incorrectcalculator world. But this would not have changed my computations. I don't think that this issue is the locus of our present disagreement.
* You must be disagreeing with me by this point, because I have contradicted your claim that "Omega offers the decision in 'even' worlds, in some of which 'even' is correct, and in some of which it's not*". (Emphasis added.)
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110208T22:23:20.533Z · LW(p) · GW(p)
You must be disagreeing with me by this point, because I have contradicted your claim that "Omega offers the decision in 'even' worlds, in some of which 'even' is correct, and in some of which it's not". (Emphasis added.)
Worldprograms are a bad model for possible worlds. For all you know, there could be just one worldprogram (indeed you can consider an equivalent variant of the theory where it's so: just have that single world program enumerate all outputs of all possible programs). The element of UDT analogous to possible worlds is execution histories. And some execution histories easily indicate that 2+2=5 (if we take execution histories to be enumerations of logical theories, with worldprograms axiomatic definitions of theories). Observations, other background facts, and your actions are all elements that specify (sets/events of) execution histories. Utility function is defined on execution histories (and it's usually defined on possible worlds). Probability given by mathematical intuition can be read as naming probability that given execution history (possible world) is an actual one.
Replies from: Tyrrell_McAllister↑ comment by Tyrrell_McAllister · 20110216T17:44:28.508Z · LW(p) · GW(p)
It's not clear what the "Omega offers the decision in a correctcalculator world" event is, since we already know that Omega offers the decision in "even" worlds, in some of which "even" is correct, and in some of which it's not (as far as you know), and 99% of "even" worlds are the ones where calculator is correct, while you clearly assign 50% as probability of your event.
So, you intended that the equivalence
 "Omega offers the decision" <==> "the calculator says 'even' "
be known to the agent's mathematical intuition? I didn't realize that, but my solution still applies without change. It just means that, as far as the agent's mathematical intuition is concerned, we have the following equivalences between predicates over sequences of execution histories:
 "Omega offers the decision in a correctcalculator world"
is equivalent to
 "The calculator says 'even' in the 99 correctcalculator worlds",
while
 "Omega offers the decision in an incorrectcalculator world"
is equivalent to
 "The calculator says 'even' in the one incorrectcalculator world".
Below, I give my guess at your UDT1.1 approach to the problem in the OP. If I'm right, then we use the UDT1.1 concepts differently, but the math amounts to just a rearrangement of terms. I see merits in each conceptual approach over the other. I haven't decided which one I like best.
At any rate, here is my guess at your formalization: We have one worldprogram. We consider the following oneplace predicates over possible execution histories for this program: Given any execution history E,
CalculatorIsCorrect(E) asserts that, in E, the calculator gives the correct parity for Q.
"even"(E) asserts that, in E, the calculator says "even". Omega then appears to the agent and asks it what Omega should have written on the test sheet in an execution history in which (1) Omega blocks the agent from writing on the answer sheet and (2) the calculator says "odd".
"odd"(E) asserts that, in E, the calculator says "odd". Omega then (1) blocks the agent from writing on the test sheet and (2) computes what the agent would have said to Omega in an execution history F such that "even"(F). Omega then writes what the agent would say in F on the answer sheet in E.
Borrowing notation from my last comment, we make the following assumptions about the probability measures P_f. For all inputoutput maps f,
P_f(CalculatorIsCorrect) = 0.99,
P_f("even") = P_f("odd") = 1/2,
"even" and "odd" are uncorrelated with CalculatorIsCorrect under P_f.
The inputoutput maps to consider are
g: On seeing "even", write "even" and tell Omega, "Write 'even'."
h: On seeing "even", write "even" and tell Omega, "Write 'odd'."
The utility U(E) of an execution history E is 1 if the answer on the sheet in E is the true parity of Q. Otherwise, U(E) = 0.
The expected payoffs of g and h are then, respectively,
EU(g) = P_g("even" & CalculatorIsCorrect) 1 + P_g("even" & ~CalculatorIsCorrect) 0 + P_g("odd" & CalculatorIsCorrect) 0 + P_g("odd" & ~CalculatorIsCorrect) 1 = 1/2 0.99 1 + 1/2 0.01 1 = 0.50.
EU(h) = P_h("even" & CalculatorIsCorrect) 1 + P_h("even" & ~CalculatorIsCorrect) 0 + P_h("odd" & CalculatorIsCorrect) 1 + P_h("odd" & ~CalculatorIsCorrect) 0 = 1/2 0.99 1 + 1/2 0.99 1 = 0.99.
↑ comment by lukstafi · 20110208T18:14:52.617Z · LW(p) · GW(p)
It's not clear what the "Omega offers the decision in a correctcalculator world" event is, since we already know that Omega offers the decision in "even" worlds, in some of which "even" is correct, and in some of which it's not (as far as you know), and 99% of "even" worlds are the ones where calculator is correct, while you clearly assign 50% as probability of your event.
I "weakly" argue for the 50% probability as well. My argument follows the Pearltype of counterfactual (Drescher calls it "choicefriendly")  when you counterfactually set a variable, you cut directed arrows that lead to it, but not directed arrows that lead out or undirected arrows (which in another comment I mistakenly called bidirected). My intuition is that the "causing" node might possibly be logically established before the "caused" node thus possibly leading to contradiction in the counterfactual, while the opposite direction is not possible (the "caused" node cannot be logically established earlier than the "causing" node). Directly logically establishing the counterfactual node is harmless in that it invalidates the counterfactual straight away, the argument "fears" of the "gap" where we possibly operate by using a contradictory counterfactual.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110208T18:28:37.676Z · LW(p) · GW(p)
Pearl's counterfactuals (or even causal diagrams) are unhelpful, as they ignore the finer points of logical control that are possibly relevant here. For example, that definitions (facts) are independent should refer to the absence of logical correlation between them, that is inability to infer (facts about) one from the other. But this, too, is shaky in the context of this puzzle, where the nature of logical knowledge is called into question.
Replies from: lukstafi↑ comment by lukstafi · 20110208T21:48:56.804Z · LW(p) · GW(p)
Is it a trivial remark regarding the probability theory behind Pearl's "causality", or an intuition with regard to future theories that resemble Pearl's approach?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110208T22:14:27.684Z · LW(p) · GW(p)
It is a statement following from my investigation of logical/ambient control and realityasnormativeanticipation thesis which I haven't written much about, but this all is regardless called in question as adequate foundation in light of the thought experiment.
↑ comment by shokwave · 20110201T06:43:14.816Z · LW(p) · GW(p)
It is no different, as far as I can tell. You can't go from the coin landed the same as it did in your world to only considering worlds where the coin is heads  which is the premise you need if you want to conclude that this is the 1% case of scanner going wrong.
↑ comment by lukstafi · 20110201T01:09:25.121Z · LW(p) · GW(p)
In my opinion the original post (barring the later comment by the author) does not imply that Q is the same in the real world and in the counterfactual world. Am I wrong here?
Then, if Omega is a trustworthy allpowerful device, it would not construct a counterfactual that is straightout impossible just to play a trick on me. Therefore I conclude that the counterfactual amounts to running an identical scanner another time and getting a different result. But now I no longer think that it is an independent copy of the scanner  actually it is completely dependent (it is determined to return a different answer), so I no longer think that the conclusion about the coins is fiftyfifty, but that we shouldn't update.
Replies from: Tyrrell_McAllister↑ comment by Tyrrell_McAllister · 20110201T01:34:39.780Z · LW(p) · GW(p)
In my opinion the original post (barring the later comment by the author) does not imply that Q is the same in the real world and in the counterfactual world. Am I wrong here?
I have been assuming that Q is the same complicated formula in both worlds.
Replies from: lukstafi, Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T14:29:41.494Z · LW(p) · GW(p)
I have been assuming that Q is the same complicated formula in both worlds.
This is correct. Clarified in the post.
comment by cousin_it · 20110131T16:46:34.937Z · LW(p) · GW(p)
I suspect that the question sounds confusing because it conflates different counterfactual worlds. Where exactly does the world presented to you by Omega diverge from the actual world, at what point does the intervention take place? If Omega only changes the calculator display, you should say "even". If it fixes an error in the calculator's inner workings, you should say "odd".
Replies from: Vladimir_Nesov, Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T13:42:59.547Z · LW(p) · GW(p)

↑ comment by Vladimir_Nesov · 20110131T16:54:19.382Z · LW(p) · GW(p)
Calculator is stochastic, Omega doesn't touch any calculator, it assists you with determining what gets written on the counterfactual test sheet (not by counterfactual you, but by Omega personally, counterfactual you is ignored). The worlds diverge at a point where the calculator happens to display different answers to the same question.
comment by nick012000 · 20110202T22:45:29.112Z · LW(p) · GW(p)
I take out a pen and some paper, and work out what the answer really is. ;)
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110203T21:45:43.158Z · LW(p) · GW(p)
Indeed. Consider a variant of the thought experiment where in the "actual" world you used a very reliable process, that's only wrong 1 time in a trillion, while in the counterfactual you're offered to control, you know only of an old calculator that is wrong 1 time in 10, and indicated a different answer from what you worked out. Updateless analysis says that you still have to go with old calculator's result.
Knowledge seems to apply only to the event that produced it, even "logical" knowledge. Even if you prove something, you can't be absolutely sure, so in the counterfactual you trust an old calculator instead of your proof. This would actually be a good variant of this thought experiment ("Counterfactual Proof"), interesting in its own right, by showing that "logical knowledge" has the same limitations, and perhaps further highlighting the nature of these limitations.
Replies from: lukstafi, lukstafi↑ comment by lukstafi · 20110208T15:58:48.304Z · LW(p) · GW(p)
Do you build counterfactuals the Judea Pearl way, or some other way (for example the Gary Drescher way of chap. 5 "Good and Real")? Or do you think our current formalisms do not "transfer" to handling logical uncertainty (i.e. are not good analogues of a theory of logical uncertainty)?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110208T16:28:09.876Z · LW(p) · GW(p)
I don't have a clear enough idea of the way I myself think about counterfactuals to compare. Pearl's counterfactuals are philosophically unenlightening, they stop at explicit definitions, and I still haven't systematically read Drescher's book, only select passages.
The idea I use is that any counterfactual/event is a logically defined set (of possible worlds), equipped with necessary structures that allow reasoning about it or its subevents. The definition implies certain properties, such as its expected utility, the outcome, in a logically nontransparent way, and we can use these definitions to reason about dependence of outcome (expected utility, probability, etc.) on actiondefinition, queryreplies, etc., through ambient control.
↑ comment by lukstafi · 20110205T15:18:53.340Z · LW(p) · GW(p)
Pardon me if I repeat someone. Q causes the answer of the calculator, so if we set calculator's answer counterfactually we lose dependency between Q and the calculator, and so we don't have any knowledge of the counterfactual Q. Whereas if we had a formula R of comparable logical complexity to Q, drawn from a class of formula pairs with 90% correlation of values, then the dependency is bidirectional and counterfactually setting R we gain the knowledge about the counterfactual Q. Does "in the counterfactual you trust an old calculator instead of your proof" mean that you don't agree (with this analysis)? (I have the impression that the problem statement drifted somewhat from "counterfactual" to a more "conditional" interpretation where we don't sever any dependencies.)
comment by nshepperd · 20110202T11:57:18.354Z · LW(p) · GW(p)
What does it even mean to write an answer on a counterfactual test sheet?
Is it correct to to interpret this as "ifcounterfactual the calculator had showed odd, Omega would have shown up and (somehow knowing what choice you would have made in the "even" world) altered the test answer as you specify"?
Viewing this problem from before you use the calculator, your distribution is P(even) = P(odd) = 0.5. There are various rules Omega could be playing by:
 Omega always (for some reason uncorrelated to the parity of Q) asks you what to do iff the calculator shows even, and alters the sheet iff the calculator shows odd. Deciding "write even", your answer is only ever correct if Q is indeed even (regardless of the calculator), hence P(correct) = P(even) = 0.5. Deciding "write odd" is identical to the case without Omega (your answer is just what the calculator says) hence P(correct) = P(calculator is correct) = 0.99. The thing to do is decide to "write odd"
 Same as the above with even and odd reversed. "Leave the counterfactual paper alone" is still the correct answer.
 Some random combination of the previous two uncorrelated to the parity of Q. "Leave the counterfactual paper alone" would still be the correct answer.
 Omega knows the parity of Q, and asks you iff the calculator is correct. Deciding to say "alter the paper", the answer written is always the correct one, P(correct) = 1. "Alter the counterfactual paper" is obviously the correct answer.
 Omega asks you iff the calculator is correct, with probability p (maybe he's somehow unsure of the parity of Q, and asks you iff the calculator's result is the one he thinks is most likely). Deciding "alter the counterfactual paper", the answer written down is the correct one (again, regardless of the calculator) with probability P(correct) = p. As before, "don't alter the paper" gives you P(correct) = 0.99. Hence, answer "alter the paper" iff p > 0.99.
Finding a prior on these possibilities is left to the reader.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T12:14:54.346Z · LW(p) · GW(p)
Is it correct to to interpret this as "ifcounterfactual the calculator had showed odd, Omega would have shown up and (somehow knowing what choice you would have made in the "even" world) altered the test answer as you specify"?
Yes.
comment by wedrifid · 20110201T04:12:36.685Z · LW(p) · GW(p)
Why does observational knowledge work in your own possible worlds, but not in counterfactuals?
It does not work in this counterfactual. Omega could have specified the counterfactual such that the observational knowledge in the counterfactual was as usable as that in the 'real' world. (Most obviously by flat out saying it is so.)
The reason we cannot use the knowledge from this particular counterfactual is that we have no knowledge about how the counterfactual was selected. The 99% figure (as far as we know) is not at all relevant to how likely it is that we would be presented with an even or odd counterfactual result. When we intuitively reject the counterfactual result we, or at least I, are making this judgement.
Replies from: Vladimir_Nesov, Yvain↑ comment by Vladimir_Nesov · 20110201T13:46:21.113Z · LW(p) · GW(p)
Yes, clearly in some counterfactuals such knowledge works.
The reason we cannot use the knowledge from this particular counterfactual is that we have no knowledge about how the counterfactual was selected.
What do you additionally need to know about the counterfactuals? Where is the ambiguity (among what two examples of possible interpretations that change the analysis)? What do you mean by "selected"?
Replies from: Soki↑ comment by Soki · 20110201T14:37:05.496Z · LW(p) · GW(p)
It may not be what wedrifid meant, but does Omega always appear after you see the result on the calculator?
Does Omega always ask :
"Consider the counterfactual where the calculator displayed opposite_of_what_you_saw instead of what_you_saw" ?
If that is true, then I guess it means that what Omega replaces your answer with on the test sheet in the worlds where you see "even" is the answer you write on the counterfactual test sheet in the worlds where you see "odd". And the same with "even" and "odd" exchanged.
↑ comment by Scott Alexander (Yvain) · 20110201T13:06:18.943Z · LW(p) · GW(p)
I agree with this answer. I believe in the question as given the answer is probably "even", but if Omega clarifies that in a counterfactual world randomly selected from the pool of all counterfactual worlds the calculator displayed "odd", then you should have a 50% probability each way.
The reason observational evidence works in your world but not in other not randomly selected possible worlds is that if Omega selected the world in any way other than at random, then we're talking about a world that may have been specifically selected for being improbable.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T13:54:47.802Z · LW(p) · GW(p)
Omega changes the test sheet in all possible worlds where the calculator shows "odd". (A "counterfactual" is an event, not a particular possible world, which is more natural since you name counterfactuals by specifying highlevel properties, which is not sufficient to select only one possible world, if that notion even makes sense.) Clarified in the post.
comment by Nisan · 20110131T17:54:55.827Z · LW(p) · GW(p)
This seems easy. Q is most likely even, so in the counterfactual the calculator is most likely in error, and we prefer Omega to write "even". What am I missing?
Replies from: shokwave↑ comment by shokwave · 20110131T18:11:40.627Z · LW(p) · GW(p)
Q is most likely even,
Derived from the likelihood of the calculator being in error
so in the counterfactual the calculator is most likely in error,
You can't conclude this  think about what evidence you have that the calculator is in error!
Replies from: Nisan, lukstafi, MC_Escherichia↑ comment by lukstafi · 20110131T19:53:18.804Z · LW(p) · GW(p)
You can't conclude this  think about what evidence you have that the calculator is in error!
You can't conclude this, but for a different reason: changing the value on the display means changing Omega. You cannot have the same Omega and a different value of the same process. (ETA: and calling the name of Everett does not affect my reasoning here ETA2 meaning that I don't think Q is most likely even in the counterfactual universe.)
↑ comment by MC_Escherichia · 20110131T18:45:08.305Z · LW(p) · GW(p)
You can't conclude this
Yes you can. The real calculator in the real world had a 99% chance of being right. The counterfactual case is (in all probability) the 1% chance where it was wrong.
Replies from: Nisan↑ comment by Nisan · 20110131T18:54:44.982Z · LW(p) · GW(p)
Nah. See, given that the real calculator says "even", there's a 0.99% chance that it's correct and that, in a repetition of the experiment, it would say incorrectly say "odd". There's also a 0.99% chance that the real calculator is incorrect and that, in a repetition of the experiment, it would correctly say "odd". The counterfactual case is just as likely to be the calculator being correct as the calculator being incorrect.
ETA: The above is wrong. I was confused about the problem because I wasn't thinking updatelessly. It's like Newcomb's problem.
Replies from: MC_Escherichia↑ comment by MC_Escherichia · 20110131T19:03:19.284Z · LW(p) · GW(p)
I'm not following you.
Imagine this scenario happens 10000 times, with different formulae.
In 9900 of those cases, the calculator says , and Omega asks what the answer is if the calculator says .
In 100 of those cases, the calculator says , and Omega asks what the answer is if the calculator says .
So you are more likely to be in the first scenario.
Replies from: AlexMennen, shokwave, Vladimir_Nesov↑ comment by AlexMennen · 20110131T19:27:09.604Z · LW(p) · GW(p)
This is a dispute over the premises of the problem (whether Omega's counterfactual is always different than yours, or is correct 99% of the time and independent of yours), not a dispute about how to solve the problem. The actual premise needs to be made clear before the question can be properly answered.
Replies from: Manfred↑ comment by Manfred · 20110201T10:02:24.398Z · LW(p) · GW(p)
"I have no probability assignment, you haven't told me your motives" is not an allowed answer. Pretend Omega holds a gun to your head and will fire unless you answer in ten seconds. There is always some information, I promise. You can avoid getting shot.
EDIT: Upon reflection, this post was too simplistic. If we have some prior information about Omega (e.g. can we ascribe humanlike motives to it?), then we would have to use it in making our decision, which would add an element of apparent subjectivity. But I think it's safe to make the simplifying assumption that we can't say anything about Omega, to preserve the intent of the question.
Replies from: AlexMennen↑ comment by AlexMennen · 20110201T22:25:13.280Z · LW(p) · GW(p)
If Omega doesn't tell you what premises he's using, then you will have some probability distribution over possible premises. However, that distribution, or the information that led to it, needs to be made explicit for the thought experiment to be useful.
If you assume that your prior is 50% that Omega's counterfactual is always different than yours and 50% that it is independent, then updating on the fact that the counterfactual is different in this case gives you a posterior of 99% always different and 1% independent. This means that there is a (99%)^2 + 0.5% chance that your answer is right, and a 1.49% chance that your answer is wrong.
Interestingly, since the question is about math rather than a feature of the world, your answer should be the same for real life and the counterfactual, meaning that if you know that the counterfactual calculator is right mod 2 99% of the time and independent of yours, you should be indifferent to righting "even" or "odd" on your reallife paper.
Replies from: Manfred↑ comment by Manfred · 20110202T02:30:35.294Z · LW(p) · GW(p)
Good point, but I think the following is wrong: "Interestingly, since the question is about math rather than a feature of the world, your answer should be the same for real life and the counterfactual." This does not follow. The correct answer is the same, yes, but the best answer you can give depends on your state of knowledge, not on the unknown true answer. I would argue that you should give the best answer you can, since that's the only way to give an answer at all.
Replies from: AlexMennen↑ comment by AlexMennen · 20110202T03:42:28.610Z · LW(p) · GW(p)
The question wasn't "What would you write if the calculator said odd?". It was "Given that you already know your calculator says even, what answer would you like written down in the counterfactual in which the calculator said odd?". This means that you are not obligated to ignore any evidence in either real life or the counterfactual, and the answers are the same in each. Therefor your probability distribution should be the same in regards to the answers in each.
Replies from: Manfred↑ comment by Manfred · 20110202T04:04:27.540Z · LW(p) · GW(p)
Omega asks you "what is the true answer?" Vladimir asks you "what does Omega say in the counterfactual that your calculator returned odd?" Since Omega always writes the true answer at the end, the question is equivalent to "what is the true answer if your calculator returned odd?" Since the true answer is not affected by the calculator, this is further equivalent to "What is the true answer?"
So it's possible we were just answering different questions.
Replies from: FAWS, AlexMennen↑ comment by AlexMennen · 20110202T04:18:09.765Z · LW(p) · GW(p)
"What is the true answer?" is the question I was trying to answer. What question are you trying to answer?
Replies from: Manfred↑ comment by Manfred · 20110202T09:04:01.503Z · LW(p) · GW(p)
The same.
Ah, wait! By "the answer" in your last sentence (in regards to the answers in each), did you mean the true answer, not your own answer? That would be much more... factually correct, though your second to last sentence still makes it sound like you're counting fictional evidence.
Replies from: AlexMennen↑ comment by AlexMennen · 20110202T22:37:49.011Z · LW(p) · GW(p)
Yes, I meant the true answer. And my point was that if Omega took the correct answer into account when creating the counterfactual, the evidence gained from the counterfactual is not fictional.
Replies from: Manfred↑ comment by shokwave · 20110201T06:11:08.262Z · LW(p) · GW(p)
Imagine this scenario happens 10000 times, with different formulae.
Given our prior, 5000 of the times the actual answer is even, and 5000 times the answer is odd.
In 4950 of the 5000 Qiseven cases, the calculator says . And in the other 50 cases of Qiseven, the calculator says . Then, in 4950 of the Qisodd cases, the calculator says and in 50 cases it says . Note that we still have 9900 cases of and 100 cases of .
Omega presents you with a counterfactual world that might be one of the 50 cases of Qiseven, or one of the 4950 cases of Qisodd, . So you're equally likely (5000:5000) to be in either scenario (Qisodd, Qiseven) for actually writing down the right answer (as opposed to writing down the answer the calculator gave you).
Replies from: MC_Escherichia↑ comment by MC_Escherichia · 20110201T09:46:06.220Z · LW(p) · GW(p)
I'm still not following. Either the answer is even in every possible world, or it is odd in every possible world. It can't be legitimate to consider worlds where it is even and worlds where it is odd, as if they both actually existed.
Replies from: Vladimir_Nesov, shokwave↑ comment by Vladimir_Nesov · 20110201T15:01:03.967Z · LW(p) · GW(p)
Either the answer is even in every possible world, or it is odd in every possible world. It can't be legitimate to consider worlds where it is even and worlds where it is odd, as if they both actually existed.
If you don't know which is the case, considering such possibly impossible possible worlds is a standard tool. When you're making a decision, all possible decisions except the actual one are actually impossible, but you still have to consider those possibilities, and infer their morally relevant highlevel properties, in the course of coming to a decision. See, for example, Controlling Constant Programs.
↑ comment by shokwave · 20110201T09:54:21.154Z · LW(p) · GW(p)
Either the answer is even in every possible world, or it is odd in every possible world.
Which is the case? What do you do if you're uncertain about which is the case?
Replies from: MC_Escherichia↑ comment by MC_Escherichia · 20110201T10:33:01.993Z · LW(p) · GW(p)
Which is the case?
Your initial read off your calculator tells you with 99% certainty.
Now Omega comes in and asks you to consider the opposite case. It matters how Omega decided what to say to you. If Omega was always going to contradict your calculator, then what Omega says offers no new information. But if Omega essentially had its own calculator, and was always going to tell you the result even if it didn't contradict yours, then the probabilities become 50%.
Replies from: Manfred↑ comment by Manfred · 20110201T12:45:36.849Z · LW(p) · GW(p)
True, but I'd like to jump in and say that you can still make a probability estimate with limited information  that's the whole point of having probabilities, after all. If you had unlimited information it wouldn't be much of a probability.
↑ comment by Vladimir_Nesov · 20110201T14:55:00.242Z · LW(p) · GW(p)
So you are more likely to be in the first scenario.
Yes. You've most likely observed the correct answer, says observational knowledge. The argument in the parent comment doesn't disagree with Nisan's point.
comment by Manfred · 20110201T10:10:58.585Z · LW(p) · GW(p)
Consider the following thought experiment
You have a bag with a red and a blue ball in it. You pull a ball from the bag, but don't look at it. What is the probability that it is blue?
Now imagine a counterfactual world. In this other world you drew the red ball from the bag. Now imagine a hippo eating an octopus. What is the probability that you drew the blue ball?
"Why does observational knowledge work in your own possible worlds, but not in counterfactuals?" is the key question here. Perhaps it's easier to parse like this: "Why isn't anything you can think of evidence?"
EDIT: Note that although that last question makes my answer to Vladimir's question obvious, answering the question itself requires, basically, defining what evidence is. I suppose I may as well be helpful: evidence is what you get when an event happens that lets you apply Bayes' rule to learn something new  not just any old event will do, it has to be an event that gives you different information under different circumstances.
Replies from: None↑ comment by [deleted] · 20110201T19:08:23.292Z · LW(p) · GW(p)
It seems like one answer to "Why isn't anything you can think of evidence?" might be that "anything you can think of" becomes incomputable very quickly.
Let's say you were to ask a computer to consider "Anything you can think of" with respect to this problem. Imagine each unique hard drive configuration is a thought, And it can process 1 thought per second per hertz. Let's make it a 5ghz computer.
It can think of anything on a 32 bit drive in a bit less then 1 second since 2^32 is 4,294,967,296, which is less then 5 billion.
The problem is, in uncompressed Ascii where you would need 8bits for a character, you can't even fit the thought "32bit" onto a 32 bit harddrive, since it's 5 bytes/40 bits long.
If we double the harddrive to 64 bits to give ourselves more room for longer thoughts, our 5ghz computer goes from being able to calculate all possible thoughts in less then a second to being able to calculate it in around a human lifetime, because of the exponential growth involved. (At least, assuming I've made no math errors.)
We actually have computers do this when we try to have them crack passwords with brute force. A computer trying to brute force a password is essentially trying "Anything it can think of" to open the password protected data.
comment by [deleted] · 20110207T20:58:28.701Z · LW(p) · GW(p)
The thing is, the other world was chosen specifically BECAUSE it had the opposite answer, not randomly like the world you're in.
comment by Will_Sawin · 20110204T18:46:58.910Z · LW(p) · GW(p)
This is the intuition I find helpful: Your decision only matters when the calculator shows odd. There is a 99% chance your decision matters if it's odd and a 1% chance your decision matters if it's not odd. Therefore the situation where you're told it's even is evidence that it's odd.
In this scenario, we are the counterfactual. The calculator really showed up odd, not even.
comment by MinibearRex · 20110203T20:56:11.762Z · LW(p) · GW(p)
Once your calculator returns the result "even", you assign 99% probability to the condition "Q is even". Changing that opinion would require strong bayesian evidence. In this case, we're considering hypothetical bayesian evidence provided by Omega. Based on our prior probabilities, we would say that if Omega randomly chose an Everett branch (I'm going with the quantum calculator, just because it makes vocabulary a bit easier), 99% of the time Omega would chose another Everett branch in which the calculator also read "even". However, Omega seems to like messing with our heads, and so we can conclude that this is probably not the algorithm Omega used to generate this problem. Instead, Omega purposely searched for an example of that 1% of all possible worlds in which the calculator read "odd". If we assume this behavior on the part of Omega, the bayesian weight of the evidence (the knowledge that there is at least one possible world in which the calculator reads "odd") goes way down. It might be something, especially because we aren't 100% certain of Omega's motivations and algorithms, but it certainly wouldn't be enough to adjust our prior probability all the way to a point below 50%.
comment by Will_Sawin · 20110202T16:10:47.406Z · LW(p) · GW(p)
Here's a possible argument.
Assume what you do in the counterfactual is equivalent to what you do in IRL, with even/odd swapped. Then TDT says that choosing in the counterfactual ALSO chooses for you in the real world. So you should choose odd there so that you can choose even in the real world and get it right.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T16:34:57.530Z · LW(p) · GW(p)
Cheating.
Replies from: Will_Sawin↑ comment by Will_Sawin · 20110202T20:06:20.546Z · LW(p) · GW(p)
Create a new version of the problem that eliminates that argument then.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T20:12:24.305Z · LW(p) · GW(p)
It doesn't apply to my version of the problem.
Replies from: Will_Sawin↑ comment by Will_Sawin · 20110202T20:35:59.647Z · LW(p) · GW(p)
Elaborate?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T21:40:29.923Z · LW(p) · GW(p)
"Assume what you do in the counterfactual is equivalent to what you do in IRL, with even/odd swapped" doesn't hold. See this thread.
comment by Douglas_Knight · 20110201T17:42:39.765Z · LW(p) · GW(p)
Is this an attempt to replicate in UDT the problems of TDT?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T00:48:51.095Z · LW(p) · GW(p)
Huh?
comment by prase · 20110201T12:43:03.918Z · LW(p) · GW(p)
I wonder if the question is enough specified. Naïvely, I would say that Omega will write down "even" with p=0.99, simply because Omega appearing and telling me "consider the counterfactual" is not useful evidence for anything. P(Omega appearsQ even) and P(Omega appearsQ odd) are hard to specify, but I don't see reason to assume that the first probability is greater than the second one, or vice versa.
Of course, the above holds under assumption that all counterfactual worlds have the same value of Q. I am also not sure how to interpret this:
what is to be written (by Omega) on the test sheet in that counterfactual
Does it mean the same as
the correct parity of Q in that counterfactual
or even
the correct parity of Q
To me all three seem to be identical, but perhaps I am missing something important.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T14:20:35.992Z · LW(p) · GW(p)
Omega writes the final answer on the counterfactual test sheet, it doesn't rewrite the question. The question is the same, Q, everywhere, as is the process of typing it in the calculators. It writes what you say it to write, correctness doesn't matter. Clarified in the post.
Replies from: prase↑ comment by prase · 20110201T16:44:58.483Z · LW(p) · GW(p)
I would probably need some more detailed analysis why this example is interesting. It seems to me that (if I care about my counterfactual self passing the test) I analyse the probabilities of Omega appearing given the specifict correct answer and then update accordingly. But 1) that would be trivial, and 2) you have said in one of your comments that counterfactual is an event, rather than a possible world, so it may as well be impossible. Also, I'd like to know why should I care about what is counterfactually written by Omega in a counterfactual situation, and not answer "whatever".
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T17:05:35.953Z · LW(p) · GW(p)
Replies from: praseAlso, I'd like to know why should I care about what is counterfactually written by Omega in a counterfactual situation, and not answer "whatever".
↑ comment by prase · 20110201T19:04:30.909Z · LW(p) · GW(p)
This doesn't seem the same. In Counterfactual Mugging, my reward depends on my hypothetical behaviour in the counterfactual scenario. Here, you have explicitly ruled out that the counterfactual me can influence something.
Suppose a reward $1000 for passing the test. Let's also assume 100 copies of some person taking the test. If the copies are the sort of people who agree with the calculator no matter what Omega says, 99 of them would obtain $1000, for trivial reasons, and one gets nothing. This justifies the 99% confidence.
Even if Omega rewrote the answers of actual copies based on decision of other actual copies (I don't think this follows from the description of the problem), still it would be better to stick with the calculator. If the copies knew specifically that Omega appears only to those copies who have received wrong answer from the calculator, only then would another strategy become justified, but again for trivial reasons.
What am I doing wrong?
Replies from: datadataeverywhere, Vladimir_Nesov↑ comment by datadataeverywhere · 20110201T19:43:21.718Z · LW(p) · GW(p)
I think your final (larger) paragraph is confusing, but your conclusion is correct. That Omega presents you with a counterfactual only provides evidence that Omega is a jerk, not that you chose incorrectly.
Replies from: prase, Vaniver↑ comment by prase · 20110202T13:36:24.526Z · LW(p) · GW(p)
I am pretty sure that I have interpreted the problem wrongly and the confusingness of the paragraph is the result. (The only nontrivial interpretation which occured to me yesteday was that Omega is scanning a set of people and is changing actual answers of those who obtained "even" based on instructions given by those who obtained "odd", which was, in hindsight, quite absurd way to understand it.)
See also my last reply to Vladimir Nesov in this thread.
↑ comment by Vladimir_Nesov · 20110201T19:34:01.522Z · LW(p) · GW(p)
Even if Omega rewrote the answers of actual copies based on decision of other actual copies (I don't think this follows from the description of the problem), still it would be better to stick with the calculator.
I don't understand this passage. What "actual copies"? What doesn't follow how? What does it mean to "stick with the calculator"? (Which calculator? Who does the "sticking"?)
Replies from: prase↑ comment by prase · 20110202T13:27:27.217Z · LW(p) · GW(p)
Let me try again, then, hopefully more clearly.
Suppose that I am asked to precommit to a strategy before I know the result of the calculation (such assumption removes the potential disagreement with CDT in Counterfactual Mugging). Also, I expect that Omega appears with certainty, no matter what result the calculator gives.
So, I know that I will be given the calculator result, which is 99% correct, and asked by Omega to imagine a counterfactual world where the result was the opposite, and that I am free to determine what should Omega write in that counterfactual world.
The only chance why I should care is when I think that Omega could rewrite my result in the actual world. But I was not sure what algorithm Omega would follow. From the description of the problem it seemed that Omega simply asks the question and "modifies the counterfactual world", which I interpret as "changing Omega's beliefs about the counterfactual world." But anybody can do that, there is no need for Omega's exceptional qualities here, and I am certainly not going to change my beliefs after being asked this question by a janitor in place of Omega.
So Omega must be following some distinct algorithm. He may scan my mind and always rewrite the result depending on how would I respond in the counterfactual world. Hence I have asked whether it rewrites the answers of the actual people, rather than only changing its fantasies about the counterfactual. Probably that interpretation was the natural one when Omega was included, but it didn't occur to me after reading the original post. I continue within this interpretation.
I have four pure strategies: Precommit to tell Omega to write down (in the counterfactual world)
 the actual calculator output.
 the counterfactual (i.e. opposite) output.
 always even.
 always odd.
The first one always leads Omega to rewrite my answer to the opposite, which leaves me with 99% chance of losing. The second one wins in 99% of cases. The remaining two are 50% successful. So, answer to your question is "odd".
Is this interpretation correct, or still I am misunderstanding something?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T14:20:25.003Z · LW(p) · GW(p)
Also, I expect that Omega appears with certainty, no matter what result the calculator gives.
This could work if you give up control over your own test sheet to the counterfactual you mediated by Omega (and have your own decision control the counterfactual test sheet using counterfactual Omega). That's an elegant variant of the problem, with an additional symmetry. (In my thought experiment, the you that observed "odd" doesn't participate in the thought experiment at all, and the test sheet on "even" side is controlled by the you that observed "even".)
Can't parse a significant portion of the rest you wrote, but the strategies you consider and consequences of their use are correct for your variant of the thought experiment.
Replies from: prase↑ comment by prase · 20110202T15:13:22.823Z · LW(p) · GW(p)
In my thought experiment, the you that observed "odd" doesn't participate in the thought experiment at all, and the test sheet on "even" side is controlled by the you that observed "even".
So, what does Omega do in your experiment? What algorithm it follows?
(If my question sounds repetitive, it is because not only I am confused, but I don't see a way out from the confusion.)
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T15:20:45.609Z · LW(p) · GW(p)
Omega on the "odd" side predicts what the you on "even" side would command to be done with the test sheet on "odd" side, and does that. That's all Omegas do. You could have a janitor ask you the question on "even" side as easily, we only use "trustworthiness" attribute on "even" side, but need "predictive capability" attribute on "odd" side. An Omega always appears on "even" side to ask the question, and always appears on "odd" side to do the answerwriting.
Replies from: prase↑ comment by prase · 20110202T16:46:03.783Z · LW(p) · GW(p)
Thanks, I have automatically assumed that Omega is paritysymmetric.
Edit: So, the strategies lead to:
 If Q is even, I get it right in 99% of cases. If Q is odd, Omega changes my answer, and I get it wrong 99% of the time. Success rate = 0.5.
 The same reversed. If Q is even, I write down false answer 99% of the time, but if Q is odd, Omega steps in and changes the answer leading to 99% success. Overall 0.5.
 If Q is even, I get it right always, and if Q is odd, the result is wrong always. Success rate = 0.5.
 If Q is even, I get it wrong always, but if it is odd, I get it right. Also 0.5.
Can it be lifted above 0.5? The ability to write "even" on the even side leads to Omega putting "even" on the odd side. It even seems that the randomness of the calculator is not needed to create the effect.
comment by lukstafi · 20110201T00:44:26.462Z · LW(p) · GW(p)
My understanding is that the question is about how to do counterfactual math. There is no essential distinction between the two types (observational vs. logical) of knowledge, they are "limiting cases" of each other (you always only observe your mental reasoning, or calculator outputs, or publications on one end; Laplace's demon on the other end).
ETA: my thinking went an Uturn from setting the calculator value without severing the Q>calculator correlation (i.e. treating calculator as an observed variable with a fictional observation), to setting the calculator value only after severing the Q>calculator correlation. (It would be clearer to me if I visualized the Q>calc arrow.) Judea Pearl definitely bubbles up my reading list. (My mistake again, sorry for the noise with too many comments!)
ETA2: my current answer (reasoning above) is fiftyfifty (Q as likely odd as even) in the counterfactual world without update (Q most likely even) in the real world.
Replies from: lukstafi↑ comment by lukstafi · 20110201T04:07:30.065Z · LW(p) · GW(p)
OK, my final understanding is that the question is whether to build the two world models with a shared Q node or with separate Q nodes. We have separate calculator nodes so by analogy I see no strong reason for there to be a shared Q node, but also no strong reason for separate Q nodes since the counterfactual calculator is severed from the Q node. My inclination is that sharing nodes (as opposed to structure+parameters) between counterfactual worlds is the wrong thing to do, but sharing nodes is a limiting case of sharing structure+parameters... so the "logical" nodes should be shared and I've been the most wrong (by entertaining all other solutions). (But then the "logical" here is defined exactly as what is shared between all legitimate counterfactuals, so it is weaker than the "classically logical"; not all formulas are logical in this sense, but the ones that a mere calculator can compute probably are.)
comment by jacob_cannell · 20110201T00:55:32.741Z · LW(p) · GW(p)
Consider the counterfactual where the calculator displayed "odd" instead of "even", after you've just typed in the formula Q.
This consists of just reapplying the algorithm or rereading the previous paragraph with "even" replaced with "odd", so the answer should be 99% odd.
This is based on my understanding of counterfactual as considering what you would do in some hypothetical alternate branch 'whatif'.
Replies from: b1shop, wedrifid↑ comment by b1shop · 20110201T01:09:03.895Z · LW(p) · GW(p)
This is how I interpreted it as well. I'm assuming something else is going on with the "updateless" part, but I don't know what it is.
Replies from: wedrifid↑ comment by wedrifid · 20110201T06:29:05.132Z · LW(p) · GW(p)
This is how I interpreted it as well. I'm assuming something else is going on with the "updateless" part, but I don't know what it is.
I took that as somewhat of a red herring. No 'updateless' reasoning seems to be required  just careful thinking.
↑ comment by wedrifid · 20110201T06:27:40.186Z · LW(p) · GW(p)
This is based on my understanding of counterfactual as considering what you would do in some hypothetical alternate branch 'whatif'.
Vladmir explicitly ruled out caring what your counterfactual self would do:
Replies from: jacob_cannell(the actions of your counterfactual self who takes the test in the counterfactual are ignored).
↑ comment by jacob_cannell · 20110201T06:56:20.955Z · LW(p) · GW(p)
The fact that he put that in quotes:
You are to determine what is to be written (by Omega) on the test sheet in that counterfactual (the actions of your counterfactual self who takes the test in the counterfactual are ignored)
as if it should relate to the Omega clause, made me ignore. (couldn't figure out what it could apply to). So perhaps I couldn't parse Vlad.
comment by FAWS · 20110131T23:10:07.841Z · LW(p) · GW(p)
I'm not sure what's supposed to be tricky about this. It's trading off a 99% chance of doing better in 1% of all worlds against a 1% chance of doing worse in 99% of all worlds (if I am in a world where the calculator malfunctioned). Being risk averse I prefer being wrong in some small fraction of the worlds to an equally small chance of being wrong in all of them so I'd want Omega to write "odd" (or even better leave it up to the counterfactual me which should have the same effect but feels better).
Replies from: Vladimir_Nesov, Vladimir_Nesov, Vladimir_Nesov, Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T14:13:31.465Z · LW(p) · GW(p)
(Apologies for a long string of mutuallycontradictory replies I made to this and then deleted. Apparently I'm not in the best shape now, and the parent comment patternmatches to elements of the correct solution, while still not making sense on further examination. One point that's clearly wrong is that riskattitude matters for which solution is correct, whatever the other elements of this analysis mean.)
Replies from: FAWS↑ comment by FAWS · 20110201T14:40:59.819Z · LW(p) · GW(p)
One point that's clearly wrong is that riskattitude matters for which solution is correct, whatever the other elements of this analysis mean.
I don't see how you could possibly know that without knowing where the error in my reasoning is unless you already know with high confidence that in the correct solution the options are either nowhere close to being balanced or identical in every way anyone with consistent preferences could possibly care about. That would imply that you already know the correct solution and are just testing us. Why don't you simply post it here (at least rot13ed)? Wouldn't that greatly facilitate determining whether other solutions are due to misunderstandings/underspecifications of the problem statement or errors in reasoning?
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T15:48:53.861Z · LW(p) · GW(p)
I don't see how you could possibly know that without knowing where the error in my reasoning is unless you already know with high confidence that in the correct solution the options are either nowhere close to being balanced or identical in every way anyone with consistent preferences could possibly care about.
That's the case. Updateless analysis is pretty straightforward, see shokwave's comment. Solving the thought experiment is not the question posed by the post, just an exercise.
(Although seeing the difficulty many readers had with interpreting the intended setup of the experiment, including a solution might have prevented such misunderstanding. Anyway, I think the description of the thought experiment is sufficiently debugged now, thanks to feedback in the comments.)
Replies from: FAWS↑ comment by FAWS · 20110201T16:17:53.499Z · LW(p) · GW(p)
This raised by confidence that I'm right and both of you are wrong (I had updated based on your previous comment to 0.3 confidence I'm right, now I'm back to 0.8). Skokwave's analysis would be correct if Q was different in the counterfactual world. I'm going to reply there in more detail.
↑ comment by Vladimir_Nesov · 20110201T14:04:38.506Z · LW(p) · GW(p)
Correct, assuming you're only talking about the possible worlds included in the counterfactual (I didn't see this assumption first, so wrote some likely incorrect comments which are now removed).
See the disclaimer in the last paragraph. The topic of the post is not how to solve the thought experiment, that must be obvious with UDT. It's about the nature of our apparently somewhat broken intuition of observational knowledge.
↑ comment by Vladimir_Nesov · 20110201T13:32:51.764Z · LW(p) · GW(p)
Still wrong (99%/1% figures are incorrect), although maybe starting from a correct intuition.
Why has nobody posted a careful UDT analysis yet, just to see what actually goes on in the problem? I expected better, hence didn't include such analysis myself. The topic of the post is not how to solve the thought experiment, that must be obvious with UDT. It's about the nature of our apparently somewhat broken intuition of observational knowledge. Although at least one should clearly see the UDT analysis first, in order to discuss that.
↑ comment by Vladimir_Nesov · 20110201T13:11:11.199Z · LW(p) · GW(p)
Edit: (Although the 99% correct/1% wrong you give are the wrong figures, I wonder if I should retract this comment...)
Yes, "odd" is the correct answer, and you seem to have arrived at it by updateless analysis of the decision problem (without making logical assumptions about which answer is correct, only considering possible observations) which I disclaimed about in the last paragraph.
The question that the post poses, using this thought experiment, is not which answer is correct (we already have necessary tools to reliably tell), but what is the nature of observational knowledge, which apparently fails in this thought experiment but is a crucial element of most other reasoning, and in what sense logical knowledge is different.
(Note that this analysis doesn't face any underspecification problems that too many of the other commenters complained about without clearly explaining what examples of relevant ambiguity remain.)
comment by Perplexed · 20110131T18:37:23.804Z · LW(p) · GW(p)
You are Sokaling us, right?
Replies from: Perplexed↑ comment by Perplexed · 20110201T05:17:00.276Z · LW(p) · GW(p)
Well, from the lack of a reply and the four downvotes, I take it that the question is sincere and that at least four people believe it is meaningful. So, I have two questions:
How many of the people who have responded so far seem to have understood the question?
Suppose (counterfactually) that counterfactual Omega asked counterfactual you what factual Omega should write in the factual test (ignoring what factual you actually does, of course). Should the answer (the instruction to Omega to write either "even" or "odd") be the opposite in this counterfactual case than in the case you originally presented?
I don't understand the problem, but it seems that you think that the result on the calculator affects some kind of objective probability that Q is even  a probability that is the same in both factual and counterfactual worlds. It doesn't, of course. All probability is subjective. Evidence observed in one world has no influence on counterfactual worlds where the evidence did not appear.
But since I suspect you already know this, it seems likely that I simply don't have a clue what your question was and why you decided to ask it in that way.
Replies from: Perplexed, Vladimir_Nesov↑ comment by Perplexed · 20110201T15:09:36.714Z · LW(p) · GW(p)
Two more questions. As in the original scenario, but instead of an unreliable calculator, you have a reliable (so far) theorem prover. Type in a proposition to be proved and hit the "ProveIt" button, and immediately the display shows "Working". Then, an unpredictable amount of time later, the display may change to show either "Proven" or "Disproven". So, the base case here is that you type "Q is even" into the device and hit "ProveIt". You plan to only allow 5 minutes for the device to find a proof, and then to just guess, but fortunately the display changes to "Proven" in 4 minutes. But then just as you finish writing "Even" on your test paper, Omega appears.
This time, Omega asks you to consider the counterfactual world in which the device still shows "Working" after 5 minutes. Should counterfactual Omega still write "Even" on the test?
In a different Omegasuggested counterfactual world, a black swan flies in the window after 4 1/2 minutes and the display shows "Disproven". You know that this means that either a). Arithmetic is inconsistent. b). The theorem prover device is unreliable. or c). Omega is messing with you. Does thinking about this situation cause you to change your answer to the previous question?
My opinion: Evidence, counterevidence, and lack of evidence have no effect on the truth of necessary statements. They only impact the subjective probability of those statements. And subjective probabilities cannot flow backward in time (surviving the erasure of the evidence that produced those subjective probabilities). Even Omega cannot mediate this kind of paradoxical information flow.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T00:59:17.992Z · LW(p) · GW(p)
This time, Omega asks you to consider the counterfactual world in which the device still shows "Working" after 5 minutes. Should counterfactual Omega still write "Even" on the test?
It should write whatever you would write if you observed no answer, in this case we have indifference between the answers (betting with confidence 50%).
In a different Omegasuggested counterfactual world, a black swan flies in the window after 4 1/2 minutes and the display shows "Disproven". You know that this means that either a). Arithmetic is inconsistent. b). The theorem prover device is unreliable. or c). Omega is messing with you.
If device is unreliable, it's unreliable in your own event in the same sense, so your answer could be wrong (as improbably), so the original solution stands (i.e. you write "odd" in the counterfactual). Even if Omega proves to you that arithmetic is inconsistent, this won't cause you to abandon morality, just to change the way you use arithmetic. Omega is not lying by problem statement.
And subjective probabilities cannot flow backward in time (surviving the erasure of the evidence that produced those subjective probabilities). Even Omega cannot mediate this kind of paradoxical information flow.
We discussed in the other thread how your description of this idea doesn't make sense to me. I have no idea what your statement means, so can't rule whether I disagree with it, but certainly I can't agree with what I don't understand.
Replies from: Perplexed↑ comment by Perplexed · 20110202T01:39:21.008Z · LW(p) · GW(p)
Ok, so we seem to be in agreement regarding everything except my attempt to capture the rules with the (admittedly meaningless if taken literally) slogan "subjective probabilities cannot flow backward in time".
It is interesting that neither of us sees any practical difference between necessary facts (the true value of Q) and contingent facts (whether the calculator made a mistake) in this exercise. The reason apparently being that we can only construct counterfactuals on contingent facts (for example, observations). We can't directly go counterfactual on necessary facts  only on observations that provide evidence regarding necessary facts. But it is impossible for observations to provide so much evidence regarding a necessary fact that we are justified in telling Omega that his counterfactual is impossible.
But that apparently means that dragging Omega into this problem didn't change anything  his presence just confused people. (I notice that Shokwave  the one person who you claimed had understood the problem  is now saying that the value of Q is different in the counterfactual worlds). I am becoming ever more convinced that allowing Omega into a decisiontheory example is as harmful as allowing a GoTo statement into a computer program. But then, as my analogy reveals, I am from a completely different generation.
Replies from: Vladimir_Nesov, shokwave↑ comment by Vladimir_Nesov · 20110202T01:47:55.205Z · LW(p) · GW(p)
We can't directly go counterfactual on necessary facts  only on observations that provide evidence regarding necessary facts.
Yes we can. Omega could offer you to control worlds where Q is actually odd.
I notice that Shokwave  the one person who you claimed had understood the problem  is now saying that the value of Q is different in the counterfactual worlds
Link? The value of Q is uncertain, and this holds in considering either possible observation.
Replies from: Perplexed↑ comment by Perplexed · 20110202T05:38:05.246Z · LW(p) · GW(p)
We can't directly go counterfactual on necessary facts  only on observations that provide evidence regarding necessary facts.
Yes we can. Omega could offer you to control worlds where Q is actually odd.
I want to answer "No he can't. Not if I am in a world in which Q is actually even. Not if we are talking about the same arithmetic formula Q in each case." But I'm coming to realize that we may not even be talking the same language. For example, I don't really understand what is meant by "Omega could offer you to control worlds where ___". Are you suggesting that Omega could make the offer, though he might not have to deliver anything should such worlds not exist?
I notice that Shokwave ... is now saying that the value of Q is different in the counterfactual worlds
Link? The value of Q is uncertain, and this holds in considering either possible observation.
I was referring to this
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110202T10:17:19.756Z · LW(p) · GW(p)
Are you suggesting that Omega could make the offer, though he might not have to deliver anything should such worlds not exist?
Yes. The offer would be, to enact a given property in all possible worlds of specified event. If there are no possible worlds in that event, this requirement is met by doing nothing.
↑ comment by shokwave · 20110202T01:45:08.560Z · LW(p) · GW(p)
I notice that Shokwave  the one person who you claimed had understood the problem  is now saying that the value of Q is different in the counterfactual worlds
I wish. If I understood the problem, I would be solving it. As far as I've noticed, he claimed I had the updateless analysis mostly right.
↑ comment by Vladimir_Nesov · 20110201T15:13:06.275Z · LW(p) · GW(p)
Suppose (counterfactually) that counterfactual Omega asked counterfactual you what factual Omega should write in the factual test (ignoring what factual you actually does, of course). Should the answer (the instruction to Omega to write either "even" or "odd") be the opposite in this counterfactual case than it the case you originally presented?
So far, shokwave clearly gets it. Compare to any other sophisticated question asked in a language you aren't familiar with. Here, you need to be sufficiently comfortable with counterfactuals, for the number of its usages in a problem statement not to act as a pattern for ridiculousness.
it seems that you think that the result on the calculator affects some kind of objective probability that Q is even  a probability that is the same in both factual and counterfactual worlds.
I don't think that.
All probability is subjective. Evidence observed in one world has no influence on counterfactual worlds where the evidence did not appear.
I don't see how "subjective" helps here. It's not clear what sense of "influence" you intend.
Replies from: Perplexed, Perplexed↑ comment by Perplexed · 20110201T15:34:48.058Z · LW(p) · GW(p)
Here, you need to be sufficiently comfortable with counterfactuals, for the number of its usages in a problem statement not to act as a pattern for ridiculousness.
I fully agree. Which is why I find it surprising that you did not attempt to answer the question.
↑ comment by Perplexed · 20110201T15:40:01.920Z · LW(p) · GW(p)
It's not clear what sense of "influence" you intend.
I intended to include whatever causes your answer to Omega in this world to make a difference in what counterfactual Omega writes on the paper in the counterfactual world.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T15:56:39.713Z · LW(p) · GW(p)
As in Newcomb's problem, or Counterfactual Mugging, counterfactual Omega can predict your command (made in "actual" world in response to "actual" observations, including observing "actual" Omega), while remaining in the counterfactual world. It's your decision, which is a logical fact, that controls counterfactual Omega's actions.
Replies from: Perplexed↑ comment by Perplexed · 20110201T16:12:17.717Z · LW(p) · GW(p)
I understand that Omega (before the worldsplit) can predict what I will do for each possible result from the calculator. As well as predicting my response to all kinds of logic puzzles. And that this ability of Omega to predict is the thing that permits this spooky kind of acausal influence or interaction between possible worlds.
But are we also giving Omega the ability to predict the results from the calculator? If so, I think that the whole meaning of the word 'counterfactual' is brought into question.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T16:28:43.200Z · LW(p) · GW(p)
But are we also giving Omega the ability to predict the results from the calculator?
I don't see when it needs that knowledge.
The calculator being deterministic (and so potentially predictable) won't change the analysis (as long as it's deterministic in a way uncorrelated with other facts under consideration), but that's the topic of Counterfactual Mugging, not this post, so I granted even quantum randomness to avoid this discussion.
Replies from: Perplexed↑ comment by Perplexed · 20110201T17:17:10.633Z · LW(p) · GW(p)
My point is that Omega, before the world split, knows what I will do should the calculator return "even". And he knows how I will answer various logical puzzles in that case. But unless he actually knows (in advance) what the calculator will do, there is no way that he can transfer information dependent on the "even" from me in the "even" world to the paper in the "odd" world.
Omega is powerless here. His presence is irrelevant to the question. Which is why I originally thought you were Sokaling. One shouldn't multiply Omegas without necessity.
Replies from: Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T17:41:23.728Z · LW(p) · GW(p)
My point is that Omega, before the world split, knows what I will do should the calculator return "even". And he knows how I will answer various logical puzzles in that case. But unless he actually knows (in advance) what the calculator will do, there is no way that he can transfer information dependent on the "even" from me in the "even" world to the paper in the "odd" world.
Unpack "transfer information". If Omega in "odd" world knows what you'd answer should the calculator return "even", it can use this fact to control things in its own "odd" world, all of this without it being able to predict whether the calculator displays "even" or "odd". Considering the question in advance of observing the calculator display is not necessary.
Replies from: Perplexed↑ comment by Perplexed · 20110201T18:20:05.878Z · LW(p) · GW(p)
If Omega in "odd" world knows what you'd answer should the calculator return "even", it can use this fact to control things in its own "odd" world.
Yes, and Omega in "even" world knows all about what would have happened in "odd" world.
But neither Omega knows what "really" happened; that was the whole point of my question; the one in which I apparently used the word 'counterfactual' an excessive number of times.
Let me try again by asking this question: What knowledge does the 'odd' Omega need to have so as to write 'odd' on the exam paper? Does he need to know (subject says to write 'odd' & subject sees 'even' on calculator)? Or does he instead need to know (subject says to write 'odd'  subject sees 'even' on calculator)? Because I am claiming that the two are different and that the second is all that Omega has. Even if Omega knows whether Q is really odd or even.
Replies from: Vladimir_Nesov, Vladimir_Nesov↑ comment by Vladimir_Nesov · 20110201T18:39:13.255Z · LW(p) · GW(p)
Does he need to know (subject says to write 'odd' & subject sees 'even' on calculator)? Or does he instead need to know (subject says to write 'odd'  subject sees 'even' on calculator)? Because I am claiming that the two are different and that the second is all that Omega has.
I don't know what the first option you listed means, and agree that Omega follows the second.
↑ comment by Vladimir_Nesov · 20110201T18:32:14.930Z · LW(p) · GW(p)
Yes, and Omega in "even" world knows all about what would have happened in "odd" world.
But neither Omega knows what "really" happened
I agree, "actuality" is not a property of possible worlds (if we forget about impossible possible worlds for a moment), but it does make sense to talk about "current observational event" (what we usually call actual reality), and counterfactuals located outside it (where one of the observations went differently). These notions would then be referred to from the context of a particular agent.