Но это то, во что верит Борк, и, следовательно, его суждение верно. Теперь, поскольку суждение Борка верно, он либо относится к дневному типу и в тот момент бодрствовал, либо принадлежит к ночному типу и в тот момент спал. Однако же и в том, и в другом случае он должен быть колдуном.
Поскольку Борк — колдун, то, значит, Орк в свою очередь колдуном не является. Стало быть, Орк не мог в тот момент бодрствовать и не мог принадлежать к дневному типу, поскольку мы установили, что если бы это оказалось именно так, то колдуном обязательно должен был быть он. Таким образом, Орк в тот момент находился во сне и, кроме того, он принадлежит к ночному типу. Следовательно, Борк в тот момент тоже находился во сне, а поскольку суждение Борка оказалось правильным, то, значит, Борк должен относиться к ночному типу. Итак, колдун относится к ночному типу.
11. Из того, что островитянин считал, будто он принадлежит к дневному типу и бодрствует, мы можем сделать лишь один вывод — что он не относился к ночному типу и не спал. При этом у нас имеются три возможности.
(1) Он принадлежал к ночному типу и бодрствовал (причем его суждения были ошибочными).
(2) Он принадлежал к дневному типу и спал (и его суждения были ошибочными).
(3) Он принадлежал к дневному типу и бодрствовал (и его суждения были правильными).
Предположим теперь, что я сообщил моему приятелю, к какому типу относится островитянин. Мог бы в таком случае мой приятель решить задачу? Так вот, это в огромной степени зависело бы от того, что именно я ему сказал. Если бы я сообщил ему, что островитянин относится к ночному типу, тогда он сразу понял бы, что вариант (1) является при этом единственно возможным, и поэтому тотчас же сообразил бы, что островитянин бодрствовал. С другой стороны, если бы я сказал ему, что островитянин принадлежит к дневному типу, то это сразу исключило бы вариант (1), но сохранило бы варианты (2) и (3), причем мой приятель никак не смог бы выяснить, какая же из этих двух возможностей имеет место в действительности. Таким образом, в последнем случае он не сумел бы решить задачу.
Вместе с тем мой друг вовсе не требовал от меня ответа на вопрос, к какому типу относится островитянин; он лишь спросил меня, смог бы он решить задачу, если бы я сообщил ему, к какому типу принадлежит данный житель острова. На самом деле, если бы островитянин принадлежал к дневному типу, то на вопрос приятеля я должен был бы ответить «нет» (потому что, как показано выше, если бы я сообщил ему, что островитянин принадлежит к дневному типу, то он вообще не смог бы решить задачу). В то же время если бы житель острова относился к ночному типу, то на вопрос приятеля я ответил бы «да» (потому что, как мы только что показали, если бы я сообщил ему, что островитянин относится к ночному типу, то мой приятель вполне мог бы решить задачу). Таким образом, поскольку мой друг знал, что островитянин относится к ночному типу и бодрствует, то, стало быть, я ответил ему «да».
12. Из того, что жительница острова полагала, будто она принадлежит к ночному типу и спит, мы можем сделать один-единственный вывод — что она не принадлежала к дневному типу и не бодрствовала. При этом у нас остаются три возможности:
(1) Она принадлежала к ночному типу и спала.
(2) Она принадлежала к ночному типу и бодрствовала.
(3) Она принадлежала к дневному типу и спала. Если бы на вопрос моего первого приятеля я ответил «да», он тотчас же догадался бы, что единственной возможностью решения задачи в таком случае является вариант (3) (рассуждая при этом совершенно аналогично тому, как это делалось при решении предыдущей задачи). Но поскольку он не сумел решить задачу, то, по всей видимости, я ответил ему «нет». Естественно, что этот ответ исключает из рассуждения вариант (3), и поэтому у нас остаются лишь варианты (1) и (2). Обратимся теперь к вопросу, который мне задал мой второй приятель. Если бы я ответил ему «да», то он сразу же сообразил бы, что единственной реальной возможностью решения задачи является вариант (2) (только этот вариант относится к случаю, когда обитательница острова бодрствует, в то время как варианты (1) и (3) могут иметь место лишь в случае, когда она спит). Поскольку второй приятель также не смог решить задачу, стало быть, я опять ответил ему «нет», а это сразу отбрасывает вариант (2). Итак, нам остается только вариант (I), который и имел место в действительности, — то есть, что жительница острова относилась к ночному типу и находилась ко сне. как она сама справедливо и полагала.
Подведем итоги: то, что мой первый приятель не сумел решить задачу, исключает из рассмотрения случай (3), а то, что ее не смог решить второй приятель, отбрасывает случай (2). Таким образом, нам остается только вариант (3), а именно что обитательница острова принадлежала к ночному типу и спала.
Эпилог. В начале этой главы я упоминал, будто бы весь этот остров мне приснился. Вместе с тем, если бы такого рода остров существовал на самом деле, то, значит, мне приснились бы истинные события. Поэтому, если бы я оказался одним из его обитателей, то меня следовало бы отнести к ночному типу.


Метаголоволомки

Последние две головоломки предыдущей главы (не считая эпилога) — образцы восхитительного класса задачек, которые мне хочется назвать метаголоволомками, или головоломками о головоломках. Например, нам предлагают головоломку без достаточного количества исходных данных, необходимых для ее решения, а потом сообщают, что кто-то еще либо смог, либо не смог решить эту задачу, воспользовавшись некоторой дополнительной информацией, но не всегда говорят, что же это была за информация.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69