Текст книги "Великая Теорема Ферма"

Автор книги: Саймон Сингх

сообщить о нарушении

Текущая страница: 11 (всего у книги 23 страниц)

Эра загадок и головоломок

С античных времен и поныне математики пытались придать занимательность своим учебникам, излагая теоремы и доказательства в форме решений числовых задач-головоломок. Во второй половине XIX века такой игровой подход к математике проник на страницы общедоступной прессы, и числовые головоломки стали появляться в газетах и журналах наряду с кроссвордами и анаграммами. Растущая день ото дня аудитория жаждала математических головоломок, к числу которых непрофессионалы относили все – от тривиальнейших головоломок до глубоких математических проблем, включая Великую теорему Ферма.

Возможно, самым плодовитым создателем головоломок был Генри Дьюдени, печатавшийся в десятках газет и журналов, в том числе таких, как «Strand», «Cassel's», «The Queen», «Tit-Bits», «The Weekly Dispatch» и «Blightly». Достопочтенный Чарльз Доджсон, лектор по математике колледжа Крайст Черч Оксфордского университета, более известный под литературным псевдонимом Льюис Кэрролл, был еще одним выдающимся автором головоломок викторианской эпохи. Несколько лет Доджсон потратил на то, чтобы собрать обширную коллекцию всяких математических курьезов и головоломок под общим названием «Curiosa Mathematica». Ему не удалось исполнить свой замысел до конца, но несколько книг все же было выпущено, в их числе «Полуночные задачи, придуманные в часы бессонницы».

Но величайшим мастером головоломок был американский гений-самородок Сэм Лойд (1841–1911 гг.), который еще мальчишкой имел вполне приличный заработок, придумывая новые головоломки и усовершенствуя старые. В книге «Сэм Лойд и его головоломки: автобиографический обзор» он признает, что некоторые из его первых головоломок были созданы по заказу владельца цирка и фокусника П. Т. Барнума:

«Много лет назад, когда "Цирк Барнума" был поистине "величайшем зрелищем на Земле", знаменитый шоумен заказал мне серию головоломок, предназначенных быть призами в рекламной кампании. Под названием "Вопросы сфинкса" они приобрели широкую известность из-за крупных призов, предлагавшихся тем, кто сумеет на них ответить».

Интересно, что эта «автобиография» была написана в 1928 году, через 17 лет после смерти Лойда. Свое пристрастие к головоломкам Лойд передал своему сыну, также Сэму, который и был подлинным автором книги «Сэм Лойд и головоломки» и прекрасно знал, что всякий, кто ее купит, будет ошибочно полагать, что ее автор – более известный Сэм Лойд-старший.

Самой знаменитой головоломкой Сэма Лойда стал викторианский эквивалент кубика Рубика – игра в 15, которую и поныне можно встретить в игрушечных лавках. Пятнадцать квадратных шашек с номерами от 1 до 15 находятся в квадратной коробочке размером 4×4. Цель игры состоит в том, чтобы, передвигая шашки в коробочке (но не вытаскивая их), расположить шашки по порядку номеров. В головоломке Лойда «15–14» начальное расположение шашек в коробочке было таким, как на рис. 14. Сэм Лойд предложил значительное вознаграждение тому, кто сумеет решить задачу-головоломку, передвинув шашки (проделав серию ходов) «14» и «15» так, чтобы они расположились в правильном порядке. Сын Лойда описал тот ажиотаж, который вызвала эта «механическая», а на самом деле математическая головоломка:

«Премия в 1000 долларов тому, кто первым правильно решит эту головоломку, так и не была никем востребована, хотя тысячи людей утверждали, будто им удалось добиться желаемого. Люди теряли из-за головоломки «15–14» покой и сон. Рассказывали о владельцах лавок, которые забывали открывать свои заведения, о знаменитом священнике, который простоял всю зимнюю ночь под уличным фонарем, пытаясь припомнить, как ему удалось решить задачу. Самое удивительное во всех этих историях о головоломке «15–14» было то, что никто из «решивших» ее не мог вспомнить последовательность ходов, которая привела к победе. Рассказывали, будто лоцманы сажали суда на мели, а машинисты проскакивали без остановки железнодорожные станции. Известный балтиморский издатель рассказывал, как однажды он отправился на ленч и обнаружил, что сотрудники редакции и типографии самозабвенно играют в пятнадцать с полуночи, гоняя по тарелке кусочки пирога».

 Рис. 14. Карикатура с изображением мании, порожденной «Игрой в 15» Сэма Лойда (головоломки, в которой все шашки, кроме двух последних, расположены по порядку)

