Math paradoxes

Newcomb's paradox The predictor has already decided what is in box B. What will you take?Both answers are honest, to different questions.

Two boxes are on the table. In the transparent box A you can see $1,000. The closed box B is either empty or holds $1,000,000. What is in B was decided yesterday by a predictor program that has called the choice of 990 people out of 1,000: if it foresaw you taking only B, it put the million in; if it foresaw you taking both boxes, it left B empty. Nothing in the boxes will change now. Do you take only B, or both? Lock in your choice, then play against the predictor.

Those who take only B leave with $990,000 on average, those who take both with just $11,000: the predictor rarely errs. But the money on the table is either there or not, and whatever is in B, box A adds another $1,000. Both calculations are correct. The first asks what your choice says about the box, the second asks what your choice changes in it. That is why people split almost in half: 53.5% against 46.5% in a big Guardian poll.

Make your choice
$990,000only B, on average
$11,000both, on average
+$1,000both, for the same boxes
The puzzle

Two boxes and a predictor

The physicist William Newcomb came up with this puzzle, and the philosopher Robert Nozick was the first to analyse it. Ever since, it has split philosophers, economists and ordinary readers into two camps, and each camp is sure the answer is obvious.

  1. 1

    The predictor

    It is a program that has already played this game with 1,000 people and correctly predicted the choice of 990 of them, 99% of the time. How it does it doesn't matter: it simply knows people very well.

  2. 2

    Two boxes

    Box A is transparent and holds $1,000. Box B is closed, and you can't see what is inside.

  3. 3

    Yesterday's prediction

    Yesterday, before you arrived, the predictor predicted your choice. If it decided you would take only B, it put $1,000,000 in it. If it decided you would take both, it left B empty.

  4. 4

    Your choice

    Nothing in the boxes will change now. You can take either box B alone or both boxes, A and B. What will you take?

Intuition says

"Surely it's obvious"

Most people know the answer at once and wonder how anyone could think otherwise. Notice which answer feels obvious to you, and why.

Robert Nozick noticed something strange: nearly everyone finds the answer obvious, yet people split almost in half, and each half thinks the other simply hasn't thought it through. In fact both "obvious" answers rest on a correct calculation, just a different one.

What we assume

  • Nobody cheats: the money is real, and the predictor doesn't slip the million in after your choice or take it out.
  • All you care about is money: more is always better.
  • The predictor can't change what is in B once you have chosen. It was all settled yesterday.
  • Tossing a coin won't help. If the predictor sees you will leave it to chance, it leaves B empty. That is a classic rule of the puzzle.
Round 1 · Your choice

Only B, or both?

There is no trick in the setup. Just decide what you would do standing in front of these boxes, and lock in your choice before reading on.

Your answer counts as soon as you click. You can change your mind, but the first choice goes into the stats.

How other people choose, and what your choice says, will appear here.

Hints

Hard to decide? Open the hints one at a time: the easy one first, then stronger ones.

Next: the solution

Next comes the explanation, with spoilers

The next rounds show why each camp has a point: a game against a real predictor, 100,000 games and the explanation. Make your choice in round 1 first, or go on?

You chose to always show all rounds.

Round 2 · Play

20 games against a real predictor

This predictor is not all-knowing, but it doesn't guess at random either. Before each game it looks at your earlier choices: what you most often chose after the same last four moves, and bets on that. The prediction is sealed in box B before you click. Try to be unpredictable, or the opposite, consistent, and see when you take home more.

Each square is a game: blue for "only B", rust for "both". Filled if the predictor got it right, hollow if it missed.

Series score

Round 3 · Simulation

100,000 games, two views of the same money

The computer plays 100,000 times. Each player takes only B or both at random, the predictor calls the choice with accuracy p and fills box B. Move the accuracy slider. On the left we compare the players with each other, on the right we compare the two possible choices for the same boxes.

Who goes home richer

only B: p · 1,000,000 both: 1,000 + (1 − p) · 1,000,000

Same boxes, other choice

Only B, on average
–
Both, on average
–
Averages tie at accuracy
50.05%
a hair better than a coin
"Both" for the same boxes
–

Both pictures come from the same games. Left: the more accurate the predictor, the more those who take only B leave with, and the less those who take both. The lines cross at p = 50.05%: if the predictor is right even a little more often than a coin, "only B" pays more on average. Right: take any of these games and, without touching the boxes, switch the player's choice to "both", and they would get exactly $1,000 more every time. The dots on the left are simulations of 20,000 games for each accuracy, the circles are the 100,000 games at the chosen one.

