Принцесса или тигр - Смаллиан Р.М.
Скачать (прямая ссылка):
но, поскольку по условию островитянин принадлежит к типу А.) Однако если принять, что Томас сошел с ума и что островитянин относится к типу А, то житель острова вполне мог бы, следуя законам острова Вопрошаек, спросить Томаса, лишился ли он рассудка (поскольку правильным ответом на этот вопрос было бы «да»). Итак, предположение о том, что Томас сошел с ума, также приводит нас к противоречию.
Поэтому единственный способ избежать противоречия— это предположить, что островитянин должен относиться не к типу А, а к типу В; в этом случае никаких противоречий не возникает, независимо от того, находится ли Томас в здравом уме или он лишился рассудка.
13. Покажем, что эпизод, о котором рассказал Уильям, никак не мог иметь место в действительности. Поэтому Уильям, который уверен, будто это произошло на самом деле, обязательно должен оказаться безумным.
Итак, пусть подобная история и в самом деле имела место—в этом случае мы сразу приходим к противоречию. Действительно, предположим поначалу, что Томас— нормальный человек. Тогда его утверждения верны, откуда следует, что Хал вполне мог спросить Томаса, считает ли тот, будто Хал принадлежит к типу
В. Но в соответствии с решением задачи 11 из этого следует, что Томас лишился рассудка! А это противоречит предположению, что Томас — нормальный человек. С другой стороны, допустим, что Томас сошел с ума. Тогда его утверждения ошибочны, и, следовательно, Хал никак не мог бы спросить Томаса, считает ли он, будто Хал относится к типу В. Но, как мы видели в задаче 11, жит'ель острова вполне может спросить человека, лишившегося рассудка, считает ли он, что сам островитянин принадлежит к типу В. Итак, в этом случае мы вновь приходим к противоречию.
Единственный способ избежать противоречия — это принять, что Томас никогда не задавал такой вопрос ни одному островитянину, а Уильям просто вообразил себе, будто Томас это сделал.
14. Здесь могут сработать самые разные вопросы; мне больше всего нравится такой: «Отношусь ли я к людям,
которые могут спросить, имеется ли на этом острове волшебник?»
Предположим, что тот, кто спрашивает, принадлежит к типу А. Тогда правильным ответом на его вопрос является «да». Человек, задающий вопрос, вполне может спросить, имеется ли на острове волшебник. Поскольку этот человек принадлежит к типу А, то он может спросить, имеется ли на острове волшебник только в том случае, если на острове в самом деле есть волшебник (с тем, чтобы правильным ответом оказалось бы «да»). Таким образом, если спрашивающий принадлежит к типу А, то на острове непременно должен быть волшебник.
Предположим теперь, что тот, кто спрашивает, относится к типу В. Тогда правильным ответом на его вопрос будет «нет», а это означает, что он не может спросить, имеется ли на острове волшебник. Далее, если бы на острове волшебника не было, то человек, задавший подобный вопрос (так как он принадлежит к типу В), вполне мог бы спросить, имеется ли на острове волшебник (поскольку правильным ответом в таком случае являлось бы «нет»). Однако поскольку островитянин не может (как мы убедились) задать этот вопрос, то отсюда следует, что на острове действительно должен быть волшебник. Тем самым доказано, что если человек, задающий вопрос, принадлежит к типу В, то на острове имеется волшебник. Итак, независимо от того, принадлежит спрашивающий к типу А или к типу В, на острове обязательно должен оказаться волшебник.
15. Конечно же, нет!
16. Единственный вывод, который можно сделать,— это то, что Бернард Грин не является волшебником (на основании тех же рассуждений, что и при решении задачи 14).
17. Единственный вывод, который можно сделать,— это то, что волшебник принадлежит к людям, которые могли бы спросить, волшебник ли Чарлз Мэнсфилд. (Напомним, что, как мы выяснили при решении задачи
81
11, в случае, если островитянин спрашивает: «Принадлежу ли я к людям, которые могли бы спросить, имеет ли место какое-либо утверждение?», то это утверждение обязательно должно оказаться истиной.)
18. Все, что мы можем сказать,— это то, что Дэниел Мотт не является волшебником (потому что волшебник не может спросить, относится ли он сам к типу В; ведь на самом деле никто не может спросить, относится ли он к типу В).
19. Из того, что Эдвин Друд спрашивает сам по себе, невозможно заключить, кто же является волшебником. Но если использовать не только его вопрос, но и ранее заданные вопросы, то задача становится вполне разрешимой!
Прежде всего из вопроса Эдвина Друда следует, что волшебник должен принадлежать к типу А. В самом деле, предположим, например, что Эдвин относится к типу А; тогда правильным ответом на его вопрос будет «да». Поэтому и он, и волшебник фактически должны принадлежать к одному и тому же типу, а значит, волшебник тоже должен относиться к типу А. С другой стороны, предположим, что Эдвин относится к типу В. Тогда правильным ответом на его вопрос окажется «нет», откуда следует, что волшебник не может принадлежать к тому же типу, что и Эдвин. Но поскольку Эдвин относится к типу В, а волшебник к этому типу не принадлежит, то волшебник опять-таки должен относиться к типу А.