Лойд был абсолютно уверен в том, что ему не придется выплатить объявленную премию в 1000 долларов, поскольку достоверно знал, что невозможно расположить шашки с номерами «14» и «15», не нарушив при этом правильного расположения каких-нибудь других шашек. Так же, как математик может доказать неразрешимость какого-нибудь уравнения, Лойд мог доказать, что предложенная им головоломка не имеет решения.

Доказательство Лойда начиналось с определения величины, которая служила мерой беспорядка в расположении шашек – параметра беспорядка D_p. Параметр беспорядка данного расположения шашек равен числу пар шашек, у которых больший номер предшествует меньшему, т. е. номера идут в неправильном, обратном, порядке. Для правильного расположения шашек, как на рис. 15a, D_p = 0.

а) Dp = 0

б) Dp = 6

в) Dp = 12

Рис. 15. Передвигая шашки внутри коробочки (но не извлекая их из нее), можно создавать различные неупорядоченные расположения чисел. Для каждого расположения можно количественно измерить беспорядок, вводя параметр беспорядка Dp

Начав с правильного расположения шашек и передвигая их в коробочке (но не вынимая из нее), сравнительно легко получить расположение, представленное на рис. 15б. В нем шашки идут в правильном порядке до тех пор, пока мы не достигнем шашек 12 и 11. Ясно, что шашка с номером 11 должна предшествовать шашке 12, поэтому шашки в этой паре расположены в обратном порядке. Полный список тех пар, в которых шашки расположены в обратном порядке таков: (12,11), (15,13), (15,14), (15,11), (13,11) и (14,11). Таким образом, при расположении шашек, показанном на рис. 15б, имеется 6 пар с обратным расположением шашек, и D_p = 6. (Заметим, что шашка 10 соседствует с шашкой 12. Это явно неверно, но такое расположение номеров шашек тем не менее не является обратным, поэтому эта пара шашек не вносит вклада в параметр беспорядка.) Еще несколько ходов, и мы приходим к расположению шашек, представленному на рис. 15в. Составив полный список пар шашек с номерами, идущими в обратном порядке, мы обнаружим, что D_p = 12. Важно заметить, что во всех трех случаях а, б и в, значения параметра беспорядка четны (0, 6 и 12). Действительно, если вы начнете с правильного расположения шашек и будете передвигать их, не вынимая из коробочки, то утверждение о четности параметра беспорядка останется в силе. После любого числа ходов, при расположении шашек с пустой клеткой в правом нижнем углу, значение D_p всегда будет четным.

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

Но если вы проанализируете расположение шашек в головоломке Лойда «15–14», то обнаружите, что значение параметра беспорядка для нее равно единице: D_p = 1, так как только у одной пары с номерами 13 и 15 номера идут в обратном порядке. В головоломке Лойда параметр беспорядка имеет нечетное значение! Но мы знаем, что у любого расположения, полученного из правильного исходного расположения, значение параметра порядка четно. Отсюда следует заключение: расположение шашек в головоломке Лойда «15–14» не может быть получено из правильного исходного расположения, и наоборот, расположение шашек в головоломке Лойда не может быть сведено к правильному расположению. За премию в 1000 долларов Лойд мог быть абсолютно спокоен!

Головоломка Лойда и параметр беспорядка убедительно демонстрируют силу инварианта. Инварианты дают математикам важную стратегию, когда требуется доказать, что один объект невозможно преобразовать в другой. Например, в настоящее время большой интерес вызывает изучение узлов, и специалисты по теории узлов, естественно, пытаются выяснить, можно или нет преобразовать один узел в другой, изгибая и образуя петли, но не разрезая его. Чтобы ответить на этот вопрос, они пытаются найти какое-нибудь свойство исходного узла, которое сохранялось бы при любом изгибании и образовании петель, т. е. инвариант узла. Затем они вычисляют такой же инвариант для второго узла. Если значения инвариантов оказываются различными, то из этого с необходимостью следует вывод о том, что первый узел невозможно преобразовать во второй.

До того, как первые шаги в этом направлении были сделаны Куртом Рейдемейстером в 20-х годах XX века, доказать, что один узел не может быть преобразован в другой, было невозможно. Иначе говоря, до открытия инвариантов узлов было невозможно доказать, что узел «бантиком» невозможно преобразовать в рифовый узел, простой узел или даже простую петлю без какого бы то ни было узла вообще.

