Принцесса или тигр?

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

На допросе А сообщил, что В находится в здравом уме, а В показал, что А лишился рассудка. Одновременно А заявил, что В является упырем, а В в свою очередь стал уверять, что А — человек.

Что можно сказать по поводу личностей А и В?

12. Два трансильванских философа.

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

Пусть мы имеем двух трансильванских близнецов, о которых известно что один из них является находящимся в здравом уме человеком, а другой — лишившимся рассудка упырем. Допустим, что вы встречаете одного из них и хотите выяснить, кто же он такой. Можно ли выяснить это с помощью определенного числа вопросов, требующих ответа «да» или «нет»? Первый философ утверждал, что не существует такого набора вопросов, с помощью которых это можно было бы сделать, поскольку на любой поставленный вопрос каждый из близнецов должен дать тот же самый ответ, что и его брат. В самом деле, пусть имеется вопрос, правильный ответ на который гласит «да». В этом случае нормальный человек, зная, что ответом на поставленный вопрос является «да», правдиво ответит «да». В то же время упырь, лишившийся рассудка, будет считать, что правильным ответом является «нет», и поскольку он всегда лжет, то также ответит на поставленный вопрос словом «да». Подобным же образом, если правильным ответом на поставленный вопрос окажется «нет», то нормальный человек так и ответит «нет», а упырь, находящийся не в своем уме, вообразив, что правильным ответом является «да», солжет и также скажет «нет». Следовательно, различить братьев с точки зрения их внешнего вербального[4] поведения не представляется возможным, несмотря на то, что их головы будут работать совершенно по-разному. «Таким образом, — утверждает первый философ, — не существует вопросов, с помощью которых можно установить, кем же являются близнецы на самом деле (разве что, может быть, с помощью детектора лжи)».

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

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

1) Каково наименьшее число вопросов, которое нужно задать одному из близнецов?

2) И что еще интереснее, где кроется ошибка в рассуждениях первого философа?

Решения

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