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

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

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

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

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

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

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

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

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

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

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

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

262. Задача о Вселенной

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