Принцесса или тигр

16. Единственный вывод, который можно сделать, — это то, что Бернард Грин не является волшебником (на основании тех же рассуждений, что и при решении задачи 14).

17. Единственный вывод, который можно сделать, — это то, что волшебник принадлежит к людям, которые могли бы спросить, волшебник ли Чарлз Мэнсфилд.

(Напомним, что, как мы выяснили при решении задачи 11, в случае, если островитянин спрашивает: «Принадлежу ли я к людям, которые могли бы спросить, имеет ли место какое-либо утверждение?», то это утверждение обязательно должно оказаться истиной.)

18. Все, что мы можем сказать, — это то, что Дэниел Мотт не является волшебником (потому что волшебник не может спросить, относится ли он сам к типу В; ведь на самом деле никто не может спросить, относится ли он к типу В).

19. Из того, что Эдвин Друд спрашивает сам по себе, невозможно заключить, кто же является волшебником. Но если использовать не только его вопрос, но и ранее заданные вопросы, то задача становится вполне разрешимой!

Прежде всего из вопроса Эдвина Друда следует, что волшебник должен принадлежать к типу А. В самом деле, предположим, например, что Эдвин относится к типу А; тогда правильным ответом на его вопрос будет «да». Поэтому и он, и волшебник фактически должны принадлежать к одному и тому же типу, а значит, волшебник тоже должен относиться к типу А. С другой стороны, предположим, что Эдвин относится к типу В. Тогда правильным ответом на его вопрос окажется «нет», откуда следует, что волшебник не может принадлежать к тому же типу, что и Эдвин. Но поскольку Эдвин относится к типу В, а волшебник к этому типу не принадлежит, то волшебник опять-таки должен относиться к типу А. Итак, мы доказали, что волшебник принадлежит к типу А. Далее, как мы установили при решении задачи 17, волшебник вполне мог бы спросить, не является ли волшебником Чарльз Мэнсфилд. Но поскольку волшебник принадлежит к типу А, то правильным ответом на этот вопрос является «да». Следовательно, волшебником должен быть Чарльз Мэнсфилд!

Призовая задача. Я уже рассказывал вам, что Арнольд, Томас и Уильям в конце концов единодушно согласились с тем, что жизнь вне стен лечебницы для душевнобольных оказалась еще более безумной, чем в чем в ней самой. Поэтому так как Томас согласен с Арнольдом и Уильямом, которые лишены рассудка, то и сам Томас также должен оказаться безумным.

Остров Сновидений

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

К тому же оказывается, что все жители острова делятся на две категории: они бывают дневного и ночного типа. Отличительная особенность островитянина дневного типа состоит в следующем: все то, во что он верит во время своего бодрствования, является истинным, а все то, о чем он думает, пока спит, оказывается ложным. Обитатель же острова, относящийся к ночному типу, представляет собой полную его противоположность: все то, в чем убежден такой островитянин, пока он спит, является истинным, а все то, во что он верит во время своего бодрствования, оказывается ложным.

1. Как-то один из островитян решил, что он относится к дневному типу. Можно ли как-нибудь проверить, было ли его убеждение правильным? Возможно ли определить, бодрствовал он в этот период или спал?

2. В другом случае один островитянин посчитал, будто он в данный момент спит. Можно ли проверить правильность его суждения? Можно ли определить, к какому он типу принадлежит?

3. а) Верно ли, что мнение островитянина по поводу того, относится ли он к дневному, или ночному типу, никогда не меняется?

б) Верно ли, что представление островитянина о том, бодрствует ли он в данный момент или спит, никогда не меняется?

4. Как-то одна из жительниц острова решила, что она либо спит, либо относится к ночному типу, либо имеет место и то и другое сразу. («Либо» в данном случае означает по крайней мере одну или, быть может, обе возможности.)

Можем ли мы определить, спала она или бодрствовала в данный момент? Можем ли мы также выяснить, к какому типу принадлежит эта обитательница острова?

5. Как-то один островитянин посчитал, будто он спит и относится к дневному типу. Что можно сказать о нем на самом деле?

6. На острове живет супружеская пара по фамилии Калп. В какой-то момент мистер Калп счел, что он вместе со своей женой принадлежит к ночному типу. В то же самое время миссис Калп сочла, что оба они не принадлежат к ночному типу. При этом оказалось, что один из них в этот момент бодрствовал, а другой спал.

Кто же из них бодрствовал?