Sleeping Beauty does not sleep well. She has three dreams before awakening. The Ghost of Mathematicians Past warns her that there are two models of probability, and that adherents to each have little that is good to say about adherents to the other. The Ghost of Mathematicians Present shows her volumes of papers and articles where both 1⁄2 and 1⁄3 are “proven” to be the correct answer based on intuitive arguments. The Ghost of Mathematicians Future doesn’t speak, but shows her how reliance on intuition alone leads to misery. Only strict adherence to theory can provide an answer.
Illuminated by these spirits, once she is fully awake she reasons: “I have no idea whether today is Monday or Tuesday; but it seems that if I did know, I would have no problem answering the question. For example, if I knew it was Monday, my credence that the coin landed heads could only be 1⁄2. On the other hand, if I knew it was Tuesday, my credence would have to be 0. But on the gripping hand, these two incontrovertible truths can help me answer as my night visitors suggested. There is a theorem in probability, called the Theorem of Total Probability, that says the probability for event A is equal to the probability of the sum of the events (A intersect B(i)), where B(i) partitions the entire event space.
“Today has to be either Monday or Tuesday, and it can’t be both, so these two days represent such a partition. Since I want to avoid making any assumptions as long as I can, let me say that the probability that today is Monday is X, and the probability that it is Tuesday is (1-X). Now I can use this Theorem to state, unequivocally, that my credence that the coin landed heads is P(heads)=(1/2)X+0(1-X)=X/2.
“But I know that it is possible that today is Tuesday; even a Bayesian has to admit that X<1. So I know that 1⁄2 cannot be correct; the answer has to be less than that. A Frequentist would say that X=2/3 because, if this experiment were repeated many times, two out of every three interviews would take place on Monday. And while a Bayesian could, in theory, choose any value that is less than 1, it is a violation of Occam’s Razor to assume there is a factor present that would make X different than 2⁄3. So, it seems my answer must be 1⁄3.
You can have a credence of 1⁄2 for heads in the absence of which-day knowledge, but for consistency you will also need P(Heads | Monday) = 2⁄3 and P(Monday) = 3⁄4. Neither of these match frequentist notions unless you count each awakening after a Tails result as half a result (in which case they both match frequentist notions).
Sleeping Beauty does not sleep well. She has three dreams before awakening. The Ghost of Mathematicians Past warns her that there are two models of probability, and that adherents to each have little that is good to say about adherents to the other. The Ghost of Mathematicians Present shows her volumes of papers and articles where both 1⁄2 and 1⁄3 are “proven” to be the correct answer based on intuitive arguments. The Ghost of Mathematicians Future doesn’t speak, but shows her how reliance on intuition alone leads to misery. Only strict adherence to theory can provide an answer.
Illuminated by these spirits, once she is fully awake she reasons: “I have no idea whether today is Monday or Tuesday; but it seems that if I did know, I would have no problem answering the question. For example, if I knew it was Monday, my credence that the coin landed heads could only be 1⁄2. On the other hand, if I knew it was Tuesday, my credence would have to be 0. But on the gripping hand, these two incontrovertible truths can help me answer as my night visitors suggested. There is a theorem in probability, called the Theorem of Total Probability, that says the probability for event A is equal to the probability of the sum of the events (A intersect B(i)), where B(i) partitions the entire event space.
“Today has to be either Monday or Tuesday, and it can’t be both, so these two days represent such a partition. Since I want to avoid making any assumptions as long as I can, let me say that the probability that today is Monday is X, and the probability that it is Tuesday is (1-X). Now I can use this Theorem to state, unequivocally, that my credence that the coin landed heads is P(heads)=(1/2)X+0(1-X)=X/2.
“But I know that it is possible that today is Tuesday; even a Bayesian has to admit that X<1. So I know that 1⁄2 cannot be correct; the answer has to be less than that. A Frequentist would say that X=2/3 because, if this experiment were repeated many times, two out of every three interviews would take place on Monday. And while a Bayesian could, in theory, choose any value that is less than 1, it is a violation of Occam’s Razor to assume there is a factor present that would make X different than 2⁄3. So, it seems my answer must be 1⁄3.
You can have a credence of 1⁄2 for heads in the absence of which-day knowledge, but for consistency you will also need P(Heads | Monday) = 2⁄3 and P(Monday) = 3⁄4. Neither of these match frequentist notions unless you count each awakening after a Tails result as half a result (in which case they both match frequentist notions).