Понятие инвариантного свойства занимает центральное место во многих других математических доказательствах, и, как мы увидим в гл. 5, оно сыграло решающую роль в возвращении Великой теоремы Ферма в главное русло развития современной математической мысли.

На стыке XIX и XX веков, благодаря поклонникам Сэма Лойда и его головоломки «15–14», миллионы любителей решать головоломки в Европе и Америке жаждали новых трудных задач. Когда весть о наследстве Вольфскеля дошла до этих начинающих математиков, великая теорема Ферма снова стала самой знаменитой математической проблемой в мире. Великая теорема Ферма была бесконечно более сложной, чем самая трудная из головоломок Лойда, но и приз был несравненно больше.

Любители мечтали о том, что им, возможно, удастся найти сравнительно простой трюк, который ускользнул от внимания великих математиков прошлого. Когда речь заходила о знании математических приемов и методов, преисполненный рвением любитель, живущий в XX веке, во многом не уступал Пьеру де Ферма. Трудность была в другом – в отсутствии изобретательности, с которой Ферма пользовался известными ему приемами и методами.

Через несколько недель после объявления конкурса на соискание премии Вольфскеля на Гёттингенский университет обрушилась лавина «доказательств». Не удивительно, что все они до одного оказались ошибочными. И хотя каждый из участников конкурса был убежден, что именно ему удалось решить проблему, пережившую столетия, но во всех присланных доказательствах неизбежно была какая-нибудь тонкая, а иногда и не очень тонкая – ошибка. Искусство теории чисел настолько абстрактно, что необычайно легко сойти с верного логического пути и незаметно заблудиться, даже впасть в абсурд. В Приложении 7 показана классическая ошибка такого сорта, которую легко может допустить энтузиаст-любитель.

Независимо от того, кто был отправителем того или иного доказательства, каждое из них скрупулезно изучалось на тот случай, если неизвестному любителю все же удастся найти столь давно разыскиваемое доказательство. Деканом математического факультета Гёттингенского университета с 1909 по 1934 годы был профессор Эдмунд Ландау. Именно на него легла обязанность разбирать все доказательства, присланные на соискание премии Вольфскеля.

Ландау был вынужден то и дело прерывать свои собственные исследования, поскольку ему нужно было разбирать десятки ошибочных доказательств, поступавших к нему на стол каждый месяц. Чтобы справиться с ситуацией, профессор Ландау изобрел изящный метод, позволивший избавиться от докучливой работы. Профессор попросил напечатать несколько сотен карточек, на которых значилось:

Уважаемый(ая) . . . . . . . .

Благодарю Вас за присланную Вами рукопись с доказательством Великой теоремы Ферма. Первая ошибка находится на стр … в строке … Из-за нее все доказательство утрачивает силу.

Профессор Э.М. Ландау

 Каждое из полученных доказательств вместе с отпечатанной карточкой Ландау вручал одному из своих студентов и просил его заполнить пробелы.

Доказательства продолжали поступать непрерывным потоком в течение нескольких лет даже после того, как премия Вольфскеля катастрофически обесценилась из-за гиперинфляции после первой мировой войны. Говорят, что тот, кто выиграл бы конкурс сегодня, вряд ли смог бы купить на премию чашку кофе, – но такие утверждения несколько преувеличены. Как пояснил д-р Ф. Шлихтинг, ответственный за рассмотрение доказательств в 70-х годах, премия Вольфскеля ныне составляет более 10000 марок. Уникальная возможность составить представление о работе Комиссии Вольфскеля дает письмо д-ра Ф. Шлихтинга Паулю Рибенбойму, приведенное в книге Ф. Шлихтинга «Тринадцать лекций о Великой теореме Ферма».

«Уважаемый сэр!

Общее число представленных к настоящему времени «решений» неизвестно. В первый год (1907–1908 гг.) в анналах Академии было зарегистрировано 621 решение. В настоящее время в Академии хранятся стопка бумаг, толщиной около трех метров, с материалами переписки по проблеме Ферма. В последние десятилетия работа с письмами производилась следующим образом. Секретарь Академии делил поступающие рукописи по следующим категориям: 1) полная чепуха, которая немедленно отсылалась обратно; 2) материал, который по крайней мере внешне походил на математику.

