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

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

Условие С. У каждого обитателя лечебницы имеется близкий друг. При этом для любых двух обитателей А и В справедливо следующее утверждение: если А считает, что В является оригиналом, тогда близкий друг этого А полагает, что В — пациент.

Вскоре после этого открытия инспектор Крейг решил в частном порядке побеседовать с больничным руководством в лице доктора Смолля и профессора Перро. Разговор с первым из них протекал так.

Крейг. Скажите, доктор Смолль, все ли врачи в вашей больнице в здравом уме?

Смолль. Я в этом абсолютно уверен.

Крейг. А как обстоят дела с пациентами? Все ли они безумны?

Смолль. По крайней мере один из них.

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

Затем Крейг побеседовал с профессором Перро; на этот раз разговор протекал следующим образом.

Крейг. Доктор Смолль утверждает, что по крайней мере один из здешних пациентов безумен. Это правда, не так ли?

Профессор Перро. Конечно, правда. Все пациенты тут безумны! Чем же мы руководим, по-вашему?

Крейг. А как обстоят дела с врачами? Все ли они нормальны?

Профессор Перро. По крайней мере один из них нормален

Крейг. А что вы скажете о докторе Смолле? Он-то хоть нормален?

Профессор Перро. Ну, разумеется! Как вы смеете задавать мне такой вопрос?

Только в этот момент Крейг осознал весь ужас положения! В чем же он заключался?

(Те, кто читал рассказ Эдгара Аллана По «Система доктора Смолля и профессора Перро», по всей видимости, догадаются, в чем дело, еще до того, как сумеют доказать правильность найденного решения; см. также примечание в конце этой главы.)

Решения

1. Докажем, что либо Джонс, либо Смит (правда, не известно, кто именно) должен оказаться либо лишенным рассудка врачом, либо пациентом, находящимся в здравом уме (правда, мы вновь не знаем, кем именно).

Так, например, Джонс может оказаться либо безумцем, либо нормальным человеком. Предположим сначала, что он находится в здравом уме. Тогда его утверждения истинны и, следовательно, Смит на самом деле является врачом. Далее, если Смит лишился рассудка, то это значит, что он является врачом, лишившимся рассудка. Если же Смит находится в здравом уме, тогда его ответ будет истинным; это в свою очередь означает, что Джонс является пациентом, и притом нормальным (поскольку мы предположили, что Джонс находится в здравом уме). Тем самым доказано, что если Джонс находится в здравом уме, тогда либо он является находящимся в здравом уме пациентом, либо Смит оказывается лишившимся рассудка врачом.

Предположим теперь, что Джонс безумен. Тогда его суждения неверны, откуда следует вывод, что Смит является пациентом. При этом, если Смит не лишился рассудка, то он будет пациентом, находящимся в здравом рассудке. Если же Смит безумен, его суждения ложны; это означает, что Джонс должен быть врачом, причем врачом, лишившимся рассудка. В свою очередь это доказывает, что если Джонс безумен, то либо он является лишившимся рассудка врачом, либо Смит должен быть находящимся в здравом уме пациентом.

Подведем итоги: если Джонс нормальный человек, то либо он находящийся в здравом уме пациент, либо Смит является лишившимся рассудка врачом. Если же Джонс безумен, тогда либо он лишившийся рассудка врач, либо Смит должен быть находящимся в здравом уме пациентом.


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

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


3. Одним из подходящих для данного случая утверждений является, например, такое: «Я — лишившийся рассудка пациент». В самом деле, пациент, находящийся в здравом уме, не может придерживаться ложного убеждения, будто он пациент, лишившийся рассудка. Лишившийся же рассудка пациент не может верить в то, что он является пациентом, лишившимся рассудка. Следовательно, говорящий являлся не пациентом, а врачом. В то же время врач, находящийся в здравом уме, никогда не станет считать, будто он — лишившийся рассудка пациент. Поэтому говорящий должен быть лишившимся рассудка врачом, который придерживается ложного убеждения в том, что он является лишившимся рассудка пациентом.


4. Говорящий считает, что он пациент. Если он нормальный человек, тогда он действительно будет пациентом. Таким образом, он — пациент, находящийся в здравом уме, и никак не должен оставаться в психиатрической больнице. Если же говорящий не в своем уме, тогда его суждение неверно: это означает, что он должен быть не пациентом, а врачом. Следовательно, он оказывается лишившимся рассудка врачом и тоже никак не может состоять в штате больницы. Правда, мы не можем наверняка сказать, кем же будет говорящий на самом деле — находящимся в здравом уме пациентом или безумным врачом; однако, конечно же, в любом случае в психиатрической больнице ему не место.


Еще от автора Рэймонд М Смаллиан
Алиса в Стране Смекалки

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


Как же называется эта книга?

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


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

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


Рекомендуем почитать
Математический аппарат инженера

Излагаются практически важные разделы аппарата современной математики, которые используются в инженерном деле: множества, матрицы, графы, логика, вероятности. Теоретический материал иллюстрируется примерами из различных отраслей техники. Предназначена для инженерно-технических работников и может быть полезна студентам ВУЗов соответствующих специальностей.


Снова кубик Рубика

Из журнала "Юный техник" №2, 1983 г.


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

Возможно, вам казалось, что вы далеки от математики, а все, что вы вынесли из школы – это «Пифагоровы штаны во все стороны равны». Если вы всегда думали, что математика вам не понадобится, то пора в этом разубедится. В книге «Математика «для гиков» Рафаэля Розена вы не только узнаете много нового, но и на практике разберете, что математикой полон каждый наш день – круглые крышки люков круглы не просто так, капуста Романеско, которая так привлекает наш взгляд, даже ваши шнурки, у которых много общего с вашей ДНК или даже ваша зависть в социальных сетях имеет под собой математические корни.После прочтения вы сможете использовать в разговоре такие термины как классификация Дьюи, Числа Фибоначчи, равновесие Нэша, парадокс Монти Холла, теория хаоса, подготовитесь к тексту Тьюринга, узнаете, как фильм получает Оскар, и что это за эффект бразильского ореха.


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

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


Жар холодных числ и пафос бесстрастной логики

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.


Странности цифр и чисел

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


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

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


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

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