- This article is a short version of
- The Surprise Examination or Unexpected Hanging Paradox Timothy Y. Chow The American Mathematical Monthly Volume 105, Number 1, January 1998, pp. 41 - 51 http://arxiv.org/abs/math.LO/9903160

Before plunging into an attempt to "resolve" the paradox, let us pause for a moment and think for a moment about what "resolving" a paradox means.

There are two steps involved in resolving a paradox.

1. Establish unambiguously what the paradoxical argument is. To do this it often helps to write down all the assumptions and the logical steps explicitly, possibly in a formal language of some kind.

2. Exhibit the fault in the reasoning. The fault may be due to incorrect
reasoning (e.g., dividing by zero or confusing two distinct things by
using the same word for both) or faulty **assumptions**. In the latter
case it is often easy to identify exactly which assumption should be
rejected, although sometimes what we discover is a set of mutually
incompatible assumptions such that rejecting any one of them suffices
to eliminate the paradoxical reasoning. In such a situation, simply
exhibiting the incompatible axioms without passing judgment on which
one is wrong is usually sufficient to dispel the confusion caused by
the paradox. (We will see an example of this below.)

In some paradoxes the argument is presented clearly from the outset and we do not need to bother with step 1. Such is the case with many 1 = 0 "proofs." However, some paradoxical arguments can be interpreted in more than one way. The classic problem of two envelopes, one with twice as much money as the other, is an example. In such cases, to resolve the paradox, one should list the different possibilities for formulating the paradoxical argument precisely and apply step 2 to each case.

With these ideas in mind, let us now turn to the prediction paradox.

lib/CachedMarkup.php (In template 'browse' < 'body' < 'html'):257: Error: Pure virtual

## Fatal PhpWiki Error

lib/CachedMarkup.php (In template 'browse' < 'body' < 'html'):257: Error: Pure virtual