А ну-ка, догадайся!

_{Судьи пришли в не меньшее замешательство, чем крокодил. Если они не повесят этого человека, то это будет означать, что он солгал, и его надлежит повесить.}

_{Если же они повесят его, то он не солгал и его необходимо пропустить.}

_{Чтобы разрешить свои сомнения, судьи отправили человека к губернатору. После долгих размышлений губернатор объявил свое решение.}

Парадокс с повешением приведен в главе 51 второй книги романа Сервантеса «Дон Кихот». Слуга Дон Кихота Санчо Панса становится губернатором острова и при вступлении на свой высокий пост клянется соблюдать все законы. Владелец одного поместья на острове издал закон, по которому всякий, проходящий по некоему мосту, должен объявить под присягой, куда и зачем он следует. Того, кто скажет правду, по закону надлежит пропускать, а того, кто солжет, — отправлять на стоящую неподалеку виселицу. Когда к Санчо Пансо приводят человека, утверждающего, будто он пришел за тем, чтобы быть повешенным, новоявленный губернатор решает казусное дело, сообразуясь с милосердием и здравым смыслом.

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

Если высказанное утверждение понимать во втором смысле, то любое решение судей противоречит закону.

_{Знаменитый парадокс брадобрея был предложен Бертраном Расселом. Прочитайте внимательно объявление, вывешенное владельцем парикмахерской. Кто бреет брадобрея?}

_{Если брадобрей бреется сам, то он принадлежит множеству тех жителей города, кто бреется сам.}

_{Но в объявлении утверждается, что наш брадобрей никогда не бреет тех, кто входит в это множество. Следовательно, наш брадобрей не может брить самого себя.}

_{Если же брадобрея бреет кто-нибудь другой, то он принадлежит к числу тех, кто не бреется сам.}

_{Но в объявлении сказано, что он бреет всех, кто не бреется сам.}

_{Следовательно, никто другой не может брить нашего брадобрея.}

_{Похоже, что его не может брить никто!}

Бертран Рассел предложил парадокс брадобрея, чтобы облечь в более наглядную форму знаменитый парадокс, обнаруженный им в теории множеств. Некие математические конструкции приводят к множествам, которые включают себя в качестве одного из своих членов. Например, множество, содержащее все, что не является яблоком, само не является яблоком и, следовательно, должно содержать себя в качестве одного из членов. Рассмотрим теперь множество всех множеств, не содержащих себя в качестве одного из членов. Содержит ли оно себя? Как бы вы ни ответили на этот вопрос, вам не удастся избежать противоречия.

С этим парадоксом связан один из наиболее драматических моментов в истории логики. Знаменитый немецкий логик Готлоб Фреге завершил второй том своих «Оснований арифметики», над которым работал всю жизнь. В этом фундаментальном труде Фреге изложил непротиворечивую теорию множеств, которая могла бы послужить основанием для всей математики. Рукопись находилась уже в типографии, когда Фреге получил от Рассела письмо (дело происходило в 1902 г.), в котором Рассел сообщал об открытом им парадоксе. Теория множеств, развитая Фреге, допускала образование множества всех множеств, которые не содержат себя. Но, как явствовало из письма Рассела, это, казалось бы, не таившее никаких опасностей множество было внутренне противоречивым. Фреге не оставалось ничего другого, как дописать к своему труду краткое приложение, которое начиналось словами:

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

Использованное Фреге слово «нежелательное» неоднократно приводилось как наиболее яркий пример глубокого непонимания в истории математики.

Мы рассмотрим еще несколько парадоксов того же типа, что и парадокс брадобрея, и упомянем о различных подходах к их разрешению. Одно из возможных решений парадокса Рассела состоит в признании того, что определение «множество всех множеств, которые не содержат себя» не задает этого множества.

Более радикальное решение состоит в том, чтобы запретить в теории множеств рассматривать множества, содержащие себя.

_{Что вы скажете об астрологе, составляющем гороскопы тем и только тем астрологам, которые не составляют себе гороскопов сами? Кто составляет гороскоп такому астрологу?}

_{Что вы скажете о роботе, ремонтирующем те и только те роботы, которые не ремонтируют себя сами? Кто ремонтирует такой робот?}

_{А что вы скажете о каталоге, содержащем сведения о тех и только тех каталогах, которые не включают ссылок на самих себя? В каком каталоге можно найти ссылку на такой каталог?}

Все это — различные варианты парадокса Рассела.

В каждом случае множество S по определению содержит те и только те объекты, которые не находятся в определенном отношении R к себе. Парадокс становится очевидным при попытке ответить на вопрос, принадлежит ли множество S самому себе. Приведем еще три классические вариации на эту тему.

1. Парадокс Греллинга назван в честь открывшего его немецкого математика Курта Греллинга. Разделим все прилагательные на два множества: самодескриптивные, обладающие тем свойством, которое они выражают, и несамодескриптивные. Такие прилагательные, как «многосложное», «русское» и «видимое», принадлежат к числу самодескриптивных, а такие прилагательные, как «односложное», «немецкое» и «невидимое», — к числу несамодескриптивных. К какому из двух множеств принадлежит прилагательное «несамодескриптивнсе»?

2. Парадокс Берри назван в честь библиотекаря Оксфордского университета Дж. Дж. Берри, который сообщил его Расселу. В парадоксе Берри речь идет о «наименьшем целом числе, которое не может быть задано менее чем тринадцатью словами». Выражение, взятое в кавычки, содержит 12 слов. Какому множеству принадлежит определяемое им выражение: множеству целых чисел, которые на русском языке задаются менее чем 13 словами, или множеству целых чисел, задаваемых на русском языке 13 и более словами? Любой из двух ответов приводит к противоречию.