Вторая часть корреспонденции передавалась математическому факультету, где работа по прочтению рукописей, нахождению ошибок и ответу авторам поручалась одному из ассистентов (в немецких университетах это люди, окончившие полный курс университета и работающие над диссертацией на соискание ученой степени «доктора философии» – Ph.D.). Сейчас очередная жертва – это я. Каждый месяц поступают 3–4 письма, на которые я должен отвечать. В этих письмах масса интересного и любопытного материала. Например, один из корреспондентов прислал половину доказательства и пообещал прислать вторую, если мы выплатим 1000 марок авансом. Другой корреспондент пообещал мне 1% от своих доходов от своих публикаций, интервью на радио и телевидении, когда он станет знаменитым, если только я окажу ему сейчас поддержку. В противном случае он угрожал послать свое доказательство в адрес математического факультета какого-нибудь российского университета и тем самым лишить нас славы его открывателей. Время от времени кто-нибудь из авторов «доказательств» наведывается в Гёттинген и настаивает на личной встрече и обсуждении.

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

Одно из условий в завещании Вольфскеля состояло в том, что Академия была должна ежегодно печатать извещение о конкурсе на соискание премии в главных математических журналах. Но уже через несколько первых лет журналы отказались печатать уведомление о конкурсе потому, что редакции оказались заваленными письмами и сумасшедшими рукописями. Надеюсь, что эта информация представит для Вас некоторый интерес.

Искренне Ваш Ф. Шлихтинг»

 Как упоминает д-р Шлихтинг, участники конкурса не ограничивались тем, что присылали свои «доказательства» в Академию. Вряд ли во всем мире найдется хотя бы один математический факультет, где бы ни стоял шкаф, набитый поступившими от любителей «доказательствами». Большинство университетов попросту оставляет такие любительские доказательства без внимания и ответа, но некоторые университеты прибегали к более изобретательным способам, позволявшим отделаться от назойливых корреспондентов.[9]9
  Сам бы мог привести пару историй с «ферматистами», которые в своё время услышал от зав. кафедрой алгебры нашего местного университета. Но не веселы они: в сущности, эти «ферматисты» – несчастные люди. И на ICM'98 в Берлине, где Эндрю Уайлс получал Филдсовскую премию, на секции алгебры видел доклады типа «А вот ещё одно доказательство Великой теоремы Ферма». Лучше расскажу про одну из «увёрток от ферматистов», которую где-то вычитал. Учёный секретарь одного из московских академических институтов, не избежавшего нашествия ферматистов, однажды был в отпуске в Молдавии и на рынке купил какую-то снедь, которую ему завернули в местную газету. Вернувшись с рынка, он стал просматривать этот листок и наткнулся на заметку, в которой сообщалось, что местный школьный учитель доказал теорему Ферма, и, как следствие, пелись всякие дифирамбы высокому уровню областной науки. Учёный секретарь вырезал эту заметку, а по возвращении в Москву вставил её в рамку и повесил на стену своего кабинета. Теперь, когда на него «нападал» очередной ферматист, он широким жестом приглашал того ознакомиться с «текущим положением дел». Жизнь явно стала легче. :) – E.G.A.


[Закрыть] Известный американский популяризатор науки Мартин Гарднер вспоминает об одном своем знакомом, имевшим обыкновение возвращать пришедшие в его адрес рукописи с запиской, в которой извещал отправителя, что недостаточно компетентен для того, чтобы вникнуть в детали доказательства, и сообщал имя и адрес эксперта, который мог бы разобраться в деталях доказательства, т. е. по существу предлагал любителю обратиться к несчастному эксперту. Другой приятель Мартина Гарднера отвечал авторам присланных доказательств так: «У меня есть замечательное опровержение присланного Вами доказательства, но, к сожалению, эта страница недостаточно велика, чтобы вместить его».

Хотя математики-любители всего мира на протяжении XX века пытались найти доказательство Великой теоремы Ферма и терпели одну неудачу за другой в попытках завоевать премию Вольфскеля, математики-профессионалы в основном продолжали игнорировать эту проблему. Вместо того, чтобы опираться в своих исследованиях на труды Куммера и других специалистов по теории чисел, математики обратились у изучению оснований своей науки, чтобы сосредоточить внимание на самых фундаментальных вопросах о числах. Некоторые из величайших фигур XX века – в том числе Бертран Рассел, Давид Гильберт и Курт Гёдель пытались разобраться в наиболее глубоких свойствах чисел, чтобы постичь их истинное значение и установить, какие проблемы теории чисел разрешимы, а какие – что гораздо важнее – неразрешимы. Их работы потрясли основания математики и эхом отозвались на судьбах Великой теоремы Ферма. [10]10
  Это не совсем верно. Развивая идеи Куммера, именно в это или близкое время Д. Гильберт, Э. Нётер, Б. Л. Ван дер Варден и другие, придали алгебре и теории чисел современный облик.


