Если суть шутки состоит в неожиданных выводах, то парадокс Банаха — Тарского — самая смешная теорема в математике.
В конце 1970-х, когда мне было около восьми лет, мы перешли на уроках математики от чисел к множествам. Я хорошо помню, как это происходило. Овал с несколькими точками олицетворял собой одно множество, а второй овал с несколькими точками — другое множество. Нам следовало соединить точки одного множества с точками другого, что показывало, в каком множестве больше точек. Я так и не понял, в чем смысл этих упражнений, и мне кажется, учителя тоже не понимали. Примерно через год на уроках перестали говорить о множествах, и я снова встретился с ними уже на втором курсе университета. Если вы учились в школе в 60-х, 70-х или 80-х годах XX века, вполне вероятно, что вас тоже кратко знакомили с теорией множеств. Присутствие этой дисциплины в учебной программе связано с именем Николя Бурбаки, самого плодовитого математика ХХ столетия.
В 1939 году Бурбаки опубликовал свою первую книгу из масштабной серии под названием Éléments de Mathématique («Начала математики»). «В прошлом считалось, что каждый раздел математики зависит от интуитивных знаний в этой области, на которых основаны концепции и истины, — писал он. — Однако в наши дни, как известно, можно, логически говоря, вывести практически всю человеческую математику из одного источника — теории множеств»[167]. Название этой серии содержало отсылку к Евклиду. Подобно тому как труд Евклида «Начала» формализовал математические знания древних греков в рамках системы аксиом, основанной на свойствах точек и линий, «Начала математики» Бурбаки формализовали современные математические знания в рамках аксиоматической системы, построенной на свойствах множеств. Выбор слова mathématique (в единственном числе, в отличие от английского mathematics) подчеркивал убежденность Бурбаки в единстве этой области знаний. Серия «Начала математики» состояла из десятков книг общим объемом около 7000 страниц, причем не только по теории множеств, но и по таким дисциплинам, как алгебра, математический анализ и топология. Кроме того, Бурбаки была свойственна одна отличительная особенность, которая делала его уникальным среди современников. Такого человека не существовало.
В начале 30-х годов ХХ века несколько молодых французских математиков пришли к выводу, что университетские учебники устарели, и решили вместе написать новые. Они взяли для своей группы псевдоним Николя Бурбаки, по имени Шарля Дени Бурбаки — французского генерала, который в 1862 году отказался от греческого престола, а после унизительного поражения во Франко-прусской войне пытался застрелиться, но промахнулся. Ученые, вошедшие в состав этой группы, заявили о том, что Николя Бурбаки родом из Полдавии — страны, которая упоминается в книге о приключениях Тинтина The Blue Lotus[168][169]. Группа приняла кодекс секретности и ввела возрастное ограничение 50 лет. Подобно польским математикам, собиравшимся в Шотландском кафе во Львове примерно в тот же период, входившие в группу Бурбаки ученые получали удовольствие, смешивая веселье и науку. Во время одной из регулярных встреч в сельской местности несколько членов группы отправились к местному озеру и, раздевшись донага, прыгали в воду с криками «Бурбаки!»[170]
Однако подход Бурбаки к математике был совершенно серьезным. Группа разработала метод написания книг, согласно которому на создание одной книги требовалось несколько лет. После долгих дискуссий по поводу содержания каждого тома кто-то из членов группы составлял черновой вариант текста книги. На следующем собрании текст вычитывался буквально построчно, причем каждую строку должны были одобрить все члены группы. Стиль изложения материала тоже был уникальным. Цель всей серии книг состояла в том, чтобы вывести все из исходных принципов, не прибегая к каким бы то ни было физическим или геометрическим интуитивным данным. Иллюстрации не использовались, поскольку члены группы считали, что они могут вводить в заблуждение. «Строгость для математика — то же самое, что мораль для человека», — сказал один из основателей группы Андре Вейль. В книгах серии не было аналогий, отступлений, опущений, рисунков или упражнений для читателей. Требование об аксиоматической чистоте было настолько жестким, что в первой книге понадобилось две сотни страниц на определение числа 1, да и то в сокращенной форме. (В книге говорится, что на представление числа 1 в расширенной форме понадобилось бы много тысяч символов. В 1999 году британский специалист по теории множеств А. Р. Д. Матиас заявил, что на самом деле метод Бурбаки требует 4 523 659 424 929 символов и 1 179 618 517 981 связей между ними[171].)
У серии книг «Начала математики» была хорошо продуманная структура. Каждая книга могла содержать ссылки только на материал предыдущих книг и не должна была ссылаться на книги других авторов, что позволяло построить огромную логическую систему на основании лишь одной теории множеств. Хотя члены группы были очень молоды, все они уже добились значительных успехов в математике и самостоятельно опубликовали ряд работ. Андре Вейль, брат философа и общественного деятеля Симона Вейля, был, пожалуй, самым талантливым членом группы. В 1939 году, когда вышла первая книга серии «Начала математики», разразилась война, и Вейль уехал в Финляндию. Полиция произвела обыск в его квартире в Хельсинки и нашла там письмо, написанное по-русски (в котором шла речь исключительно о математике), и стопку визитных карточек, принадлежащих Николя Бурбаки, члену Королевской академии наук Полдавии. После этого Вейль был депортирован по обвинению в шпионаже. По возвращении во Францию его посадили в тюрьму за то, что он не явился для прохождения службы в армии. Но Вейлю понравилось сидеть в тюрьме. «Моя математическая работа продвигается лучше, чем в самых смелых мечтах, что меня немного беспокоит, — писал он жене. — Если я могу так хорошо трудиться только в тюрьме, не придется ли мне устраивать так, чтобы каждый год попадать сюда на два-три месяца?»
Вторая книга серии «Начала математики» вышла в свет в 1940 году, а третья — в 1942-м. После перерыва по причине войны в конце десятилетия было опубликовано еще несколько томов. Поскольку прежние члены группы достигли возрастного предела, в состав группы были включены новые члены. К 1950-м годам книги Бурбаки заняли доминирующие позиции в университетской математике во Франции и сохраняли за собой этот статус на протяжении следующих двух десятилетий. Эта математическая «секта» начала напоминать мафию, поскольку ее действующие и бывшие члены (в том числе ряд самых блестящих французских математиков) занимали высшие должности в университетах. После перевода книг Бурбаки на английский язык они оказали существенное влияние и на англоязычный мир.
Лучшее время для группы Бурбаки наступило в период эскалации холодной войны. Правительства стран Запада осознали, что им необходимо полностью изменить систему преподавания естественно-научных дисциплин, для того чтобы не отставать от Советского Союза, только что запустившего в космос первый спутник[172]. Идеология бурбакизма, гласившая, что абстрактные формальные системы важнее интуиции и решения задач, просочилась из университетов в школы. Политики и представители системы образования решили, что ответом на красную угрозу станет включение теории множеств в учебную программу. Преподавание математики было реорганизовано, в результате чего поколение школьников 1960-х и 1970-х годов изучало «новую математику» в лице теории множеств.
Со временем влияние Бурбаки в университетских аудиториях и школьных классах ослабло. Например, такие области исследований, как фракталы, полностью зависят от компьютеров и визуального отображения, поэтому пристрастие Бурбаки к структуре устарело. За последние десятилетия математика развивалась благодаря взаимодействию с другими науками, а не за счет самоизоляции от них. В итоге школьникам больше не преподают теорию множеств. Однако вопреки сообщениям о кончине Николя Бурбаки, которому скоро исполнится восемьдесят лет, он живет и здравствует.
Сейчас ядро группы состоит из пяти математиков. Я встретился с одним из них в кафе у Люксембургского сада в Париже. Кодекс секретности по-прежнему действует, поэтому мне разрешили рассказать только о том, что этот член группы носит бороду и был одет в рубашку пурпурного цвета и соломенную шляпу. Кроме того, он выдающийся ученый, известный профессор. Я спросил, сколько людей знают о его участии в группе Бурбаки. «Большинству моих коллег это хорошо известно, но я не признал бы этого. Многие не принимают наши идеи, — сказал он. — Некоторые заявляют, что группа Бурбаки бесполезна и должна прекратить свою деятельность».
Последняя книга из серии «Начала математики», посвященная алгебре, вышла в свет в 2012 году, а новая (о топологии) готовится к публикации в настоящее время. Группу Бурбаки обвиняют в том, что ее пристрастие к строгости фактически нанесло ущерб французской математике. Книги, публикуемые группой, трудны для восприятия, а значит, их нельзя эффективно использовать в качестве учебных пособий. Кроме того, они не оставляют места для творчества и интуиции. «Даже мои ближайшие коллеги убеждены в том, что это не те книги, которые нужны нынешним математикам», — признался мне человек в пурпурной рубашке. Я спросил его, согласен ли он с этим мнением. «Ответ неочевиден. Очевидно лишь то, что такая работа — когда мы собираемся все вместе, вычитываем строку за строкой и каждый имеет возможность высказать свои возражения и исправить ошибки — позволяет получить в итоге нечто особенное и, будем надеяться, стоящее. Идеи, изложенные в этих книгах, — это совокупный продукт многих людей. Математики не могут делать все исключительно своими силами».