Once you answer, the simulation code appears here so you can run it yourself.

Check it yourself in code

The same simulation, short and with no libraries. Run the JavaScript in your browser console (F12) or in Node; the Python needs only the standard library.

JavaScript
// Newcomb's paradox: 100,000 games against a predictor that is right with probability p
const N = 100000, A = 1000, M = 1000000;

for (const p of [0.9, 0.5]) {
  const sum = { one: 0, two: 0 }, cnt = { one: 0, two: 0 };
  let plus = 0;
  for (let i = 0; i < N; i++) {
    const choice = Math.random() < 0.5 ? 'one' : 'two';          // the player picks at random
    const right = Math.random() < p;                             // did the predictor guess right?
    const said = right ? choice : (choice === 'one' ? 'two' : 'one');
    const B = said === 'one' ? M : 0;                            // yesterday: a million in B only for "only B"
    const win = choice === 'one' ? B : A + B;
    sum[choice] += win; cnt[choice]++;
    const gain = (A + B) - B;                                    // same boxes: "both" minus "only B"
    if (gain === A) plus++;
  }
  console.log(`p = ${p * 100}%`);
  console.log(`  only B:  ${Math.round(sum.one / cnt.one)}   exact ${Math.round(p * M)}`);
  console.log(`  both:   ${Math.round(sum.two / cnt.two)}   exact ${Math.round(A + (1 - p) * M)}`);
  console.log(`  games where "both" adds exactly +1000 to the same boxes: ${(100 * plus / N).toFixed(1)}%`);
}
Python
# Newcomb's paradox: 100,000 games against a predictor that is right with probability p
import random

N, A, M = 100_000, 1000, 1_000_000

for p in (0.9, 0.5):
    total = {"one": 0, "two": 0}
    count = {"one": 0, "two": 0}
    plus = 0
    for _ in range(N):
        choice = random.choice(("one", "two"))                   # the player picks at random
        right = random.random() < p                              # did the predictor guess right?
        said = choice if right else ("two" if choice == "one" else "one")
        B = M if said == "one" else 0                            # yesterday: a million in B only for "only B"
        win = B if choice == "one" else A + B
        total[choice] += win
        count[choice] += 1
        if (A + B) - B == A:                                     # same boxes: "both" minus "only B"
            plus += 1
    print(f"p = {p:.0%}")
    print(f"  only B:  {total['one'] / count['one']:.0f}   exact {p * M:.0f}")
    print(f"  both:   {total['two'] / count['two']:.0f}   exact {A + (1 - p) * M:.0f}")
    print(f"  games where \"both\" adds exactly +1000 to the same boxes: {100 * plus / N:.1f}%")
Round 4 · Explanations

Two correct calculations

In most puzzles on this site intuition is wrong and a calculation puts it right. Here there are two calculations, both free of errors, and they give different answers. That is why the argument has run for more than half a century.

In plain wordspictures, analogies, small numbers

“In plain words” is hidden on all puzzles.

In short

Two honest answers

"Only B": look at who has already played

Those who took only B nearly always went home with a million. Those who took both nearly always went home with a thousand: the predictor saw it coming and left B empty. If you want to leave with a million, do what the first group did.

"Both": look at the table right now

The money is already in B or it isn't. If it is, both boxes give $1,001,000 instead of $1,000,000. If not, $1,000 instead of nothing. Either way, box A adds $1,000.

Both lines of reasoning are correct, because they answer different questions: "what do people like me usually go home with?" and "what changes if I take A as well, right now?". That is the short version. The cards below give each side in its strongest form.

For two boxes

A friend can see inside

$1,000 ? "take both!"

Imagine the back wall of box B is transparent and your friend is standing behind it. They can see whether the million is there, but can't tell you, only shout advice. If the million is there, your friend shouts "take both!": that makes $1,001,000. If it is empty, they also shout "take both!": $1,000 beats nothing.

A friend who sees everything gives the same advice whatever is inside. Should you go against advice that someone who knows more than you would give? That is the case for two boxes at its strongest: your choice puts nothing into B and takes nothing out.

For one box

What your choice says about you

