## Полная неожиданность

`Принцесса`. Папочка, ты король и все можешь. Позволь мне выйти замуж за Майкла. `Король`. Дитя мое, я отдам тебя за Майкла, если он убьет тигра, который находится за одной из этих пяти дверей. Майклу придется открыть одну за другой все двери подряд, начиная с первой. За какой именно дверью прячется тигр, Майклу заранее не должно быть известно. Об этом он узнает, лишь когда откроет ее. Тигр за дверью должен быть для него полной неожиданностью. |
Встав перед дверями, Майкл принялся рассуждать следующим образом. `Майкл`. Если я открою четыре двери и ни за одной из них не окажется тигра, то я буду знать, что тигр прячется за пятой дверью. Но король сказал, что мне не должно быть известно заранее, за какой дверью находится тигр. Следовательно, тигр не может находиться за пятой дверью. |
`Майкл`. Поставим на пятой двери крест. Тогда тигр должен находиться за одной из первых четырех дверей. Если открыв три двери, я не обнаружу ни за одной из них тигра, то тигр заведомо будет находиться за четвертой дверью. Но тогда ни о какой неожиданности не может быть и речи, поэтому на четвертой двери также можно поставить крест. |
Продолжая рассуждать в таком же духе, Майкл доказал, что тигр не может находиться ни за третьей, ни за второй, ни за первой дверью, и был вне себя от радости. `Майкл`. Итак, никакого тигра ни за одной из дверей нет. Ведь если бы он был, то для меня это не было бы неожиданностью вопреки утверждению короля, а короли никогда не бросают слов на ветер. |
Доказав, что никакого тигра нети в помине, Майкл принялся храбро открывать двери. Но стоило ему распахнуть вторую дверь, как из-за нее выпрыгнул тигр. Для Майкла это было полной неожиданностью. Король сдержал свое слово. Логики до сих пор продолжают спорить относительно того, где именно в рассуждения Майкла вкралась ошибка. |

Парадокс с неожиданным появлением тигра рассказывают по-разному. Когда о нем впервые заговорили в начале 40-х годов, речь шла о профессоре, пообещавшем своим студентам устроить в один из дней на следующей неделе "неожиданный экзамен". Профессор, всегда державший свое слово, уверял, что студенты не смогут заранее определить, на какой из дней назначена проверка, и узнают о предстоящем им испытании только в день экзамена. Студенты "доказали" сначала, что экзамен не может быть назначен на последний день недели, затем -- на предпоследний и т. д. на каждый из остальных дней недели. Выясняется, однако, что профессор, не нарушив своего обещания о полной неожиданности проверки, назначил экзамен, например, на среду.

В статье философа У. В. Куайна из Гарвардского университета, опубликованной в 1953 г., речь шла о судье, приговорившем подсудимого к неожиданной казни через повешение. Подробный анализ этого парадокса и некоторые библиографические ссылки можно найти в главе "Казнь врасплох и связанный с ней логический парадокс" моей книги "Математические досуги" (М.: Мир, 1972, с. 95 -- 109).

Большинство людей склонно считать первый шаг в рассуждениях Майкла (утверждение о том, что тигр не может находиться за последней дверью) правильным. Но коль скоро мы согласимся с этим выводом, то нам не останется ничего другого, как признать правильность и всех остальных рассуждении Майкла: ведь если тигр не может находиться за последней дверью, то аналогичные рассуждения позволяют исключить случай, когда тигр находится за предпоследней, предпредпоследней и т. д. дверью.

Но на самом первом шаге своих рассуждении Майкл все же допустил ошибку. Предположим, что он распахнул все двери, кроме последней. Может ли он сделать логически безупречный вывод о том, что за последней дверью тигра нет? Не может, потому что, придя к такому заключению, Майкл мог бы открыть последнюю дверь и совершенно неожиданно для себя обнаружить за ней тигра! Следовательно, парадокс остается в силе и в том случае, если осталась неоткрытой одна-единственная дверь.

Предположим, что некий мистер Смит, всегда говорящий, как вам хорошо известно, только правду, вручает вам коробку и говорит: "Откройте ее, и вы неожиданно обнаружите внутри яйцо". Можете ли вы, рассуждая логически, прийти к какому-нибудь заключению относительно того, находится ли внутри коробки яйцо, или его там нет? Если Смит сказал правду, то внутри коробки должно быть яйцо, но, поскольку вы знаете об этом, для вас не будет неожиданностью обнаружить яйцо в коробке. Следовательно, утверждение Смита ложно. С другой стороны, если это противоречие подтолкнет вас к выводу о том, что в коробке нет яйца (в этом случае утверждение Смита ложно), и вы, открыв коробку, неожиданно обнаружите в ней яйцо, то утверждение Смита истинно.

Логики сходятся на том, что хотя король знает о том, что держит данное им слово, Майклу об этом ничего не известно. Следовательно, он не может, рассуждая логически, прийти к выводу, что за любой дверью, в том числе и последней, нет тигра.

Оглавление книги | Содержание части | Следущая глава