[Закрыть]

Основания знания

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

Математики известны своей придирчивостью. Прежде чем принять любое утверждение, они требуют абсолютного доказательства его истинности. Их репутация отчетливо выражена в истории, которую Ян Стюарт приводит в своей книге «Понятия современной математики»: «Рассказывают, что астроном, физик и математик проводили отпуск в Шотландии. Глядя из окна поезда, они заметили посреди поля черную овцу. «Как интересно, – заметил астроном, – все шотландские овцы черные!» «Нет, нет! – возразил физик. – Некоторые шотландские овцы черные!» Математик задумчиво посмотрел вверх, а затем протянул: «В Шотландии есть по крайнее мере одно поле, посреди которого пасется по крайней мере одна овца, у которой по крайней мере одна сторона черная».

Еще строже, чем обычный математик, рассуждает тот математик, который специализируется в области математической логики. Математические логики ставят под сомнение даже те идеи, которые другие математики столетиями считали незыблемыми. Например, закон трихотомии утверждает, что каждое целое число либо отрицательно, либо положительно, либо равно нулю. Это утверждение казалось очевидным, и математики всегда молчаливо предполагали, что оно истинно, но никто никогда не потрудился проверить, так ли это. Логики поняли, что до тех пор, пока истинность закона трихотомии не доказана, его утверждение может оказаться ложным, а если оно окажется ложным, то рухнет все опирающееся на него здание знаний. К счастью для математики, истинность закона трихотомии была доказана в конце XIX века.

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

Одним из примеров аксиом может служить коммутативный закон сложения, который гласит: для любых чисел m и n верно равенство

m + n = n + m

Этот закон и несколько других аксиом принято считать самоочевидными. Они легко могут быть проверены на любых числах. До сих пор аксиомы успешно проходили все проверки и были приняты за основу всей математики. Задача, которую поставили перед собой логики, заключалась в том, чтобы попытаться заново построить всю математику, исходя из этих аксиом. В Приложении 8 приводится набор аксиом арифметики и дается представление о том, как логики намереваются, исходя из них, построить всю остальную математику.

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

Программу обновления математики возглавил один из самых выдающихся ученых XX века – Давид Гильберт. По его глубокому убеждению, все в математике может и должно быть доказано, исходя из основных аксиом. Результат аксиоматического подхода должен был быть доказательно продемонстрирован на двух важнейших элементах математической системы. Во-первых, математика, по крайней мере в принципе, должна быть способна ответить на каждый вопрос в отдельности – это тот самый принцип полноты, который в прошлом требовал введения новых чисел, например, отрицательных и мнимых чисел. Во-вторых, математика должна быть свободна от противоречий, т. е. если истинность некоторого утверждения доказана одним методом, то должна быть исключена возможность доказательства отрицания того же самого утверждения другим методом. Гильберт был убежден, что, приняв всего лишь несколько аксиом, можно ответить на любой мыслимый математический вопрос, не опасаясь впасть в противоречие.

8 августа 1900 года Гильберт выступил с историческим докладом на II Международном конгрессе математиков в Париже. Гильберт сформулировал двадцать три проблемы, имевшие, по его мнению, наибольшее значение. Первые из них были посвящены логическим основаниям математики. По замыслу Гильберта, сформулированные им проблемы должны были привлечь внимание математического мира и стать программой будущих исследований. Гильберт хотел гальванизировать математическое сообщество, чтобы оно помогло реализовать его ви́дение математической системы, свободной от сомнений и противоречий – честолюбивый замысел, суть которого Гильберт завещал высечь на своем надгробии:

Wir mussen wissen, Wir werden wissen.[11]11
  Мы должны знать, мы будем знать (нем.)


[Закрыть]

