Полная неожиданность
|
Король. Дитя мое, я отдам тебя за Майкла, если он убьет тигра, который находится за одной из этих пяти дверей. Майклу придется открыть одну за другой все двери подряд, начиная с первой. За какой именно дверью прячется тигр, Майклу заранее не должно быть известно. Об этом он узнает, лишь когда откроет ее. Тигр за дверью должен быть для него полной неожиданностью. |
|
Майкл. Если я открою четыре двери и ни за одной из них не окажется тигра, то я буду знать, что тигр прячется за пятой дверью. Но король сказал, что мне не должно быть известно заранее, за какой дверью находится тигр. Следовательно, тигр не может находиться за пятой дверью. |
|
|
|
Майкл. Итак, никакого тигра ни за одной из дверей нет. Ведь если бы он был, то для меня это не было бы неожиданностью вопреки утверждению короля, а короли никогда не бросают слов на ветер. |
|
|
Парадокс с неожиданным появлением тигра рассказывают по-разному. Когда о нем впервые заговорили в начале 40-х годов, речь шла о профессоре, пообещавшем своим студентам устроить в один из дней на следующей неделе "неожиданный экзамен". Профессор, всегда державший свое слово, уверял, что студенты не смогут заранее определить, на какой из дней назначена проверка, и узнают о предстоящем им испытании только в день экзамена. Студенты "доказали" сначала, что экзамен не может быть назначен на последний день недели, затем - на предпоследний и т. д. на каждый из остальных дней недели. Выясняется, однако, что профессор, не нарушив своего обещания о полной неожиданности проверки, назначил экзамен, например, на среду.
В статье философа У. В. Куайна из Гарвардского университета, опубликованной в 1953г., речь шла о судье, приговорившем подсудимого к неожиданной казни через повешение. Подробный анализ этого парадокса и некоторые библиографические ссылки можно найти в главе "Казнь врасплох и связанный с ней логический парадокс" моей книги "Математические досуги" (М.: Мир, 1972, с. 95 - 109).
Большинство людей склонно считать первый шаг в рассуждениях Майкла (утверждение о том, что тигр не может находиться за последней дверью) правильным. Но коль скоро мы согласимся с этим выводом, то нам не останется ничего другого, как признать правильность и всех остальных рассуждении Майкла: ведь если тигр не может находиться за последней дверью, то аналогичные рассуждения позволяют исключить случай, когда тигр находится за предпоследней, предпредпоследней и т. д. дверью.
Но на самом первом шаге своих рассуждении Майкл все же допустил ошибку. Предположим, что он распахнул все двери, кроме последней. Может ли он сделать логически безупречный вывод о том, что за последней дверью тигра нет? Не может, потому что, придя к такому заключению, Майкл мог бы открыть последнюю дверь и совершенно неожиданно для себя обнаружить за ней тигра! Следовательно, парадокс остается в силе и в том случае, если осталась неоткрытой одна-единственная дверь.
Предположим, что некий мистер Смит, всегда говорящий, как вам хорошо известно, только правду, вручает вам коробку и говорит: "Откройте ее, и вы неожиданно обнаружите внутри яйцо". Можете ли вы, рассуждая логически, прийти к какому-нибудь заключению относительно того, находится ли внутри коробки яйцо, или его там нет? Если Смит сказал правду, то внутри коробки должно быть яйцо, но, поскольку вы знаете об этом, для вас не будет неожиданностью обнаружить яйцо в коробке. Следовательно, утверждение Смита ложно. С другой стороны, если это противоречие подтолкнет вас к выводу о том, что в коробке нет яйца (в этом случае утверждение Смита ложно), и вы, открыв коробку, неожиданно обнаружите в ней яйцо, то утверждение Смита истинно.
Логики сходятся на том, что хотя король знает о том, что держит данное им слово, Майклу об этом ничего не известно. Следовательно, он не может, рассуждая логически, прийти к выводу, что за любой дверью, в том числе и последней, нет тигра.
Парадокс Ньюкома
|
|
|
|
|
|
|
|
|
|
Омега. Перед вами две возможности. Во-первых, вы можете выбрать оба ящика и взять себе те деньги, которые в них находятся. Если бы я знал, что вы поступите именно так, то оставил бы ящик В пустым. В этом случае вы получите только 1000 долларов. |
|
|
|
|
|
Мужчина. Я видел, как Омега провел не одну сотню тестов. Каждый раз он правильно предсказывал, какую из альтернатив выберет испытуемый. Каждый, кто выбирал оба ящика, получал всего лишь 1000 долларов. Выберу-ка я лучше только ящик В и стану миллионером. |
|
|
Женщина. Омега уже определил, какую из альтернатив я выберу, и вышел из комнаты. Содержимое ящика теперь не изменится. Если он пуст, то пустым и останется, а если в нем миллион, то этот миллион никуда не денется. Выберу-ка я оба ящика и возьму все денежки, какие в них лежат. |
|
|
|
Это последний и наиболее поразительный из парадоксов, связанных с предсказанием, которые обсуждают современные философы. Придумал его физик Уильям Ньюком, в честь которого он и был назван парадоксом Ньюкома. Впервые его опубликовал и проанализировал философ из Гарвардского университета Роберт Нозик. Работа Нозика опиралась на такие разделы современной математики, как "теория игр" и "теория решений".
Решение мужчины выбрать ящик В понять нетрудно. Рассуждения женщины станут понятнее, если мы вспомним, что Омега вышел из комнаты и, следовательно, не может изменить содержимое ящика В. Если ящик В пуст, то так и останется пустым. Если в нем чек на миллион долларов, то этот чек никуда не исчезнет. Рассмотрим оба случая.
Если в ящике В находится чек на миллион долларов и женщина выбирает только ящик В, то она получает миллион долларов. Но если она выбирает оба ящика, то получает миллион плюс тысячу долларов.
Если ящик В пуст и женщина выбирает только ящик В, то она не получает ничего. Если же она выбирает оба ящика, то получает 1000 долларов.
Следовательно, в любом случае женщина, выбрав оба ящика, станет богаче по крайней мере на 1000 долларов.
Парадокс Ньюкома служит своего рода лакмусовой бумажкой для проверки, верит или не верит человек в свободу воли. Воможные реакции на парадокс подразделяются (почти поровну) на два типа: те, кто верит в свободу воли, выбирают два ящика; сторонники детерминизма предпочитают выбирать только ящик В. Имеются и такие, кто считает парадокс Ньюкома противоречивым независимо от того, полностью или не полностью предопределено будущее.
Подробный обзор различных, нередко противоположных, взглядов на парадокс Ньюкома приведен в разделе "Математические игры" журнала Scientific American мной (июль 1973) и профессором Нозиком (март 1974).
