Приключения Алисы в Стране Головоломок - Рэймонд М. Смаллиан

14. Гусеница и Ящерка Билль

Гусеница убеждена в том, что и она, и Ящерка Билль оба не в своем уме. Если бы Гусеница была в своем уме, то ее суждение о том, что оба они из ума выжили, было бы ложным. Раз так, то Гусеница (будучи в своем уме) вряд ли всерьез могла быть убеждена в таком ложном факте. Таким образом, Гусеница, должно быть, все же выжила из ума. Раз она не в своем уме, ее суждение превратно, и то, что они оба не в своем уме, попросту неправда. Это означает, что Ящерка должен быть в здравом рассудке. Таким образом, Гусеница не в своем уме, зато Ящерка Билль находится в здравом рассудке.

15. Повариха и Кот

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

Итак, повариха находится в здравом рассудке, а Чеширский Кот не в своем уме.

16. Лакей-Карась и Швейцар-Головастик

Из того что нам известно, мы не можем определить, в своем ли уме Лакей-Карась, зато мы можем доказать, что Швейцар-Головастик должен быть в здравом уме. Вот как это доказывается.

Существуют две возможности: либо Лакей-Карась в своем уме, либо из ума выжил. Мы докажем, что в любом из этих двух случаев Швейцар-Головастик должен быть в своем уме.

Предположим, Карась в своем уме. В этом случае все его суждения правильны и это означает, что он и Головастик действительно похожи, то есть Головастик, как и Карась, находится в здравом рассудке. Предположим обратное: Карась не в своем уме. Тогда все его суждения ошибочны и Головастик не такой, как он. Раз Карась не в своем уме, а Головастик совсем наоборот, то Головастик находится в здравом рассудке.

Таким образом, мы видим, что в любом случае (нормален ли Лакей-Карась или выжил из ума) Швейцар-Головастик находится в здравом уме.

Кстати, если бы Карась считал Головастика не абсолютно похожим на себя, а наоборот, абсолютно непохожим на себя, каким бы был тогда Головастик?

Ответ. Головастик в этом случае был бы не в своем уме. Предлагаю вам, читатель, самому поупражняться в доказательстве этого предположения.

17. Король и Королева Бубен

При таком раскладе невозможно, чтобы кто-то полагал, что он (или она) не в своем уме, поскольку тот, кто в своем уме, знал бы правду о том, что он нормален, а выживший из ума ошибочно полагал бы, что он также нормален. Поэтому Королева на самом деле вовсе не считает, что она не в своем уме. А вот Король действительно не в своем уме, ведь он уверен, что именно так она и считает.

Что касается Королевы, про состояние ее рассудка ничего сказать невозможно.

18. А как насчет небезызвестной троицы?

Предположим, что Шляпник в своем уме. В этом случае его суждение верно и Мартовский Заяц действительно не считает, что все трое в своем уме. Тогда Заяц должен быть в здравом уме, потому что, будь он не в своем уме, он обязательно был бы уверен в ложном суждении о том, что все трое в своем уме. Далее Соня: раз она считает, что Мартовский Заяц в здравом уме, то и она должна быть в здравом уме. Итак, мы имеем всех тро-

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

Раз Шляпник не в своем уме, то его суждение ложно, и поэтому Мартовский Заяц действительно считает, что все трое нормальны. Конечно же, Мартовский Заяц заблуждается (ведь Шляпник-то не в своем уме), а раз он заблуждается, то и он не в своем уме. Раз Соня убеждена, что Мартовский Заяц в своем уме, то и она не в своем уме. Таким образом, вся троица выжила из ума (что вовсе не удивительно!).

19. Грифон, Как-Бы-Черепаха и Омар

Начнем с того, что Грифон и Как-Бы-Черепаха должны быть в одинаковом положении, потому что Как-Бы-Черепаха считает, что Грифон в своем уме. Если Как-Бы-Черепаха в своем уме, то его суждение верно, что означает, что Грифон тоже в своем уме. Если же Как-Бы-Черепаха не в своем уме, то его суждение ложно, что означает, что Грифон на самом деле не в своем уме, а выжил из ума точно также, как и Как-Бы-Черепаха. Итак, мы выяснили, что Грифон и Как-Бы-Черепаха должны находиться в одинаковом положении.

Теперь я докажу, что Омар не в своем уме. Для начала предположим, что Омар в своем уме. Тогда его суждение правильно и Грифон действительно полагает, что ровно один из них троих в своем уме. Но это невозможно, поскольку, если Грифон в своем уме, то и Как-Бы-Черепаха (а также Омар) должны быть в своем уме, и тогда суждение о том, что ровно один из них в своем уме, становится ложным (ведь получается, что все трое в своем уме), а раз Грифон в своем уме, он не мог бы поверить в ложное суждение. Если же Грифон не в своем уме, то это правда, что ровно один из них в своем уме (а именно Омар, ведь Как-Бы-Черепаха тоже должна быть не в своем уме). Но тот, кто не в своем уме, не может быть убежден в истинном утверждении! Таким образом, предположение о том, что Омар в своем уме, приводит нас к противоречию. Стало быть, Омар не может быть в своем уме. Заключаем, таким образом, что Омар не в своем уме.

Итак, теперь мы знаем, что Омар не в своем уме. В этом случае неверно его утверждение о том, что Грифон полагает, будто ровно один из них троих в своем уме. Если Грифон не в своем

уме, тогда Как-Бы-Черепаха тоже не в своем уме, и это означало бы, что все трое не в своем уме, и тогда суждение о том, что ровно один из них в своем уме, является ложным. Это означает, что Грифон, будучи не в своем уме, должен быть убежден во всех ложных суждениях — и в частности, в том, что ровно один из них находится в здравом рассудке, но мы уже доказали, что он так не думает. Мы пришли к противоречию. Следовательно, Грифон не может быть не в своем уме. Раз так, то Грифон в своем уме, и Как-Бы-Черепаха (ведь он такой же, как Грифон) также должен быть в своем уме.

Итак, решение задачи в том, что Омар не в своем уме, Грифон же и Как-Бы-Черепаха оба вполне в здравом рассудке.

20. А что же Король и Королева?

Королева (Пик) уверена, что Король уверен, что она не в своем уме. Если она в своем уме, тогда Король действительно уверен, что она не в своем уме, что означает, что Король должен быть не в своем уме. Если же она не в своем уме, то Король на самом деле вовсе не уверен, что она не в своем уме, но если бы он был в своем уме, он именно в этом и был бы уверен. Так что и в этом случае Король снова оказывается не в своем уме. Таким образом, в любом из двух случаев Король должен быть не в своем уме. Что касается Королевы, то мы не можем сказать, в своем она уме или нет — оба варианта вполне возможны!