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