Принцесса или тигр? - [20]

Шрифт
Интервал

1) В находится в здравом уме, В — человек;

2) В находится в здравом уме, В — упырь;

3) В лишился рассудка, В — человек;

4) В лишился рассудка, В — упырь.

В каждом из этих четырех случаев мы можем однозначно решить, является ли В личностью, заслуживающей доверия, или не является. Так в случае 1 В обязательно должен заслуживать доверия, причем независимо от того, являются ли утверждения, высказанные А, истинными или ложными. В самом деле, если оба они истинны, то В — нормальный человек и, конечно же, заслуживает доверия; если же оба этих высказывания ложны, то В — лишившийся рассудка упырь, и значит, опять-таки заслуживает доверия. С помощью совершенно аналогичных рассуждений можно показать, что в случае 4 В также должен заслуживать доверия. С другой стороны, в случаях 2 и 3 личность В непременно должна оказаться не заслуживающей доверия. Таким образом, из утверждений, высказанных А, мы всегда можем установить «надежность» личности В, то есть заслуживает она доверия или нет. Точно так же по двум высказываниям, сделанным В, мы в свою очередь вполне можем заключить, заслуживает ли доверия А. Теперь, уже зная «надежность» А и В, можно установить, какие же из заданных четырех высказываний являются истинными, а какие — ложными. Тем самым наша задача решается однозначно.

Можно еще заметить, что если бы А и В, вместо того, чтобы высказать по два утверждения о партнере, стали бы каждый высказывать конъюнкцию этих утверждений, то задача оказалась бы неразрешимой. Так, например, если бы вместо двух отдельных высказываний — «В находится в здравом уме» и «В — упырь» — А стал бы утверждать, что «В — упырь, находящийся в здравом уме», мы не сумели бы сделать никакого вывода относительно того, заслуживает ли В доверия или нет. Это связано с тем, что если высказывание А верно, то В действительно является находящимся в здравом уме упырем, однако же, если утверждение А ошибочно, то В может оказаться и упырем, лишившимся рассудка, и нормальным человеком, и человеком, сошедшим с ума.


12. Вполне достаточно лишь одного вопроса! Все, что вам требуется, это спросить одного из братьев: «Вы человек?» (С таким же успехом подошло бы «Вы в здравом уме?» или «Вы нормальный человек?») Итак, допустим, вашему собеседнику задан вопрос: «Вы человек?» При этом, если лицо, к которому вы обращаетесь, является человеком, находящимся в здравом уме, то естественным для него ответом на ваш вопрос будет «да». Допустим теперь, что лицо, которому задан вопрос, — это лишившийся рассудка упырь. Поскольку он свихнулся, то он будет ошибочно считать, что является человеком, но, кроме того, поскольку он еще и упырь, то вынужден будет солгать и скажет «нет». Следовательно, если в качестве ответа на поставленный вопрос вы услышите «да», то перед вами — нормальный человек, если же вам ответят «нет», то перед вами — упырь, лишившийся рассудка.

Несомненно, еще более любопытен вопрос о том, в чем же ошибка в рассуждениях первого философа. Так первый философ абсолютно прав в том, что если каждому из братьев вы зададите один и тот же вопрос, то услышите один и тот же ответ. Однако этот философ не сообразил, что если каждого из братьев в отдельности спросить: «Вы человек?», то это означает, что вы задаете не один, а два различных вопроса, поскольку данная фраза содержит многозначное слово «вы», значение которого существенно зависит от того, к кому именно обращен ваш вопрос! Поэтому, задавая один и тот же вопрос двум разным людям одними и теми же словами, вы на самом деле спрашиваете о разном.

Посмотрим на это еще так. Пусть нам известны имена обоих братьев: скажем, братца — человека, находящегося в здравом уме, — зовут Джон, а его близнеца — безумного упыря — зовут, к примеру, Джим. Тогда, если я спрошу каждого из братьев: «Джон — человек?», оба брата ответят мне утвердительно, поскольку я задаю один и тот же вопрос каждому из них. Аналогично, если я спрошу: «Джим — человек?», оба брата ответят мне: «Нет». Но если обоим братьям я задам вопрос: «Вы человек?», то в каждом случае это будут существенно разные вопросы.

Часть вторая. Головоломки и метаголоволомки

5. Остров Вопрошаек

Где-то в океанских просторах есть очень странный остров, известный как остров Вопрошаек. Назвали его так потому, что обитатели этого острова никогда не высказывают никаких утверждений; они лишь задают вопросы. Как же они ухитряются общаться между собой? Об этом чуть позднее.

Так вот, обитатели острова задают друг другу только те вопросы, на которые можно ответить словами «да» или «нет». При этом каждый из них относится к одному из двух типов — типу A или типу B. Обитатели типа А задают только такие вопросы, правильным ответом на которые является «да». Обитатели же, относящиеся к типу B, задают лишь вопросы, на которые правильным ответом является отрицание «нет». Например, житель типа А может спросить: «Равняется ли два плюс два четырем?» Но он никак не мог бы спросить, например, равняется ли два плюс два пяти или шести.


1. Предположим, вы встречаете жителя этого острова, и он спрашивает вас: «Принадлежу ли я к типу B?»


Еще от автора Рэймонд М Смаллиан
Как же называется эта книга?

Книга американского профессора Р. Смаллиана, написанная в увлекательной форме, продолжает серию книг по занимательной математике и представляет собой популярное введение в некоторые проблемы математической логики. Сюда входят более 200 новых головоломок, созданных необычайно изобретательным автором. Задачи перемежаются математическими шутками, анекдотами из повседневной жизни и неожиданными парадоксами. Завершает книгу замечательная серия беллетризованных задач, которые вводят читателя в самую суть теоремы Курта Гёделя о неполноте, — одного из замечательнейших результатов математической логики 20 века. Можно сказать — вероятно, самый увлекательный сборник задач по логике.


Алиса в Стране Смекалки

Рэймонд Смаллиан счастливо сочетает в одном лице философа, логика, математика, музыканта, фокусника, юмориста, писателя и составителя великолепных задач-головоломок. Искусный писатель и великолепный юморист, Смаллиан любит облекать свои задачи в литературную форму, нередко пародирующую какие-нибудь известные произведения. Делает он это настолько хорошо, что его книги, изобилующие всякого рода парадоксами, курьезами и задачами, с удовольствием читают и те, кто даже не пытается решать задачи.В книге, которую вы держите сейчас в руках, кэрролловская Алиса из Страны Чудес и ее друзья раскрывают перед читателем нескончаемую вереницу задач-головоломок.


Приключения Алисы в Стране Головоломок

Логические головоломки, парадоксы и курьезы, вошедшие в этот сборник, построены на материале знаменитой «Алисы в Стране Чудес» Л. Кэрролла. Известный американский математик и логик P.M. Смаллиан приглашает читателей последовать за Алисой в Страну Головоломок и вместе с ней решить множество увлекательных задач.


Рекомендуем почитать
Квантовый оптоэлектронный генератор

В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.


Стратегии решения математических задач

Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.


Вначале была аксиома. Гильберт. Основания математики

Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.


Симпсоны и их математические секреты

Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.


Истина и красота: Всемирная история симметрии

На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.


Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике.


Флатландия. Сферландия

Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.


Математические головоломки и развлечения

Книга известного американского популяризатора науки М. Гарднера содержит множество занимательных задач и головоломок из самых различных областей математики. Благодаря удачному подбору материла, необычной форме его подачи и тонкому юмору автора она не только доставит удовольствие любителям математики, желающим с пользой провести свой досуг, но и может быть полезной преподавателям математики школ и колледжей в их работе.