Апология математика - Годфри Харди.

Я начал с утверждения о том, что различия между позициями математика и физика меньше, чем обычно принято думать. Самое важное заключается в том, что математик контактирует с действительностью гораздо ближе, чем физик. Такое утверждение может показаться парадоксом, так как именно физика, изучающего материальные предметы и явления, обычно принято называть "реалистом". Но достаточно немного поразмыслить, чтобы понять, что физическая реальность, какой бы она ни была, обладает весьма немногими атрибутами (если обладает ими вообще), которые здравый смысл интенсивно приписывает реальности. Стул может быть набором обращающихся вокруг ядер электронов или идеей в уме Господа Бога - каждое из этих описаний, возможно, обладает своими достоинствами, но ни одно из них не соответствует представлениям здравого смысла.

Далее я заметил, что ни физики, ни философы не дали сколько-нибудь убедительного описания "физической реальности" или того, как физик переходит от запутанной массы фактов или ощущений, с которой он начинает, к конструкции тех объектов, которые физик называет "реальными". Например, мы не можем сказать, будто бы нам известно, что такое физика, но это отнюдь не должно мешать нам понимать в общих чертах, что именно пытается делать физик. Ясно, что физик пытается скооперировать разрозненную массу сырых фактов, с которыми он сталкивается, имея в своём распоряжении некоторую определённую упорядоченную схему абстрактных отношений - ту разновидность схемы, которую физик может позаимствовать только из математики.

С другой стороны, математик имеет дело со своей собственной математической реальностью. Как было объяснено в §22, я предпочитаю "реалистическую", а не "идеалистическую" точку зрения на математическую реальность. Во всяком случае (и в этом состоял мой главный тезис), такая реалистическая точка зрения на математическую реальность гораздо более правдоподобна, чем на физическую реальность потому, что математические объекты в гораздо большей степени таковы, какими они кажутся. Стул или звезда ничуть не похожи на то, чем они кажутся; чем больше мы думаем об этом, тем более расплывчатыми становятся их очертания в мареве окружающих их ощущений; но "2" или "317" не имеют никакого отношения к ощущениям, и свойства числа выступают тем более отчётливо, чем пристальнее мы его рассматриваем. Возможно, что современная физика лучше всего укладывается в рамки идеалистической философии. Лично я в это не верю, но так говорят некоторые выдающиеся физики. С другой стороны, чистая математика представляется мне скалой, на которой зиждется идеализм: число 317 простое не потому, что мы думаем так, и не потому, что наш разум устроен так, а не иначе, а потому, что это так, потому, что математическая реальность устроена так.

25

Эти различия между чистой и прикладной математикой важны сами по себе, но не имеют особого отношения к нашему обсуждению "полезности" математики. В §21 я говорил о "настоящей" математике Ферма и других великих математиков - математике, имеющей непреходящую эстетическую ценность, как, например, лучшие образцы древнегреческой математики, математике вечной потому, что её лучшие произведения, подобно лучшим литературным произведениям, продолжают доставлять эмоциональное удовлетворение тысячам людей и поныне, тысячи лет спустя. Творцы этой математики были преимущественно чистыми математиками (хотя в то время различие между чистой и прикладной математикой было значительно менее чётким, чем теперь), но я думал не только о чистых математиках. К "настоящим" математикам я причисляю Максвелла и Эйнштейна, Эддингтона[123] и Дирака. Великие современные достижения в области прикладной математики были и в теории относительности, и в квантовой механике, и эти разделы науки, по крайней мере сейчас, почти столь же "бесполезны", как и теория чисел. На добро или на зло работают скучные элементарные разделы прикладной математики, равно как и скучные элементарные разделы чистой математики. Время может коренным образом изменить всё это. Никто не предвидел, что теории матриц и групп, а также другие чисто математические теории найдут применение в современной физике, и вполне может случиться так, что какие-то разделы "высоколобой" математики неожиданно станут "полезными". Но, как показывает накопленный опыт, как в одной области знания, так и в другой, в практической жизни полезно то, что обыденно и скучно.

