Как же называется эта книга? (Смаллиан) - страница 124

Инспектор Крэг на миг задумался и внезапно понял, что Макснурд не очень силен в логике: в его истории концы не сходятся с концами. Почему?

Решение. В действительности эта задача представляет собой не что иное, как парадокс цирюльника в новом обличье.

Предположим, что рассказанная Макснурдом история соответствовала бы истине. Клуб, объединяющий всех неноминабельных членов общины, назван в честь какого-то члена общины, например в честь Джека. Будем называть этот клуб для краткости просто клубом Джека. Сам Джек может быть либо номинабельным, либо неноминабельным. И в том и в другом случае мы приходим к противоречию.

Предположим, что Джек номинабелен. Тогда Джек состоит в клубе Джека. Но состоять в клубе Джека могут только неноминабельные члены общины, и мы приходим к противоречию. С другой стороны, если Джек неноминабелен, то он является членом клуба неноминабельных членов общины. Значит, Джек является членом клуба Джека, объединяющего всех неноминабельных членов общины. Но тогда Джек должен быть номинабельным членом общины. Следовательно, мы и в этом случае приходим к противоречию.

261. Нет ли в общине тайного агента?

Однажды инспектор Крэг посетил другую общину, где встретил своего старого друга социолога Макснаффа. Крэг знал Макснаффа со студенческой скамьи (оба учились в Оксфорде) как человека, безукоризненно владеющего логикой. Макснафф рассказал Крэгу о своей общине следующее:

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

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

Итак, нет ли в общине тайных агентов?

Решение. Клуб всех подозрительных назван в честь кого-то из членов общины, например в честь Джона. Будем называть этот клуб в дальнейшем клубом Джона.

Сам Джон либо является членом клуба Джона, либо не является. Предположим, что он не состоит. Тогда Джон не может быть подозрительным (так как всякий подозрительный член общины является членом клуба Джона). Это означает, что Джон во всеуслышанье заявил о своем членстве в клубе Джона. Следовательно, если Джон не являтся членом клуба Джона, то Джон во всеуслышанье заявляет о своем членстве в клубе Джона, и мы приходим к противоречию. Значит, Джон должен являться членом клуба Джона. А поскольку каждый член клуба Джона подозрителен, то Джон должен быть подозрительным. Значит, Джон не объявил во всеуслышанье о своем членстве в клубе Джона и в то же время является членом клуба Джона. Следовательно, Джон тайный агент, или, попросту говоря, шпик!