PeroK said:
Okay, here's my last idea to disprove the answer of 1/2:
You wake sleeper and she gives the answer of 1/2. Then:
a) You ask her: if it's Monday, what would be your answer? She says 1/2.
b) You ask her: if it's Tuesday, what would be your answer? She says 0.
The only combination of those probabilities that gives 1/2 is that it must be Monday. Therefore, if the sleeper is consistent she must conclude that it is definitely Monday.
I may be different than a typical halfer, because I don't think we can use anything like this.
You are treating it as though MH, MT, and TT are the possible outcomes of a random experiment, each with probability 1/3. In that case, it is certainly true that the probability of heads is 1/3, and the probability of heads after conditioning on Monday is 1/2. But this is not an accurate description of sleeping beauty: when she wakes up it is not a random experiment. Tuesday always follows monday, tuesday tails always follows monday tails. Sleeping beauty doesn't lose her memory of this fact, nor does she lose her memory of what week is coming. The usual probability methods you are using need to be justified somehow for this situation which is not a random experiment, and I don't see how.
A typical halfer may also treat it like a random experiment, except they would break it into two stages. First the coin toss, then the waking up. In other words, the typical halfer is saying that waking up can only be viewed as a selection of the possible days to wake up. So they would say that MH has probability 1/2, MT has probability 1/4, and TT has probability 1/4. Probability of heads is 1/2, and probability of heads after conditioning on monday is 2/3. I disagree with this for the same reason I disagree with thirders: it isn't a random experiment.
So to me, the question is how do we define probability for such a weird situation which isn't a random experiment at all? It may be that there is currently no definition for that situation, and it may be that we don't need one. Notice that our strategies are already set in stone on sunday, before the coin flip. Whether or not there is new, relevant information on monday (which I can't imagine what it could be) it definitely won't change our strategy, calling into question if there is any importance to it. Halfers and thirders will always agree on how to act for any betting setup, even if they disagree on how probability should be defined. A halfer may argue "I prefer to bet on tails because if it is tails the bet is offered twice", a thirder may say "I prefer to bet on tails because I am defining the probability as 2/3 for tails", but they will both bet the same thing.
But to me, the most natural way to define it is to start with something solid, a genuine random experiment. The coin flip, which has sample space of H and T, each with probability 1/2. Then if you believe there is no new, relevant information on monday, you could hold onto that 1/2 probability when waking up. Or you could use the principle of reflection, knowing that you would believe 1/2 at noon on wednesday. I admit, neither of these are fully convincing.
According to the way I calculate it, it is not possible to condition on it being monday or tuesday. Which I think makes sense, because when using conditioning you can't have impossible events become possible. "It is monday" can't be followed by "it is tuesday." The probability for "it is tuesday" became 0 when you learned "it is monday". Losing memory of monday does not fix this problem, so conditioning is not justified.