The condition I’m calling “simple Bayes” is that, if there is no doubt as to which agent you are in the world, then proceed by taking the prior over worlds and updating on the evidence “there exists a person in this world who have made this observation” (in non-anthropic situations, “there exists a person who has observed history H” and “I have observed history H” contain the same information).
On Monday, there is uncertainty are to which agent SB is. On Tuesday there is not: the two agents in the Tails world can tell each other apart, based on room number observation.
So simple Bayes applies to Sunday and Tuesday, but not to Monday.
On Sunday, the observations are independent of the coin flip, so P(“I saw Sunday” | w_T) = P(“I saw Sunday” | w_H) = 1.
If h_0 = (“I saw Sunday”), then P(w_T | h_0) = P(h_0 | w_T)P(w_T)/((P(h_0 | w_T)P(w_T) + P(h_0 | w_H)P(w_H)) = 1*(1/2)/(1/2+1/2)=1/2. Same thing for P(w_H | h_0).
On Tuesday, in the tails world, there exists, with certainty, an agent who has observed: h_1=(“it’s Sunday”, “I’m awake on Monday”, “it’s Tuesday and my room number is 1”). Similarly, in the heads world, there exists, with certainty, an agent (the only agent) with the same observation.
Since both exist with certainty, then the formula is the same as before: P(w_T | h_1) = P(h_1 | w_T)P(w_T)/((P(h_1 | w_T)P(w_T) + P(h_1 | w_H)P(w_H)) = 1*(1/2)/(1/2+1/2)=1/2, and the same for P(w_H | h_1).
So the naive direct application of Bayes in non-anthropic situations gives us these values. The impossibility result is just that, given these values for Sunday and Tuesday, there are no values on Monday (the time-slice where we can’t use simple Bayes because there is genuine uncertainty as to which agent SB is) that allow the martingale condition to extend between Sunday and Tuesday.
Note that I’m not saying that SIA or SSA are wrong or that you can’t do anthropic probability. I’m saying that if you do do anthropic probability, you have to drop some intuitive properties possessed by standard probability.
For instance SIA drops the martingale condition from Sunday to Monday (indeed SIA always obeys simple Bayes). SSA (which is less uniquely defined) either drops the martingale condition from Monday to Tuesday or drops simple Bayes on Tuesday (using “centered worlds” is an explicit acknowledgement of dropping simple Bayes).
Thank you for the explanation. We need some better notation for this: write I(x) to mean that I observed x (or will observe it). Write E(x) to mean that I know that there exists with certainty someone who observed x (or will observe it).
First, in general, we don’t expect P(I(x)) = P(E(x)). For example, P(I(room 1)|I(room 2)) = 0 but P(E(room 1) | I(room 2)) = 1.
You define “simple Bayes” to mean:
P(y | I(x)) = P(y | E(x)) for any y and x
I would argue that you really need to pick a totally different name for this property since it doesn’t have anything to do with Bayes’ law. (If anything, I would call it “nonstandard Bayes”.) And your definition of it in your article needs to be clearer: as stated, it’s just about I(x) without mentioning E(x).
This is also the same crux that the paradox has always revolved around: does finding out who you are give you information? I think that’s closer to the standard phrasing and makes it more clear what you’re being asked to give up or not. You’re not being asked to give up Bayes’ law: that’s always true.
Ok, got the issue. Thanks!
The condition I’m calling “simple Bayes” is that, if there is no doubt as to which agent you are in the world, then proceed by taking the prior over worlds and updating on the evidence “there exists a person in this world who have made this observation” (in non-anthropic situations, “there exists a person who has observed history H” and “I have observed history H” contain the same information).
On Monday, there is uncertainty are to which agent SB is. On Tuesday there is not: the two agents in the Tails world can tell each other apart, based on room number observation.
So simple Bayes applies to Sunday and Tuesday, but not to Monday.
On Sunday, the observations are independent of the coin flip, so P(“I saw Sunday” | w_T) = P(“I saw Sunday” | w_H) = 1.
If h_0 = (“I saw Sunday”), then P(w_T | h_0) = P(h_0 | w_T)P(w_T)/((P(h_0 | w_T)P(w_T) + P(h_0 | w_H)P(w_H)) = 1*(1/2)/(1/2+1/2)=1/2. Same thing for P(w_H | h_0).
On Tuesday, in the tails world, there exists, with certainty, an agent who has observed: h_1=(“it’s Sunday”, “I’m awake on Monday”, “it’s Tuesday and my room number is 1”). Similarly, in the heads world, there exists, with certainty, an agent (the only agent) with the same observation.
Since both exist with certainty, then the formula is the same as before: P(w_T | h_1) = P(h_1 | w_T)P(w_T)/((P(h_1 | w_T)P(w_T) + P(h_1 | w_H)P(w_H)) = 1*(1/2)/(1/2+1/2)=1/2, and the same for P(w_H | h_1).
So the naive direct application of Bayes in non-anthropic situations gives us these values. The impossibility result is just that, given these values for Sunday and Tuesday, there are no values on Monday (the time-slice where we can’t use simple Bayes because there is genuine uncertainty as to which agent SB is) that allow the martingale condition to extend between Sunday and Tuesday.
Note that I’m not saying that SIA or SSA are wrong or that you can’t do anthropic probability. I’m saying that if you do do anthropic probability, you have to drop some intuitive properties possessed by standard probability.
For instance SIA drops the martingale condition from Sunday to Monday (indeed SIA always obeys simple Bayes). SSA (which is less uniquely defined) either drops the martingale condition from Monday to Tuesday or drops simple Bayes on Tuesday (using “centered worlds” is an explicit acknowledgement of dropping simple Bayes).
Thank you for the explanation. We need some better notation for this: write I(x) to mean that I observed x (or will observe it). Write E(x) to mean that I know that there exists with certainty someone who observed x (or will observe it).
First, in general, we don’t expect P(I(x)) = P(E(x)). For example, P(I(room 1)|I(room 2)) = 0 but P(E(room 1) | I(room 2)) = 1.
You define “simple Bayes” to mean:
P(y | I(x)) = P(y | E(x)) for any y and x
I would argue that you really need to pick a totally different name for this property since it doesn’t have anything to do with Bayes’ law. (If anything, I would call it “nonstandard Bayes”.) And your definition of it in your article needs to be clearer: as stated, it’s just about I(x) without mentioning E(x).
This is also the same crux that the paradox has always revolved around: does finding out who you are give you information? I think that’s closer to the standard phrasing and makes it more clear what you’re being asked to give up or not. You’re not being asked to give up Bayes’ law: that’s always true.