Журнал «Вокруг Света» №09 за 2008 год

Мы уже упоминали о том, что натуральные числа есть просто «места» в структуре — натуральном ряду. Но это более или менее современная точка зрения. Ранее, например в Античности, процветала нумерология, в которой отдельным числам приписывались магические свойства. Эти представления широко используются и в нынешних оккультных сочинениях и обрядах. Видимо, были такие времена в истории ранних цивилизаций, когда числа воспринимались как индивидуальные объекты точно так же, как мы распознаем отдельных людей. Что-то в этом спорном положении подтверждается историей с Рамануджаном. Он «знал» числа напрямую, как своих знакомых. Много раз описан разговор Харди с лежащим в больнице Рамануджаном. «Я ехал в такси с ничем не примечательным номером — 1729», — начинает посетитель «пустой» разговор с больным. «Нет, Харди, ты неправ, — отвечает Рамануджан. — Это очень интересное число. Это наименьшее число, которое можно представить в виде суммы двух кубов двумя различными способами». Создается впечатление, что Рамануджан знает числа непосредственно, «лично». В этом отношении существуют восхитительные спекуляции по поводу «феномена» Рамануджана. В одной из популярных книжек было высказано предположение, что математика сейчас есть функция левосторонней части мозга, которая определяет аналитические способности человека. Но вполне возможно, что в период, когда доминирующей была правосторонняя часть мозга, ответственная за чувственные восприятия, человек познавал «непосредственно». И тогда можно предположить, что Рамануджан являлся «осколком» той древней цивилизации, которая развивала математику совсем по другому пути. Но эта романтическая догадка так и остается догадкой.

Сриниваса Айенгор Рамануджан (1887—1920), не имея специального математического образования, получил множество неожиданных и красивых формул, о которых говорили, что ни у кого другого не «хватило бы воображения, чтобы их изобрести». Фото: SPL/EAST NEWS

Большое доказательство

Итак, дедуктивное доказательство есть единственно убедительное свидетельство существования математических объектов и истинности математических утверждений. И коль скоро речь идет об убедительности — ведь доказательство представляет собой аргумент, — есть все основания полагать его «рукотворным». Дело в том, что убедительная аргументация должна быть обозримой. Американский математик Хао Ван заметил как-то, что если доказательство изложено на паре сотен страниц и каждая страница убедительна в отдельности, то в любом случае трудно представить, что в голове эти две сотни страниц могут уложиться в их взаимосвязи. Ясно, что при этом математики ищут выход в том, что укрупняют фрагменты доказательства, делая весь ход мысли более понятным. Но что можно сказать о доказательстве теоремы, которое изложено на 15 000 страниц? Можно ли прочесть такое доказательство? Можно ли считать его убедительным аргументом? Но такой аргумент существует — это доказательство теоремы о том, что обнаружены все простые конечные группы (подробнее об этой теореме и связанном с ней кризисе рассказывается в статьях Д. Горенстейна и Б. Дэвиса). Естественно, такой труд не под силу одному человеку, и в доказательстве принимали участие более 100 математиков. Полное доказательство разбросано по страницам 500 журналов, выходивших на протяжении 40 лет.

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