Инспектору Крейгу этот случай представляется особенно интересным, хотя раскрыть его оказалось весьма нелегко. Первое, с чем столкнулся инспектор в этой больнице, было то обстоятельство, что ее обитатели любили объединяться в различные комитеты. При этом, как разузнал Крейг, членами комитета могли быть, с одной стороны, как врачи, так и пациенты, а с другой — как люди в здравом уме, так и лишившиеся рассудка. Далее Крейгу удалось выяснить следующие обстоятельства:
1. Все пациенты объединены в один комитет.
2. Все доктора также объединены в один комитет.
3. У каждого обитателя этой лечебницы имеется несколько приятелей, один из которых является его близким другом. К тому же у каждого обитателя лечебницы существует несколько недругов, один из которых является его злейшим врагом.
4. Для любого комитета С справедливо условие: все обитатели, чьи лучшие друзья входят в С, образуют комитет; все обитатели, чьи злейшие враги входят в С, также образуют комитет.
5. Для любых двух комитетов, скажем комитета 1 и комитета 2, существует по крайней мере один обитатель лечебницы D, у которого лучший друг считает, что D входит в комитет 1, а его злейший враг полагает, что D состоит в комитете 2.
Сопоставив все эти факты, Крейг весьма остроумным способом сумел доказать, что либо один из врачей лишился рассудка, либо один из пациентов находится в и здравом уме. Как инспектор догадался об этом?
11. Еще одно затруднение.
Крейг несколько задержался в описываемой лечебнице, поскольку его склонность к теоретическим рассуждениям и тут не дала инспектору покоя — внимание его привлекло еще несколько неясных вопросов. Например, ему было крайне любопытно узнать, объединялись ли все здравомыслящие обитатели лечебницы в один комитет, а также образовывали комитет те обитатели лечебницы, которые лишились рассудка. Не будучи в состоянии ответить на эти вопросы и исходя из условий 1–5 предыдущей задачи, он все же сумел доказать — причем лишь на основании условий 3, 4 и 5,— что обе эти группы не могут образовывать комитеты. Каким образом он это сделал?
12. Новое осложнение все в той же десятой лечебнице.
В конце концов Крейг сумел доказать еще одно утверждение, относящееся к обитателям этой больницы. Инспектор посчитал его весьма важным — ведь фактически оно позволило упростить решения двух последних задач. Само это утверждение заключалось в том, что для любых двух комитетов, комитета 1 и комитета 2, всегда должны найтись два обитателя Е и F, такие, что Е считает, будто F является членом комитета 1, а F полагает, будто Е состоит членом комитета 2. Каким образом Крейг доказал это утверждение?
13. Лечебница доктора Смолля и профессора Перро.
Однако с самыми большими странностями инспектор Крейг столкнулся в последней лечебнице, которую ему довелось посетить. Лечебницей этой руководили два известных врача — доктор Смолль и профессор Перро; кроме них в штате состояло еще несколько врачей. При этом здесь неукоснительно придерживались следующих правил. Если обитатель лечебницы считал, что он является пациентом, то его называли чудаком. Если же все пациенты считали, что данный обитатель чудак, а ни один из врачей его за чудака не принимал, то такого обитателя больницы было принято именовать оригиналом. Вдобавок Крейгу удалось выяснить еще два обстоятельства: 1) по крайней мере один из обитателей больницы был вполне нормальным и 2) во всей лечебнице строго выполнялось следующее условие:
Условие С. У каждого обитателя лечебницы имеется близкий друг. При этом для любых двух обитателей А и В справедливо следующее утверждение: если А считает, что В является оригиналом, тогда близкий друг этого А полагает, что В — пациент.
Вскоре после этого открытия инспектор Крейг решил в частном порядке побеседовать с больничным руководством в лице доктора Смолля и профессора Перро. Разговор с первым из них протекал так.
Крейг. Скажите, доктор Смолль, все ли врачи в вашей больнице в здравом уме?
Смолль. Я в этом абсолютно уверен.
Крейг. А как обстоят дела с пациентами? Все ли они безумны?
Смолль. По крайней мере один из них.
Крейга поразил последний ответ — уж очень он был осторожным. Конечно, если все больные в лечебнице лишены рассудка, то утверждение, что хоть один из них безумен, представляет собой несомненную истину. Но почему доктор Смолль был так сдержан в своем утверждении?
Затем Крейг побеседовал с профессором Перро; на этот раз разговор протекал следующим образом.
Крейг. Доктор Смолль утверждает, что по крайней мере один из здешних пациентов безумен. Это правда, не так ли?
Профессор Перро. Конечно, правда. Все пациенты тут безумны! Чем же мы руководим, по-вашему?
Крейг. А как обстоят дела с врачами? Все ли они нормальны?
Профессор Перро. По крайней мере один из них нормален
Крейг. А что вы скажете о докторе Смолле? Он-то хоть нормален?
Профессор Перро. Ну, разумеется! Как вы смеете задавать мне такой вопрос?
Только в этот момент Крейг осознал весь ужас положения! В чем же он заключался?
(Те, кто читал рассказ Эдгара Аллана По «Система доктора Смолля и профессора Перро», по всей видимости, догадаются, в чем дело, еще до того, как сумеют доказать правильность найденного решения; см. также примечание в конце этой главы.)
Решения
1. Докажем, что либо Джонс, либо Смит (правда, не известно, кто именно) должен оказаться либо лишенным рассудка врачом, либо пациентом, находящимся в здравом уме (правда, мы вновь не знаем, кем именно).
Так, например, Джонс может оказаться либо безумцем, либо нормальным человеком. Предположим сначала, что он находится в здравом уме. Тогда его утверждения истинны и, следовательно, Смит на самом деле является врачом. Далее, если Смит лишился рассудка, то это значит, что он является врачом, лишившимся рассудка. Если же Смит находится в здравом уме, тогда его ответ будет истинным; это в свою очередь означает, что Джонс является пациентом, и притом нормальным (поскольку мы предположили, что Джонс находится в здравом уме). Тем самым доказано, что если Джонс находится в здравом уме, тогда либо он является находящимся в здравом уме пациентом, либо Смит оказывается лишившимся рассудка врачом.
Предположим теперь, что Джонс безумен. Тогда его суждения неверны, откуда следует вывод, что Смит является пациентом. При этом, если Смит не лишился рассудка, то он будет пациентом, находящимся в здравом рассудке. Если же Смит безумен, его суждения ложны; это означает, что Джонс должен быть врачом, причем врачом, лишившимся рассудка. В свою очередь это доказывает, что если Джонс безумен, то либо он является лишившимся рассудка врачом, либо Смит должен быть находящимся в здравом уме пациентом.
Подведем итоги: если Джонс нормальный человек, то либо он находящийся в здравом уме пациент, либо Смит является лишившимся рассудка врачом. Если же Джонс безумен, тогда либо он лишившийся рассудка врач, либо Смит должен быть находящимся в здравом уме пациентом.
2. У этой задачи много решений. Простейшее из тех, что я смог придумать, заключается в том, чтобы обитатель больницы заявил: «Я не врач, обладающий здравым умом». Тогда говорящий должен быть находящимся в здравом уме пациентом. Мы можем доказать это следующим образом.
