• Mathematical Conundrum or Not? Number Five
    I think you are both looking at the experiment from an independent observer's perspective (or Beauty's Sunday perspective) and not from Beauty's perspective when she is awakened and interviewed in the experiment.

    Here's a slight variation. Beauty will receive payments at the end of the experiment for each state that she was either awake or asleep in, as follows:

           Mon       Tue        Total
    Heads  Awake:$1  Asleep:$2  $3
    Tails  Awake:$4  Awake: $8  $12
    

    When Beauty is awakened and interviewed, she is asked how likely it is that she is in the state that pays $1.

    My answer is that she should condition on being awake and so her answer should be 1/3.
  • Mathematical Conundrum or Not? Number Five
    I think the halfer reasoning should just be that it’s a 50:50 chance that it’s heads, whether unconditioned or conditioned to Monday. We shouldn’t be applying some formula and should just consider what we know about coin flips.Michael

    OK, that's the double-halfer view. When Beauty is told it is Monday, all the Tuesday and Tails probability is reallocated to Monday and Tails which violates conditionalization. That is:

    P(Heads) = 1/2          P(Heads|Monday) = 1/2
    
           Mon  Tue                Mon  Tue
    Heads  1/2              Heads  1/2
    Tails  1/4  1/4         Tails  1/2
    

    The thirder model relies explicitly on there being a single toss of a coin with heads and tails distributed 50:50. (And we've agreed you cannot construct an alternate model with a weighted coin.) How can Beauty take that as a premise and then be unable to reach the conclusion that the chances of heads were 1/2?Srap Tasmaner

    Because of the initial conditioning on being awake. You also accept that conditionalization changes Beauty's probability of heads when she is told it is Monday, so probability isn't simply about the nature of fair coins. It's also about the information that an agent has that she can update on.
  • Mathematical Conundrum or Not? Number Five
    This is worked out not by some equation but just by knowing the rules and how coin flips work.Michael

    I see those equations as a formalization of the rules that we learn in familiar settings. In unfamiliar settings, the question would be whether it is the equations that are at fault (or inapplicable) or our intuitions.

    The thirder reasoning works against intuition as well, especially in the extreme version. It suggests that if we’re to be woken a thousand times in the case of tails then we should be almost certain that it’s tails upon waking, despite the fact that it’s an unbiased coin flip. And all because if we’re right then we’re right more often? That shouldn’t be the measure.Michael

    The thirder is not measuring the outcome of the coin toss as an isolated event. She is instead measuring uncertainty about her location in a state space.

    In a familiar setting, there is no difference between those two ways of thinking about probabilities. It does not matter whether you think of the coin as being in one of two possible states or, alternatively, you as being located in one of two possible states with respect to the coin. There are only two states in both views, so 50:50 is the agreed answer.

    In the Sleeping Beauty scenario, those two methods give different answers. The first method is the halfer view which understands the coin to be in one of two states. But that leads to absurdity when conditioning on Monday. The thirder doesn't have that problem, because conditioning on Monday eliminates all but two states that she could possibly be in. So 50:50 is the natural answer as with a coin toss in an everyday setting.

    In the initial Sleeping Beauty scenario, Beauty is located in one of three possible states, she just doesn't know which one. Since they are indistinguishable to her, she assigns each of them an equal probability. That assignment would make no sense if it meant that the coin's intrinsically equally likely states had somehow become weighted. But it does make sense if it means that there are three indistinguishable states that she could be located in and two of them are associated with a tails outcome.

    Indeed, I think it means that the odds here are not truly 2:1 at all.Srap Tasmaner

    I think they are, but not as a measure of the coin toss outcome. I think probability is a measure of self-locating uncertainty in a state space. It's not directly about coin outcomes, days, or even interviews at all, except in so far as they contribute to the construction of the state space.

    I can't figure out how to make this into a normal wager of any kind.Srap Tasmaner

    The simplest wager is just to bet on being located in a single state. If you bet on being located in the Tails and Monday state, then you'll win once and lose twice (on average), just as the thirder probabilities imply. Similarly for each of the other states. Whereas if you bet on being located in a Tails state, you'll win twice and lose once. And sure enough, there are two tails states that add to 2/3. Similarly if you bet on being located in a Monday state, you'll win twice and lose once and those states indeed add to 2/3.

    That makes sense to me.
  • Mathematical Conundrum or Not? Number Five
    Yes, there is something absurd about the 2/3, but it's a result of putting in twice as many blues per toss but then taking them out one at a time, as if they were the same as the reds.Srap Tasmaner

    I'd like to analyze the halfer's P(Heads|Monday) = 2/3 consequence further because I think it is key to how we see the Sleeping Beauty scenario. Just to make the consequence more stark, suppose that Beauty knows she will undergo 1000 memory-erased interviews on tails (subject to ethics approval). The halfer probability distribution is:

           Mon     Tue     Wed     ...
    Heads  1/2
    Tails  1/2000  1/2000  1/2000  ...
    

    P(Heads and Monday) = 1/2
    P(Monday) = 1/2 + 1/2000 = 1001/2000
    P(Heads|Monday) = 1/2 / 1001/2000 = 1000/1001 (approx. 99.9%)

    Now suppose that Beauty knows before the experiment begins that the coin will be flipped Monday evening after she goes to sleep. The experiment proceeds and, during her Monday interview, she is told that it is Monday. As a halfer, she concludes that it is a virtual certainty (99.9%) that the outcome of the yet-to-be-tossed coin will be heads!

    Is that how she should understand P(Heads|Monday)? If she should discount the possible tails interviews to get the more sensible result of 1/2, then where does that show up in the halfer's math?

    The thing is, this 2:1 proportion of interviews is right, but remember that SB does not payout like a wager on a 2:1 biased coin. It pays out like a 3:1 coin.Srap Tasmaner

    Yes, this is an important point. I think the intuitive comparison with a weighted coin is misleading since SB is just structured differently. Adding more interviews (and thus bets) on tails is not like increasing coin bias.
  • Mathematical Conundrum or Not? Number Five
    What are your odds of getting a red marble? 1/2.Srap Tasmaner

    Agreed. But that scenario is equivalent to randomly waking Beauty on either Monday or Tuesday if tails, but not both days. To be analogous to the Sleeping Beauty scenario, the second blue marble has to be dispensed in a separate event (with amnesia in between). That is an additional possible state that Beauty could be in which, for the thirder, decreases the probability for the Heads and Monday (or red marble) state to 1/3.

    All that means is that if Beauty is asked to guess which state she is in and she guesses Heads and Monday, then she will be correct 1/3 of the time. Similarly for Tails and Monday and Tails and Tuesday. On the thirder view, probability is about the state she is in, not the coin toss (or day) outcome itself.

    The halfer view, while seemingly just representing a fair coin toss as coming up heads half the time, has the consequence that P(Heads|Monday) = 2/3 instead of 1/2. I think that is a reductio of the halfer view.
  • Mathematical Conundrum or Not? Number Five
    A randomly selected marble is now twice as likely to be blueSrap Tasmaner

    That's all we're asking Beauty about. That is, the probability that the next marble to be drawn (or the interview that is being conducted) will be associated with a heads outcome. Which is 1/3.

    but each blue is discounted, and is only half the total available evidence of a tails flip, unlike the reds each of which is all the evidence of a heads.Srap Tasmaner

    Discounting doesn't help Beauty. Suppose she is a halfer. Should she discount the next drawn marble (or current interview) by 1/2 or not? Well, she should 2/3 of the time. So 2/3 * (1/2 * 1/2) + 1/3 * 1/2 = 1/3. The thirder says that is the real probability of each state for her.
  • Mathematical Conundrum or Not? Number Five
    Oh really? So you think they are the same thing.Jeremiah

    I was referring to the background sample space in my earlier post that included all combinations of day outcomes and coin toss outcomes and that are assigned the same probability. I'm saying that it doesn't matter what size the background sample space is, as long as it is finite and the elements have equal probabilities.

    I'm then conditionalizing on Beauty being awake (and interviewed) to produce a second sample space with only three elements {H1, T1, T2} with 1/3 probability each. That second sample space is the relevant sample space and matches Elgas.

    The second probability distribution from my earlier post should have been:

           Mon  Tue
    Heads  1/3
    Tails  1/3  1/3
    
  • Mathematical Conundrum or Not? Number Five
    You forgot Heads and Wednesday, Heads and Thursday, Heads and Friday. . . . . and on forever.

    Then do the same with Tails.
    Jeremiah

    I was assuming the two possible interview days in the experiment. But since the probabilities are all equal, it doesn't matter how large the background sample space is (at least in a finite universe). On conditionalization, all the probability will still be distributed equally between H1, T1 and T2.

    And in the process don't forget the terms on the days Beauty will be awakened AND interviewed (AKA the sample space), was defined before the experiment started.Jeremiah

    Yes. So do you see any problem with my approach in principle?
  • Mathematical Conundrum or Not? Number Five
    There are a couple of curiosities here:
    in the first (and perhaps only) interview, heads is twice as likely as tails;
    there aren't half as many second interviews as firsts, but one third.
    I find these proportions strange. Lewis ends up here and shrugs. I'm not sure what to make of it, but this is a far cry from the way I think halfers want to think of their position, that it's just a coin flip with some meaningless frosting on it.
    Srap Tasmaner

    Yes, it would be good to hear some halfer reasoning for the P(Heads|Monday) = 2/3 consequence.

    Whichever position we take, something about it is counterintuitive.Srap Tasmaner

    I agree. That's why I think we should seek to derive the distribution from assumptions that are independently plausible. As I argue, the halfer is treating indifference to coin toss outcomes preferentially to indifference over day outcomes. Whereas the thirder is treating them on an equal footing (which is a further application of the indifference principle). (The hypothetical quarterer is the symmetric complement to the halfer, preferring indifference to day outcomes to indifference over coin toss outcomes.)
  • Mathematical Conundrum or Not? Number Five
    Beauty can either consider the probability based on the three possible awakenings that include an interview, or she could consider the coin flip, because regardless of any other considerations, a coin flip is still just a coin flip. Those are the only two relevant sample spaces.Jeremiah

    I'm suggesting that we should start with a background sample space that includes all possible combinations of days and coin toss outcomes and then assign probabilities according to a principle of indifference. That reflects our prior intuitions that we should be indifferent to an unknown coin toss outcome for a fair coin and also indifferent to an unknown day of the week (or any two instants in time) ceteris paribus. This is the probability distribution for the resulting background sample space:

           Mon  Tue
    Heads  1/4  1/4
    Tails  1/4  1/4
    

    The next step is to transform it to a second sample space that reflects the Sleeping Beauty scenario by conditionalizing on when Beauty is awake. That excludes the Tuesday/Heads state and gives us the thirder distribution, as follows:

           Mon  Tue
    Heads  1/3  0
    Tails  1/3  1/3
    

    So {H1, T1, T2} is the relevant sample space for Beauty. But it has been derived from a background sample space that distributes all possible coin toss and time interval outcomes according to an indifference principle.

    And that's it. That is an independent motivation for the thirder distribution based on the consistent application of a plausible principle.

    The halfers use the same principle of indifference, but apply it preferentially to the coin toss outcomes over the day outcomes. Which skews their resulting probability distribution for Beauty.
  • Mathematical Conundrum or Not? Number Five
    This is all stuff we've said before -- this comment summarizes the mechanism by which standard thirder wagering pays out 3:1, as andrewk pointed out, instead of 2:1.Srap Tasmaner

    Yes, that all makes sense.

    You could also think of it as revenge against the halfer position, which draws the table this way:
    ...
    Halfers, reasoning from the coin toss, allow Monday-Heads to "swallow" Tuesday-Heads.

    Reasoning from the interview instead, why can't we do the same?
    Srap Tasmaner

    Indeed.

    So it's interesting that one can set up wagers for halfer, thirder or quarterer outcomes. But it seems to me that probability is not simply about what wagers one can set up and what their outcomes are since everyone should rationally agree about that. Instead, it's about what the probabilities of the states are when conditionalizing on being awake. And that just results in the thirder position.

    As to the question of what new relevant information (if any) arises when Beauty awakes that justifies an update on P(Heads), I think it's really just a change of context. When referring to the coin toss outcome from the perspective of an independent observer, P(Heads) = 1/2. However what is relevant to Beauty is P(Heads|Awake) = 1/3. When she awakes, P(Awake) = 1 and so P(Heads) = 1/3.

    So seen this way, no new relevant information has been learned on awaking. Instead, P(Heads) is indexed to a context. Which context is relevant depends on the perspective one is taking - the perspective of the independent observer or the awakened Beauty.
  • Mathematical Conundrum or Not? Number Five
    Ignore the coin toss completely. The intention of the problem is that Beauty cannot know whether this is her first or second interview. If we count that as a toss-up, then...Srap Tasmaner

    If I understand you, you are presenting a quarterer scenario where the probabilities conditioned on being awake are:

           Mon  Tue
    Heads  1/4  0
    Tails  1/4  1/2
    

    But, if so, how would the experiment or wagering be conducted to make it work?
  • Mathematical Conundrum or Not? Number Five
    If it's 1 then P(Heads|Awake) = 0.5 * 1 / 1 = 0.5.Michael

    P(Awake) = 1 is true when Beauty is awake in the experiment. So, under that condition, P(Heads|Awake) = P(Heads) = 1/3. (See argument below.)

    Then perhaps you could explain how it works with my variation where Beauty is woken on either Monday or Tuesday if tails, but not both. Do we still consider it as four equally probable states and so come to the same conclusion that P(Heads|Awake) = 0.5 * 0.5 / 0.75 = 1/3?Michael

    No. In your variation, P(Heads|Awake) = 1/2. Your variation requires a second coin toss on tails to determine which day Beauty is woken. The unconditional probabilities are:

                   Mon         Tue
    Heads          Awake:1/4   Asleep:1/4
    Tails-Heads2   Awake:1/8   Asleep:1/8
    Tails-Tails2   Asleep:1/8  Awake:1/8
    

    P(Heads|Awake) = P(Heads and Awake) / P(Awake) = 1/4 / 1/2 = 1/2
    P(Tails|Awake) = P(Tails and Awake) / P(Tails) = 1/4 / 1/2 = 1/2
    P(Tails-Heads2|Awake) = P(Tails-Heads2 and Awake) / P(Awake) = 1/8 / 1/2 = 1/4
    P(Tails-Tails2|Awake) = P(Tails-Tails2 and Awake) / P(Awake) = 1/8 / 1/2 = 1/4

    So conditionalizing on being awake:

                  Mon  Tue
    Heads         1/2  0
    Tails-Heads2  1/4  0
    Tails-Tails2  0    1/4
    

    P(Heads) = P(Tails) = 1/2
    P(Monday|Tails) = P(Monday and Tails) / P(Tails) = 1/4 / 1/2 = 1/2
    P(Tails and Monday) = 1/4

    Which is the same conclusion that you reached.

    This is correct when waking up just once, so why not also when possibly waking up twice?Michael

    Because the probability from the sleep states flow to proportionally more tails states. Here's the corresponding working for the original Sleeping Beauty problem. The unconditional probabilities are:

            Mon        Tue
    Heads   Awake:1/4  Asleep:1/4
    Tails   Awake:1/4  Awake:1/4
    

    P(Heads|Awake) = P(Heads and Awake) / P(Awake) = 1/4 / 3/4 = 1/3
    P(Tails|Awake) = P(Tails and Awake) / P(Awake) = 1/2 / 3/4 = 2/3
    P(Tails and Monday|Awake) = P(Tails and Monday and Awake) / P(Awake) = 1/4 / 3/4 = 1/3

    So conditionalizing on being awake:

           Mon  Tue
    Heads  1/3  0
    Tails  1/3  1/3
    
  • Mathematical Conundrum or Not? Number Five
    The probability of the awakenings is dependent on the coin flip (1st awakening is 1 if heads, 0.5 if tails), whereas the probability that a coin flip lands heads is independent.Michael

    True, but the quarterer would agree (first awakening is 1 if heads, 1/3 if tails). However the probability of being Monday or Tuesday is also independent and equally probable. The quarterer would argue that those probabilities should carry through to the first and second awakening probabilities in the experiment since no new information had been acquired on awaking.

    So why not apply the same reasoning to Sleeping Beauty? The initial coin toss has 1/2 odds of heads, so it's 1/2 odds of heads.Michael

    The nature of the experiment means that the odds are different for the awakened Beauty. If she is told that it is Monday, the odds are different again and this is the case for both halfers and thirders. In this latter case, it seems that your analogies apply equally to halfers.

    This is why I suggested the alternative experiment where we don't talk about days at all and just say that if it's heads then we'll wake her once (and then end the experiment) and if it's tails then we'll wake her twice (and then end the experiment). There aren't four equally probable states in the experiment.

    So we either say that P(Awake) = 1 (and/)or we say that being awake doesn't provide Beauty with any information that allows her to alter the initial credence that P(Heads) = 0.5.
    Michael

    Saying that P(Awake) = 1 is fine since we can calculate the other probabilities accordingly. But I think the four equally probable states clarifies the mathematical relationship between the independent observer viewpoint (where the odds are familiar and intuitive) and Sleeping Beauty's viewpoint.
  • Mathematical Conundrum or Not? Number Five
    One thought here is that you could use a similar tree structure to argue for a quarter probability for heads. The first two branches represent the first and second awakenings with 1/2 probability each. The first awakening branch splits into heads and tails branches with 1/2 probability each. The second awakening branch extends to a tails branch with probability 1. Multiplying, we get first awakening + heads = 1/4, first awakening + tails = 1/4, second awakening + tails = 1/2.

    Now those first two branch probabilities don't seem particularly plausible since there are twice as many first awakening states. But the same can be said for the halfer view since there are twice as many tail states.
  • Mathematical Conundrum or Not? Number Five
    It's the same problem, with identical results, just without the sleight of hand.tom

    Yes, the host's information is irrelevant if you can just switch to the other two doors instead of specifying a particular door number.
  • Mathematical Conundrum or Not? Number Five
    I just gave you my response and I am not going to wade through your clear misunderstanding of Lewis's argument.Jeremiah

    You're mistaken. (L6) P+(Heads) = 2/3 is a consequence of Lewis' halfer argument and it contradicts Elga's (E1) P+(Heads) = 1/2. As Lewis says:

    "I reject Elga's premiss: my (L6) contradicts his (E1)."
  • Mathematical Conundrum or Not? Number Five
    Read the article to find out why it has a plus.Jeremiah

    I am aware why it has the plus. As the paper says, "Let P+ be her credence function just after she's told that it's Monday". From Lewis' halfer argument:

    (L6) P+(Heads) = 2/3

    (L6) is a consequence of the halfer position. Do you agree?
  • Mathematical Conundrum or Not? Number Five
    Beauty conditionalizes on being awakened, so the values change to 1/4 / 3/4 = 1/3.Srap Tasmaner

    Yes, to expand, P(Heads|Awake) = P(Heads and Awake) / P(Awake) = 1/4 / 3/4 = 1/3.

    What that equation is doing is redistributing probability from the sleep states to the awake states in proportion to each awake state's probability. In the case of Sleeping Beauty, that is equivalent to being indifferent about which awake state she is currently in, since each awake state has the same 1/4 probability. That is, when conditionalizing on being awake, the sleep state probability of 1/4 is evenly distributed to each awake state (1/4 + (1/4 / 3) = 1/3).

    In other scenarios where the state probabilities are unequal (such as the 5/6 heads-weighted coin scenario), it is first necessary to transform the original state space to states of equal probability. Then the indifference principle similarly applies. So for the 5/6 heads-weighted scenario, we get:

    P(Heads|Awake) = P(Heads and Awake) / P(Awake) = 5/12 / 7/12 = 5/7.
  • Mathematical Conundrum or Not? Number Five
    ↪Andrew M She is never told it is Monday, there is no relevant self-locating information, and she knew there were only three possible awake periods before the experiment. Everything we know is everything she knows before the experiment therefore 1/3 is a prior. We don't have any privy information here.Jeremiah

    I'm saying that P(Heads|Monday) = 2/3 is a consequence of the halfer position. Do you agree?

    BTW, that is David Lewis' (L6) which contradicts Elga's (E1) that P(Heads|Monday) = 1/2. See http://fitelson.org/probability/lewis_sb.pdf
  • Mathematical Conundrum or Not? Number Five
    P(Heads|Awake) = P(Heads) * P(Awake|Heads) / P(Awake)

    If she applies this before the experiment then she knows that P(Heads|Awake) = 0.5 * 1 / 1 = 0.5.
    Michael

    P(Heads|Awake) = (P(Heads) * P(Awake|Heads)) / P(Awake) = (1/2 * 1/2) / 3/4 = 1/3

    There are four equally probable states in the experiment, three awake states and one sleep state, so P(Awake) = 3/4 and P(Awake|Heads) = 1/2.
  • Mathematical Conundrum or Not? Number Five
    You, as the contestant, know for certain that one of the other two doors is empty, once the door is opened, you still know for certain that one of the doors is empty. OK, you now now which one is empty, and that IS information of sorts, but is it relevant information?tom

    Yes. Your initially chosen door has 1/3 probability of containing the prize. The other two doors have a total of 2/3 probability. When the host shows you that one of those doors is empty, its probability goes to 0. So the remaining door now has 2/3 probability. So you should switch to that door and you will win the prize 2/3 of the time.

    All she knows is that she is awake, and that is twice as likely to be associated with tails.tom

    Agreed.
  • Mathematical Conundrum or Not? Number Five
    She is never told it is Monday, each awaking is the same, there is no hint as to which day it is; temporally she is uncertain of her location.Jeremiah

    I'm saying that for a halfer, P(Heads|Monday) = 2/3. As a separate hypothetical, if Beauty is told that it is Monday during the experiment, then she will have received self-locating information. So she would update P(Heads) to 2/3.

    The thirder is making a parallel argument. Before the experiment, there are four states of 1/4 probability, where one is a sleep state. If she is in a state where she awakes, that is information that would rule out the sleep state. So she would update P(Heads) to 1/3.

    P(Heads|Awake) = P(Heads and Awake) / P(Awake) = 1/4 / 3/4 = 1/3
  • Mathematical Conundrum or Not? Number Five
    In the Monty Hall problem, the host gives you information that changes the probabilities that you assign to each door. That information is new to you.
    — Andrew M

    The host does not, that's the trick.
    tom

    How so? Isn't the host telling you a specific door number (that doesn't contain the prize) information?

    Not as the problem was described at the top of the thread. No information is given to Sleeping Beauty beyond what she was told would happen. To her each awakening is identical, and there are three of them.tom

    The event of waking provides information about which states one can eliminate (not merely the conditional probabilities, which were previously known). BTW, do you assign 1/2 or 1/3 to P(Heads|Awake)?
  • Mathematical Conundrum or Not? Number Five
    Beauty doesn't gain relevant new information when awakening, she knew all this before hand. If we do the experiment on you, then you have a prior belief that it is 1/3, what new information would then update that? Priors need relevant new information which would allow us to update it, not just any old information that you think happened.Jeremiah

    Beauty (as a thirder) knew at the time before the experiment that P(Heads) = 1/2. She also knew at the time before the experiment that P(Heads|Awake) = 1/3. When she does awake in the experiment and learns this, that self-locating information enables her to update P(Heads) to be 1/3.

    Note that Beauty (as a halfer) does the same thing when she is told that it is Monday. For a halfer, P(Heads|Monday) = 2/3 so, on attaining that self-locating information, she updates P(Heads) to be 2/3.
  • Mathematical Conundrum or Not? Number Five
    Then there's 6 states, not 7. You're counting the tails state twice, which you shouldn't do. The two tails days need to share the probability that it's the tails state (1/6) giving each 1/12 which is the correct figure you get when you apply the probability rule:

    P(A and B) = P(A) * P(B|A)

    P(Tails and Tuesday) = P(Tails) * P(Tuesday|Tails)

    P(Tails and Tuesday) = 1/6 * 1/2 = 1/12
    Michael

    I'm not sure if you're just disputing the thirder position, or disputing my characterization of the thirder position for the 5/6 heads-weighted coin. Assuming the latter, there are twelve states, including awake and asleep over the two days, each with 1/12 probability. Seven of those states are awake states.

    Conditionalizing on being awake, the probabilities for the halfer and thirder positions are:

    Halfer (5/6 heads-weighted coin):
           Mon   Tue
    Heads  5/6   0
    Tails  1/12  1/12
    

    Thirder (5/6 heads-weighted coin):
           Mon   Tue
    Heads  5/7   0
    Tails  1/7   1/7
    

    The halfer distributes all the Tue/Heads state probability to Mon/Heads. That is, 5/12 + 5/12 = 5/6. The thirder distributes the Tue/Heads state probability evenly to each awake state. That is, (5/12 / 7) + 1/12 = 1/7.

    For the thirder:

    P(Tails and Tuesday) = P(Tails) * P(Tuesday|Tails) = 2/7 * 1/2 = 1/7

    Edit:

    Oops, the above result is conditionalized on being awake, per the above thirder table. So actually P(Tails and Tuesday) = 1/6 * 1/2 = 1/12 as Michael correctly noted. The unconditional probabilities are:

           Mon   Tue
    Heads  5/12   5/12
    Tails  1/12   1/12
    

    P(Heads|Awake) = P(Heads and Awake) / P(Awake) = 5/12 / 7/12 = 5/7.
  • Mathematical Conundrum or Not? Number Five
    Or a weighted coin that’s 5/6 chance of heads.Michael

    We shouldn't be indifferent between the two possible states for a weighted coin. So probabilities can't be distributed on that basis. But those two states can be transformed into different states that we can be indifferent between. That is, five states that come up heads and one state that comes up tails. Then the Sleeping Beauty result is again P(Heads|Awake) = 5/7.
  • Mathematical Conundrum or Not? Number Five
    Since there are seven awake states (out of twelve distinct states), I would be indifferent between them and so distribute probabilities as follows:

              Mon   Tue
    Roll 1-5  5/7   0
    Roll 6    1/7   1/7
    
  • Mathematical Conundrum or Not? Number Five
    Except in this, and in the Monty Hall problem, there is no new information.tom

    In the Monty Hall problem, the host gives you information that changes the probabilities that you assign to each door. That information is new to you.

    Similarly, in the Sleeping Beauty problem, awakening provides information that enables you to rule out one of the four states. However since you have no information distinguishing the remaining states, you should be indifferent about which state you are currently in.
  • Mathematical Conundrum or Not? Number Five
    Assume she's woken on Monday if it's heads or Tuesday and Wednesday if it's tails.

    Do you agree that P(Monday|Awake) = 1/2?
    Michael

    No, 1/3.

    Both the halfer and the thirder positions are consistent. The difference stems from how the probabilities are distributed when conditioning on being awake.

    Halfer:
             Mon  Tue
      Heads  1/2  0
      Tails  1/4  1/4
    

    P(Heads|Awake) = 1/2
    P(Heads|Monday) = P(Heads and Monday) / P(Monday) = 1/2 / 3/4 = 2/3

    Thirder:
             Mon  Tue
      Heads  1/3  0
      Tails  1/3  1/3
    

    P(Heads|Awake) = 1/3
    P(Heads|Monday) = P(Heads and Monday) / P(Monday) = 1/3 / 2/3 = 1/2

    One characteristic of the thirder view is that it doesn't imply an external perspective that "knows" what the probability is for Beauty's current awake state. Since Beauty has no available information distinguishing the three states from her point-of-view, she is simply indifferent about which state she is currently in, and so assigns a probability of 1/3 for each awake state.

    So the thirder view can be preferred on pragmatic grounds.
  • Mathematical Conundrum or Not? Number Five
    However, it is not. When awakened Beauty does not know if it is Monday or Tuesday.Jeremiah

    She knows it must be either Monday or (Tuesday and Tails). Do you agree that P(Heads|Awake) = 1/3?
  • Mathematical Conundrum or Not? Number Five
    I say bet £1 on heads.Michael

    You're correct. But that's because of this:

    (and in the case that it's tails it's only her bet on the last day that's accepted).Michael

    If a bet is instead placed every time Beauty awakes, then the £99 bet on tails is the best bet.

    Thirders and halfers will agree on how to bet for any given scenario. So that's not really the issue.

    ↪Andrew M That is not new information, she knew she'd be awakened beforehand. New relevant and significance information to reallocating creditably would be if she was told what day it was on Monday.Jeremiah

    It's self-locating information that she can update on. P(Heads|Awake) = 1/3 which Beauty already knew before the experiment began. When she awakes within the experiment, she knows she is awake so the probability of heads for her at that time updates to 1/3.

    She also knew before the experiment started that P(Heads|Tails) = 0 and P(Heads|Heads) = 1. So after the experiment, when she learns the result, the probability of heads also updates, this time to either 0 or 1.

    I prefer the Monty Hall problem.tom

    The same idea really. One should update one's probabilities when given new information.
  • Mathematical Conundrum or Not? Number Five
    Am I being completely stupid about this?Srap Tasmaner

    No. Nice analysis!
  • Mathematical Conundrum or Not? Number Five
    I only presented this side because they led with the 1/2 argument; however, they are correct in pointing out Beauty has gained no additional information. Really all she knows is what she was told before the experiment.Jeremiah

    That's not correct. Beauty knows that she is awake and that is relevant information.

    P(Heads) = 1/2
    P(Heads|Awake) = 1/3

    Whether 1/2 or 1/3 is assigned depends on whether one interprets the experiment as being about a coin toss event (1/2) or an awakening event (1/3).
  • My latest take on Descartes' Evil Demon Argument
    The skeptic of course doesn't claim to know whether I'm in state (1a) or (1b), but he claims that even if I'm lucky and I'm in fact in state (1a), the possibility of a mistake still exists, which I cannot rule out. But my point is that if one is in fact in state (1a) then there's no possibility of him to have the same experience and be mistaken.Fafner

    I agree that it's not possible to see your hands and be mistaken. But that is not what the skeptic is saying. The skeptic is saying that even if you do see your hands the possibility of being mistaken remains. The skeptic's claim is coherent if possibility is understood as a function of the information available to the subject rather than in an absolute (God's eye view) sense.
  • My latest take on Descartes' Evil Demon Argument
    I shall consider the following argument for skepticism:
    (1) Either (a) I see that I have hands or (b) it merely seems to me that I have hands because I’m deceived by Descartes’ evil demon.
    (2) According to the skeptic, whenever I seem to see that I have hands, it is always logically possible that I’m deceived by Descartes’ evil demon.
    (3) Hence I can never really know for sure whether I really have hands.
    ...
    (*) Whenever it seems to the subject that he's in state (a), it is always possible for him to actually be in state (b).

    But (*) is incoherent.
    Fafner

    As I see it, if (1)(b) is logically possible, then (*) is coherent. That it seems to the subject that he's in state (a) (and (b) seems impossible to him) doesn't imply that he's in state (a). Which leaves (b) as a logical possibility.

    A different response is to reject (1)(b) as logically possible. That seems consistent with ordinary usage where the meaning of "hands" is defined by that use. And so the only alternative to (1)(a) is ordinary deception or error rather than systemic deception or error (e.g., it's logically possible that the subject's real hands have been amputated and he presents fake hands). So for the skeptic's argument to work, a speculative meaning (or use) of "hands" is required.

    (Of course, knowledge could still be challenged on the basis of ordinary deception and error, but that's a separate argument.)
  • Does QM, definitively affirm the concept of a 'free will'?
    Thanks for the reference to Wallace on Everett's interpretation. I just looked up his book The Emergent Multiverse: Quantum Theory According to the Everett Interpretation. The second part of the book, entitled Probability in a Branching Universe is of much interest to me.Pierre-Normand

    You may also be interested in Carroll and Sebens' derivation of the Born rule which Sean Carroll discusses on his blog.

    Let me just note that Rovelli and Bitbol both endorse relational approaches that share some features with Everett's interpretation. But they don't reify the multiverse anymore than they do its branches.Pierre-Normand

    I think emergent branching aside, what is fundamental are the relative states of the wave function. In this respect, Rovelli's RQM is essentially equivalent to the Everett interpretation (it's unitary, local, complete, non-classical, etc.), except it uses relational terminology to index all descriptions to the observer.
  • Does QM, definitively affirm the concept of a 'free will'?
    I am quite sympathetic also with the main drift of Apokrisis's constraint-based approach. But I think is it quite congenial to the pragmatist (or relational) interpretation of QM that I also favor over the alternative metaphysically 'realist' interpretations. It is indeed thanks to thermodynamical constraints that the structured and controllable 'classical world' emerges at all from the chaos of the homogeneous gas of the early expanding universe.Pierre-Normand

    I'm not sure that you and Apo are saying anything very different to MWI proponents such as David Wallace regarding a preferred basis, emergence and pragmatism. For Wallace, worlds aren't postulated in the quantum formalism, they are stable structures that emerge via decoherence.

    So the decoherence basis is the preferred basis for all of us that are here to observe those emergent structures (the view from somewhere). But at a lower-level, there is no preferred basis - any way of factoring things is valid. It's just that not every way of factoring things necessarily persists to form macroscopic structures that we can observe.

    As Wallace puts it (before going on to describe higher-order ontology and the role of structure):

    Advocates of the Everett interpretation among physicists (almost exclusively) and philosophers (for the most part) have returned to Everett’s original conception of the Everett interpretation as a pure interpretation: something which emerges simply from a realist attitude to the unitarily-evolving quantum state.

    How is this possible? The crucial step occurred in physics: it was the development of decoherence theory.

    ...

    For decoherence is by its nature an approximate process: the wave-packet states that it picks out are approximately defined; the division between system and environment cannot be taken as fundamental; interference processes may be suppressed far below the limit of experimental detection but they never quite vanish. The previous dilemma remains (it seems): either worlds are part of our fundamental ontology (in which case decoherence, being merely a dynamical process within unitary quantum mechanics, and an approximate one at that, seems incapable of defining them), or they do not really exist (in which case decoherence theory seems beside the point).

    Outside philosophy of physics, though (notably in the philosophy of mind, and in the philosophy of the special sciences more broadly) it has long been recognised that this dilemma is mistaken, and that something need not be fundamental to be real. In the last decade, this insight was carried over to philosophy of physics.
    The Everett Interpretation - David Wallace

    The value of relational QM, I think, is that it gives us a language for talking about the familiar world that we observe from our individual point-of-view rather than an idealized view-from-nowhere. Which is to say, we are each participants in a localized part of a much larger quantum universe that evolves unitarily.
  • Does QM, definitively affirm the concept of a 'free will'?
    There you go! That's what I am talking about - accepting actual cut-offs in principled fashion. I find it encouraging that Tegmark is blogging in a way that sounds like confessing his sins. :)apokrisis

    In his defense, he does note that infinity seduced him at an early age...
  • Does QM, definitively affirm the concept of a 'free will'?
    I'm over my head here. But I've seen MWI described as superdeterministic. https://en.wikipedia.org/wiki/SuperdeterminismJupiterJess

    Superdeterminism is a one-world theory that apparently has about three supporters including 't Hooft. It basically says that if you have a beam splitter, then it is predetermined which way the particle will go. Whereas Many Worlds says a particle goes both ways.

    Bell's Theorem makes three assumptions - locality, classical realism (counterfactual definiteness) and freedom-of-choice (in what measurement to perform).

    Superdeterminism rejects freedom-of-choice. Many Worlds rejects counterfactual definiteness.