This is a famous
paradox, first framed by the Belgian mathematician, Maurice Kraitchik in 1953
and popularised by Doug Hofstadter in 1982. It has been the
subject of papers in philosophical journals in recent years and its current
status is unresolved, though many claim to have solved it. A Google search nets
12,000 hits. I have looked at the first 40 and found none was satisfactory.
Some people were content with showing that switching doesn’t give any benefit,
others even thought that getting a benefit out of switching is an acceptable
result (at least in the open envelope case). Others thought it enough to show
that the probability of 2x is less than that of x/2. Some answers were so
difficult to follow that I had to give them the benefit of the doubt, though in
these cases I could not see how the solution related to the original problem,
ie what part of the reasoning of Method 2 is in error.
To be honest, my
solution can and should be criticised for being abstruse, given the incredibly
simple nature of the problem. Nor did I reach it unassisted. There are key
ideas I picked up from the Net, without which I probably would never have
solved the paradox. These are: 1) that one must take the two envelopes from a
probability distribution, 2) that any such distribution cannot be uniform, and
3) the example I use in Part 2 (due to Broome), which allows one to see exactly
what happens. The breakthrough was when I realised that the gain for this
distribution is given by an oscillating series that cannot be summed. Is my
solution the first correct one ever? This is a hubristic claim, but it is
possibly the case. Pride comes before the slip, so I’ll probably have to eat
these words. In the meantime I am a legend in my own lunchtime.
Some interesting
treatments of the paradox are:
Two
papers by David Chalmers 2nd
paper (2002) and 1st paper
(1994) from the Dept of Philosophy at the University of Arizona
A
paper by Graham Priest and Greg Restall of the Philosophy Dept of
Melbourne University: "Envelopes
and Indifference" (2003)
The
wikipedia Discussion
of the topic
A
Simple
Explanation by E. Schwitzgebel and J. Dever of the
Universities of California and Texas (2004)
A paper
that nearly gets it right: The Exchange
Paradox by John D. Norton of the University of S. California (1998)
A paper
in Mind Magazine (Vol 109.435.July 2000) by Michael Clark
(Nottingham University) and Nicholas Shackel (De Montfort University)
Though these are the best solutions I have found, they all seem to miss the mark. Chalmers states that the gain is positive for each value of the envelope but that we should not conclude from this that we should switch.
Graham Priest and
Greg Restall attack the problem from the point of view of modal logic. Parts of
their answer are excellent, especially the observation that the original
problem is under-determined and their proposal of three mechanisms to generate
the paradox situation. However, I don’t think that they actually dispose of the
kernel of the paradox, but then I am unable to follow their argument (despite
receiving their clarifications).
The wikipedia
article is essentially correct and shows a distribution similar to mine in Part
2. However, it fails to provide the solution, except for the suggestion that
since the average value in the open envelope and the average gain are both
infinite, we don’t have a paradox. This is wrong (see my Part 2). They frame a
third version of the paradox without using
probability. This is beside the point, as you cannot then talk about expected
gain.
The article by Schwitzgebel
and Dever had me worried for a while. It seemed to give a dead simple solution,
namely that the x in “2x” and the x in “x/2” in the calculation of method 2
have different expectations and hence cannot be used in the same formula.
However, the simple case of (1, 2) or (2, 4) with equal probability of each
invalidates their explanation. There is nothing wrong with applying method 2 to
this case, though the net gain is zero.
Norton’s 25-page paper analyses the problem in essentially the same way as mine, locating the problem in the indefinite sum of an oscillating series. Where we differ is in the diagnosis. Norton correctly concludes that if the amount in the first envelope is unknown then there is indeed no gain from switching. Where he goes wrong is in his analysis of the open envelope case. He believes that if we know the contents of the first envelope then swapping is always advisable. He tries to talk his way out of this violation of symmetry, but fails to do so. The crucial step he misses is given in my answer at the end of Part 2:
If we open an envelope and find that it contains 128,
should we switch? Substituting n = 5 in G gives the gain of 27/36
= 128/729. It seems that we can validly extract just one bracketed element from
the oscillating series A. Or can we? Recall that the reason we cannot sum all
of A is that changing the order of the terms changes the sum. By extracting a
single bracketed term out of A we are instantiating the same problem, ie we are
choosing a specific order so as to obtain a specific result. This is arbitrary,
and hence is just as fallacious in the case of a single term as in the infinite
one.
Finally, there is the paper by Clark and Shackel.
They present a case where the gain converges conditionally to 7/12. Essentially
they say that Method 2 is incorrect because it does not respect the symmetry of
the situation, which is true. However, I believe they fail to show at what
point Method 2 goes wrong, which is necessary to resolve the paradox. As for
the open version, they admit that the expected gain is positive for each value,
yet they claim that the overall gain over the whole run will not be. This is
very much like what Chalmers says above, and it makes no sense to me at all.
The problem with discussing this paradox is that
anyone who has spent weeks or months working out their solution is unlikely to
feel motivated to put in the hard work to wade through a densely argued
academic paper of 25 pages in order to rigorously evaluate someone else’s work.
Put crudely, writing about it is more fun than reading another thinker’s solution.
I have made an honest attempt to understand and evaluate the seven papers cited
above. However, my conclusions are circumscribed by my lack of intellectual
prowess. I also, grugingly, admit to a bias towards believing that my solution
is the only correct one.
Please be the first to let me know what you think of
my solution and of the discussion above. My email is "tad@soler 7.com" - this
email address has an extra space - please remove it.
13 Oct 2006
Home
IFAQ Home IFAQ Qs Thinkers Etc Forum Aphorisms Puzzles Humour
Poetry
Fiction About