Your choice doesn't move any money. But yesterday the predictor was looking at you in particular: at how you think and what you choose. If you feel drawn to take both right now, that is most likely just what it saw, and B is empty. If you are the kind who takes only B, it most likely saw that too, and the million is already there.

So your choice works as evidence: it doesn't change what is in the box, but it predicts it very well. With a predictor that is right 99% of the time, those who take only B find a million there 99 times out of 100. The friend behind the box sees one particular game, but you have to choose what kind of player to be. That is the case for one box at its strongest.

Rigoroustables, charts, formulas

“Rigorous” is hidden on all puzzles.

Payoff table

Four possible outcomes

The predictor foresawYou take only BYou take both
"only B": a million in B$1,000,000$1,001,000
"both": B is empty$0$1,000

Look along the rows: in each one the right-hand cell is $1,000 bigger. That is the case for "both". Now look at the shaded diagonal: the predictor nearly always lands on it, and on the diagonal the top-left cell is a thousand times the bottom-right one. That is the case for "only B".

Two calculations

Evidence or cause

If your choice is evidence. The predictor is right with probability p. Those who take only B find a million in a share p of games: p · 1,000,000 on . Those who take both get 1,000, plus the million only when the predictor got it wrong: 1,000 + (1 − p) · 1,000,000. At p = 99% that is 990,000 against 11,000.

If the contents are already fixed. Say the million is in B with some probability q, and your choice doesn't change it. Then only B gives q · 1,000,000 and both give q · 1,000,000 + 1,000. Both wins for every q.

The first approach is called evidential decision theory: a choice is judged by what it says about the world. The second is causal decision theory: a choice is judged by what it changes in the world. Newcomb's problem is the best-known place where they part ways.

For formula lovers

The accuracy threshold and two expectations

A is the sum in the transparent box, M the million in the closed one, p the probability that the predictor is right. The expected win if the choice counts as evidence:

E[win∣only B]=pM E[win∣both]=A+(1−p)M

"Only B" pays more when the first exceeds the second:

pM>A+(1−p)M ⟺p>1+A/M2=1,0012=50,05%

If the choice has no effect on the contents and the million is in B with probability q, then for every q:

E[both]−E[only B] =(qM+A)−qM=A

The two calculations differ in one detail. In the first, the probability of the million depends on your choice: p if you take only B, 1 − p if you take both. In the second it is the same q for both choices. Both are valid; the dispute is over which probability you should plug in when you choose.

Deepergeneralisations, theory, history

“Deeper” is hidden on all puzzles.

History

A physicist devised it, a philosopher printed it

The physicist William Newcomb of the Lawrence Livermore Laboratory devised the puzzle around 1960 but never published anything on it. In 1969 the philosopher Robert Nozick printed the first analysis, "Newcomb's Problem and Two Principles of Choice", in a volume of essays in honour of Carl Hempel. The two principles in the title are exactly our two calculations.

Martin Gardner made it widely known: it appeared in his Scientific American column in July 1973, and in March 1974 he printed Nozick's review of the letters readers had sent in.

The prisoner's dilemma

Playing against your own copy

In 1979 David Lewis showed in Philosophy & Public Affairs that the prisoner's dilemma is a Newcomb problem. Imagine you play not against a stranger but against an exact copy of yourself, who thinks just as you do. Defecting pays more whatever the copy does, just as taking both boxes pays more whatever is in B. But if you cooperate, the copy most likely cooperates too, like the predictor that sees "only B" in you.

How people and programs play the repeated prisoner's dilemma is shown in Axelrod's tournament.

A third answer

Choose the algorithm, not the act

In 2017 Eliezer Yudkowsky and Nate Soares proposed functional decision theory. The predictor foresees you by, in effect, running your way of reasoning itself. So choose as if you were choosing not one act but that way of reasoning, and with it what the predictor saw. Such an agent takes only B, while agreeing that in this particular game A would have added $1,000.

Round 5 · Going further

How much must box A hold to change your mind?

In the classic puzzle A holds a thousand and B a million, so "only B" needs a predictor only slightly better than a coin. Change the sums and the accuracy and see where the line falls. Then from the numbers to the idea behind them, and to where it shows up in life.

The threshold for any sums

Accuracy threshold
Only B, on average
Both, on average

Generalising

One threshold for all sums

Only B gives p · M on average, both give A + (1 − p) · M. The first is bigger when p > (1 + A/M)/2. The more the transparent box holds compared with the closed one, the more accurate the predictor must be for "only B" to pay.