Я помню Эддингтона, подававшего счастливый пример непривлекательности "полезной" науки. Британская ассоциация проводила заседание в Лидсе, и кому-то пришла в голову мысль, что её членам, возможно, будет интересно послушать о приложениях науки в индустрии обработки шерсти. Но организованные с этой целью лекции и демонстрации потерпели фиаско. Выяснилось, что члены Ассоциации (независимо от того, были ли они жителями Лидса или нет) жаждали развлечений, а индустрия обработки шерсти не была особенно занимательной. Поэтому посещаемость лекций была разочаровывающе низкой. Что же касается лекций о раскопках на Кноссе, теории относительности или теории простых чисел, то они вызвали восторженные отзывы собиравшейся на них аудитории.

26

Какие разделы математики полезны?

Прежде всего те, что составляют школьную математику: арифметика, элементарная алгебра, элементарная евклидова геометрия, начала дифференциального и интегрального исчисления. Из этого перечня нам придётся исключить некоторое количество того, чему учат "специалистов", например, проективную геометрию. В прикладной математике полезны элементы механики (теорию электричества в том виде, в котором её преподают в школе, следует классифицировать как физику).

Полезна также значительная часть университетской математики, а именно та её часть, которая по существу служит продолжением школьной математики, но с более изощрённым аппаратом, и некоторые физики, такие, как теория электричества и гидромеханика. Следует помнить, что любой запас знаний всегда является преимуществом и что самые практичные математики могут оказаться в серьёзном затруднении, если их знания ограничены голым минимумом, включающим в себя только самое необходимое. Из этих соображений к каждому из перечисленных выше разделов математики необходимо немного добавить. Что же касается нашего общего заключения, то оно сводится к следующему: математика полезна в том объеме, в котором она востребована инженером высшей квалификации или физиком "средней руки", или, иначе говоря, "полезная" математика не отличается особыми эстетическими достоинствами. Например, евклидова геометрия полезна постольку, поскольку она скучна - нам ни к чему аксиомы о параллельных, теория пропорций или построение правильного пятиугольника.

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

Надеюсь, нет необходимости особо оговаривать, что я отнюдь не пытаюсь умалить или принизить математическую физику - великолепную научную дисциплину с замечательными проблемами, решение которых даёт широчайший простор самому буйному воображению. Но не заслуживает ли положение обычного прикладного математика небольшого сочувствия? Если он хочет быть полезным, то ему приходится использовать скучные, банальные методы, и он не может дать волю своей фантазии, даже если желает подняться до небывалых высот. "Воображаемые" вселенные намного прекраснее тупо построенной "реальной" вселенной, и большинство прекраснейших плодов фантазии прикладного математика должны быть отвергнуты сразу же после того, как их сотворили, на том жёстком, но достаточном основании, что они не согласуются с фактами.

Общее заключение достаточно понятно. Если под полезным знанием, как мы временно согласились, понимать такое, которое либо сейчас, либо в сравнительно недалёком будущем, будет способствовать материальному комфорту человечества (т. е. чисто интеллектуальное удовлетворение в расчёт не принимается), то огромная часть высшей математики бесполезна. Современная геометрия и алгебра, теория чисел, теория множеств и функции, теория относительности, квантовая механика - ни одна из этих наук не удовлетворяет критерию полезности намного лучше, чем другая, и нет ни одного настоящего математика, жизнь которого можно было бы оправдать на этой основе. Если придерживаться этого критерия, то Абель, Риман и Пуанкаре?158) прожили свою жизнь напрасно; их вклад в комфорт человечества ничтожно мал, и мир без них ничего бы не потерял.

27

Против предложенного мной понимания понятия "полезность" можно было бы возразить, указав на то, что я определил его в терминах "счастья" или "комфорта", игнорируя общие "социальные" последствия математики, которым современные авторы с различными пристрастиями и вкусами стали уделять большое внимание. Например, Уайтхед (бывший математиком) толкует об "огромном влиянии математического знания на жизнь людей, их повседневные занятия, организацию общества". Хогбен (не питающий тёплых чувств к тому, что я и другие математики называем математикой и к чему Уайтхед относится вполне положительно) говорит о том, что "без знания математики, грамматики величины и порядка, мы не можем планировать рациональное общество, в котором благосостояние для всех и нищета ни для для кого" (равно как и многие другие авторы).