Как называется этот раздел?

Когда в конце XIX в. в математической теории множеств были получены странные результаты, которые, по-видимому, порождали неразрешимые парадоксы, математики стали относиться к такой необходимости доказательства отсутствия противоречий в своей области более серьезно. Многие из таких парадоксов придумал британский философ Бертран Рассел. Он поставил перед математическим сообществом задачу о множестве всех множеств, собственными элементами которых не являются они сами. Вопрос сводился к тому, является ли это новое множество элементом самого себя. Множество может быть его элементом, только если оно не содержит само себя в качестве элемента. Но, как только мы вводим это множество в число его же элементов, оно (конечно же) внезапно становится множеством, содержащим само себя в качестве элемента. Черт! Парадокс казался неразрешимым, и в то же время такая конструкция была не столь уж отлична от тех множеств, которыми математики могли заниматься всерьез.

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

Из всех примеров таких парадоксов мне, наверное, больше всего нравится загадка об описании чисел. Представьте себе, что вы рассматриваете все числа, которые можно определить, используя менее 20 слов, взятых из «Оксфордского словаря английского языка»[113]. Например, число 1729 можно определить как «наименьшее число, которое может быть записано в виде суммы двух кубов двумя разными способами». Поскольку Оксфордский словарь содержит конечное количество слов, а мы можем использовать не более 20 слов, определить таким образом все числа невозможно, так как количество чисел бесконечно, а количество фраз, содержащих менее 20 слов, конечно. Поэтому должно существовать число, определяемое как «наименьшее число, которое невозможно определить, используя менее двадцати слов из Оксфордского словаря». Но погодите… Я ведь только что определил его, использовав менее 20 слов. Черт!

Естественный язык легко порождает парадоксальные утверждения. Простое соединение слов в предложение не гарантирует ни осмысленности, ни истинности. Но придуманное Расселом множество всех множеств, которые не содержат самих себя, вызывало тревогу тем, что оно было очень близко к тем объектам, математические определения которых нам могут потребоваться. В конце концов математики придумали, как обойти эту парадоксальную ситуацию, – для этого потребовалось уточнить интуитивное представление о множестве, но вся эта история оставила после себя неприятный привкус. Сколько еще неожиданностей таится в глубинах здания математики? Когда в 1900 г. великого немецкого математика Давида Гильберта попросили выступить на Международном математическом конгрессе, он решил очертить 23 величайшие нерешенные задачи, с которыми предстояло иметь дело математикам ХХ в. Доказательство отсутствия в математике противоречий было вторым пунктом в его списке.

В своей речи Гильберт решительно провозгласил главную, по мнению многих, мантру математики: «Эта убежденность в разрешимости любой математической задачи является мощным стимулом для работника. Мы слышим внутри себя вечный зов. Вот задача. Найди ее решение. Ты можешь найти его при помощи чистого разума, ибо в математике не существует “ignorabimus”[114]». То есть в математике нет ничего такого, чего мы знать не можем. Смелое заявление.

Тем самым Гильберт давал отповедь разросшемуся в конце XIX в. движению, которое утверждало, что наши возможности понимания Вселенной ограниченны. В 1880 г., выступая в Берлинской академии наук, выдающийся физиолог Эмиль Дюбуа-Реймон очертил те семь загадок природы, которые, по его мнению, были непознаваемы, отнеся их к категории «ignoramus et ignorabimus»[115]. То, чего мы не знаем и никогда не будем знать.

В свете моих попыток понять, какие вопросы могут быть непознаваемыми, интересно сравнить мой список с семью загадками Дюбуа-Реймона:

1. Истинная природа вещества и силы.

2. Происхождение движения.

3. Происхождение жизни.

4. Кажущееся телеологическое устройство природы.

5. Происхождение простых ощущений.

6. Происхождение разума и языка.

7. Вопрос о свободе воли.

Дюбуа-Реймон считал, что пункты 1, 2 и 5 истинно трансцендентны. Первые два все еще в значительной степени составляют сущность вопросов, которые мы рассматривали на нескольких первых «рубежах». Телеологическое устройство природы относится к вопросу о том, почему Вселенная, по-видимому, так хорошо приспособлена для существования жизни, – и этот вопрос мучает нас до сих пор. Лучший из имеющихся у нас возможных ответов на него – это существование множественных вселенных. Последние три пункта были темой предыдущего «рубежа», на котором мы рассматривали пределы человеческого разума. Пожалуй, сколько-нибудь значительных успехов мы достигли только в разрешении загадки происхождения жизни. Несмотря на потрясающие успехи научного прогресса, достигнутые за последние сто лет, остальные шесть задач по-прежнему могут оказаться непознаваемыми, как и полагал Дюбуа-Реймон.

Но Гильберт не собирался включать математические утверждения в список загадок Дюбуа-Реймона. Тридцать лет спустя, 7 сентября 1930 г., когда Гильберт вернулся в свой родной Кенигсберг, чтобы получить звание его почетного гражданина, он закончил свою благодарственную речь следующим боевым кличем, обращенным к математикам:

«Ignorabimus» не существует ни для математиков, ни, по моему мнению, для естественных наук […] По моему мнению, истинная причина, по которой никому до сих пор не удалось найти неразрешимой задачи, состоит в том, что неразрешимых задач не существует. В противоположность нелепому «ignorabimus» наш лозунг утверждает: «Wir m?ssen wissen. Wir werden wissen»[116].

Однако Гильберт не знал о поразительном заявлении, которое было сделано на конференции, проходившей в том же самом Кенигсберге за день до этой церемонии. «Ignorabimus» все-таки существует в математике. 25-летний австрийский логик по имени Курт Гёдель доказал невозможность доказать, что математика не содержит противоречий. Он пошел даже дальше. В аксиоматической системе любой математики существуют истинные утверждения о числах, истинность которых невозможно доказать в рамках этой же аксиоматической системы. Лозунг Гильберта – «Wir m?ssen wissen. Wir werden wissen» – в конце концов занял подобающее ему место на надгробии самого Гильберта. А математике пришлось иметь дело с тем фактом, что и в ней существуют загадки, которые мы никогда не сможем разгадать.