With the classic $1,000 against a million the threshold is 50.05%. If A holds $500,000, it is already 75%. If A holds as much as B, it reaches 100%: even a flawless predictor gives only a tie, and both boxes are no worse. The case for "both" doesn't depend on the sums at all: for the same boxes A always adds exactly A.

The logic

It pays to be someone who takes one

In this puzzle you are paid not for the act but for the character the predictor saw in you. Being a person who takes only B pays, even though at the moment of choice the second box would add $1,000. That is the idea of pre-commitment: binding yourself to a decision in advance, while it can still make a difference.

Odysseus had himself tied to the mast to sail past the Sirens. He knew that at the crucial moment he would want to turn aside, so he took that choice away from himself in advance.

Parfit's hitchhiker

In "Reasons and Persons" (1984) Derek Parfit described a hitchhiker stranded in the desert. A driver who reads people well will take him to town only if he believes the hitchhiker will pay him there. Once in town, paying no longer pays: he is saved, and the money changes nothing. But whoever thinks "I won't pay in town" stays in the desert.

It is the same Newcomb problem: the driver is the predictor, the rescue is the million, and the money you could keep is box A.

Where this shows up

A Newcomb problem is easy to spot: someone decides how to treat you from a forecast of your behaviour, and the forecast is good. Then what matters is not the single act but the rule you act by. In "The Strategy of Conflict" (1960) Thomas Schelling described commitment as a strategic move: binding yourself in advance can be stronger than keeping your freedom of choice. You can test how predictable you are in round 2: the same kind of oracle by Scott Aaronson called 70–80% of the choices of people trying to outwit it.

SituationWho is the predictorThe "only B" policy
A state and hostage-takersKidnappers weighing whether a ransom will be paid"We don't negotiate with terrorists". It works only if believed in advance: then kidnapping pays less, even though every single hostage is someone you badly want to save.
Parents and a childA child who quickly learns whether the parents do what they sayDoing what was promised even when giving in is easier today. Giving in wins today's thousand and loses the million of trust.
A shop with a "money back, no questions asked" guaranteeShoppers deciding whether to trust the guaranteeRefunding even when a particular case loses money: otherwise the guarantee is worth nothing, and shoppers will see it coming.
A news feed, shop recommendationsAn algorithm forecasting your clicks and purchases from past behaviourRemember that you have already been predicted: you are shown what you are most likely to bite on. The more predictable your habits, the sharper the forecast.

Other puzzles where the calculation hinges on which question is being asked: Sleeping Beauty, Bertrand's paradox, the two envelopes. And on how rationality in a game can cost both players money, the traveler's dilemma.

Bonus · Fun facts

Things to tell your friends

1969

Newcomb's paradox without Newcomb

William Newcomb was a physicist at the Lawrence Livermore Laboratory and never published the puzzle. The philosopher Robert Nozick printed it in 1969, but named it after its author.

1973 → 1974

Gardner's second column

Martin Gardner's Scientific American column of July 1973 drew so many letters that in March 1974 he ran a second one, in which Nozick reviewed the readers' replies.

31,854

Guardian readers' votes

In 2016 Alex Bellos put the puzzle to Guardian readers. 31,854 people voted, and 53.5% of them took only B.

39 : 31

Philosophers take both

In the 2020 PhilPapers survey, philosophers who knew the problem leaned towards two boxes: 39% against 31%. Among decision theorists the lead is bigger still: 73% against 21%.

70–80%

Aaronson's oracle

Scott Aaronson wrote a simple program that guesses which of two keys a person will press next from their earlier presses. It called 70–80% of the presses of people trying their hardest to be random.

1979

The prisoner and his copy

David Lewis showed that the prisoner's dilemma, played against your own copy, is a Newcomb problem, so anyone who takes both boxes must also defect against their twin.

Paradoxes from A to Z

Michael Clark

2002

All books →
Discussion

What do you think?

Share your own explanation, an objection or a variant of the puzzle. You need a GitHub account to comment.

Is “School maths” the right level for this puzzle?

Thank you! This helps set the levels right.

Newsletter

New puzzles, explanations and discussions

I keep adding new puzzles, new ways to explain them and write-ups of the discussions they start. Leave your email and I'll write when something new is out. No spam, one-click unsubscribe.

The sign-up form will appear here soon.