Огромный вклад в осуществление так называемой гильбертовской программы внес Готтлоб Фреге, временами вступавший в острейшее соперничество с Гильбертом. Более десяти лет Фреге посвятил выводу сотен сложных теорем из простых аксиом, и достигнутые успехи вселили в него уверенность, что он находится на пути к осуществлению значительной части намеченной Гильбертом программы. Одним из ключевых достижений Фреге было создание самого определения числа. Например, что мы в действительности понимаем под числом 3? Оказалось, что для определения числа 3 Фреге понадобилось сначала определить «троичность».

«Троичность» – это абстрактное свойство, присущее всем наборам, или множествам, содержащим по три объекта. Например, «троичность» может быть использована и при описании поросят в известной детской песенке, и при описании множества сторон треугольника. Фреге заметил, что свойством «троичности» обладают многочисленные множества и воспользовался абстрактной идеей таких множеств для определения самого числа «3». Он создал новое множество и поместил в него все множества, обладающие свойством троичности, и назвал это новое множество «множество 3». Таким образом множество имеет три члена в том и только в том случае, если оно принадлежит «множеству 3».

Для понятия, которым мы пользуемся ежедневно, такое определение может показаться чересчур сложным, но столь строгое описание «множества 3» необходимо для бескомпромисной программы Гильберта.

В 1902 году тяжкий труд, добровольно возложенный на себя Фреге, подошел к концу: Фреге подготовил к печати гигантский двухтомный трактат «Grundgesetze der Arithmetik»[12]12
  Фундаментальные законы арифметики (нем.)


[Закрыть], который должен был установить в математике новый стандарт строгости.

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

Выхода из этого противоречия не было. Работа Рассела нанесла серьезный урон мечтам о математической системе, свободной от сомнений, противоречий и парадоксов. Он написал Фреге, рукопись книги которого уже находилась в печати. Письмо Рассела практически свело на нет работу всей жизни Фреге, но, несмотря на смертельный удар, Фреге опубликовал свой magnum opus[13]13
  Главный труд (лат.)


[Закрыть], невзирая на сообщение Рассела, и только добавил постскриптум ко второму тому: «Вряд ли что-нибудь может быть более нежелательным для ученого, чем сомнения в своей правоте в тот самый момент, когда он завершает свой труд. Именно в таком положении я оказался, получив письмо от мистера Бертрана Рассела в тот момент, когда моя работа уже должна выйти из печати».

По иронии судьбы, обнаруженное Расселом противоречие выросло из столь любимых Фреге множеств. Через много лет в своей книге «Мое философское развитие» Рассел вспоминал тот яркий ход рассуждений, который оспаривал работу Фреге: «Мне показалось, что множество иногда может, а иногда не может быть членом самого себя. Например, множество чайных ложек само не есть чайная ложечка, а множество вещей, не являющихся чайными ложечками, есть одна из вещей, не являющихся чайной ложечкой». Именно это любопытное и на первый взгляд безобидное замечание Рассела привело к катастрофическому парадоксу.

Парадокс Рассела часто объясняют на примере истории о дотошном библиотекаре. Однажды, проходя между книжных полок, этот библиотекарь набрел на подборку каталогов. Там были отдельные каталоги художественной прозы, библиографических указателей, поэзии и т. д. Библиотекарь отметил, что в одних каталогах имелись ссылки на самих себя, тогда как в других таких ссылок не было.

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

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

«Но, можете Вы возразить, ничто не поколеблет Вашего убеждения в том, что дважды два равно четыре. Вы совершенно правы – за исключением незначительных частных случаев. Два должно быть двумя чего-то, и утверждение „дважды два равно четырем“ бесполезно, если его невозможно применить к чему-либо. Две собаки и две собаки, разумеется, это четыре собаки. Но могут представиться случаи, когда Вы усомнитесь в том, являются ли эти два животных собаками. „Во всяком случае, животных четверо“, – могли бы возразить Вы. Но существуют микроорганизмы, относительно которых трудно сказать, животные они или растения. „Прекрасно, – возразите Вы, – пусть будут не животные, а живые организмы“. Но есть такие объекты, относительно которых трудно сказать, живые они или нет. Вам не останется ничего другого, как сказать: „Две сущности и две сущности равны четырем сущностям“. Если Вы объясните мне, что Вы понимаете под „сущностью“, то спор можно будет считать законченным».

Работа Рассела повергла основания математической логики в состояние хаоса. Логики чувствовали, что парадокс, скрывающийся в недрах математики, рано или поздно высунет свою голову и вызовет большие проблемы. Вместе с Гильбертом и другими логиками Рассел предпринял попытку исправить ситуацию и восстановить пошатнувшееся здоровье математики.