Апология математика
Шрифт:
Сделаем ещё один шаг. Помещение, в котором я читаю лекцию, составляет часть физического мира и само обладает определённым образом. Изучение этого образа и общего образа физической реальности само по себе является наукой, которую можно назвать "физической геометрией". Предположим теперь, что в аудиторию поместили мощную динамомашину или массивное гравитирующее тело. Физики скажут нам, что геометрия помещения изменилась, что весь его физический образ немного, но совершенно определённо исказился. Стали ли ложными теоремы, которые я доказал. Ясно, что было бы глупо ожидать, будто на доказательствах теорем, которые я приводил на лекции, каким-то образом сказалось наличие в аудитории динамомашины или гравитирующего тела. Это аналогично предположению о том, что пьеса Шекспира изменилась от того, что некий читатель пролил на страницу чай. Пьеса не зависит от страниц, на которых она напечатана, и "чистые геометрии" не зависят от
Такова точка зрения чистого математика. Естественно, что прикладные математики, математические физики придерживаются другой точки зрения, так как они имеют дело с самим физическим миром, который также обладает своей структурой, или образом. Мы не можем дать точное описание этого образа, как в случае чистой геометрии, но можем сказать о нём нечто важное. Мы можем описать, иногда с достаточной точностью, иногда - лишь в общих чертах, отношения между некоторыми составляющими структуры физического мира и сравнить их с точными отношениями между составляющими какой-нибудь системы чистой геометрии. Мы можем уловить некоторые сходства между двумя наборами отношений, и тогда чистая геометрия обретает интерес для физиков. В этом случае мы получаем карту, согласующуюся с фактами физического мира. Геометр предлагает физику целый набор карт на выбор. Возможно, что одна карта будет лучше соответствовать фактам, чем другие. В этом случае геометрия, порождающая лучшую карту, окажется геометрией, наиболее важной для прикладной математики. Можно добавить, что оценка такой геометрии даже со стороны чистого математика может повыситься, так как нет математика настолько чистого, чтобы он был напрочь лишен интереса к физическому миру, но в той мере, в какой он уступит этому искушению, он утратит свою позицию чистого математика.
24
Есть ещё одно замечание, которое напрашивается в этой связи. Физикам оно может показаться парадоксальным, хотя в настоящее время парадокс выглядит менее удивительным, чем восемнадцать лет назад. Я приведу его почти в тех же словах, в каких он был сформулирован в моём докладе на секции А Британской ассоциации[ 122 ]. Моя аудитория почти целиком состояла из физиков, и поэтому вполне возможно, что моя речь была несколько провокационной. Впрочем, что касается её содержания, то я и сейчас целиком разделяю высказанную тогда позицию.
122
Британская Ассоциация по распространению научных знаний, основанная в 1831 году.
Я начал с утверждения о том, что различия между позициями математика и физика меньше, чем обычно принято думать. Самое важное заключается в том, что математик контактирует с действительностью гораздо ближе, чем физик. Такое утверждение может показаться парадоксом, так как именно физика, изучающего материальные предметы и явления, обычно принято называть "реалистом". Но достаточно немного поразмыслить, чтобы понять, что физическая реальность, какой бы она ни была, обладает весьма немногими атрибутами (если обладает ими вообще), которые здравый смысл интенсивно приписывает реальности. Стул может быть набором обращающихся вокруг ядер электронов или идеей в уме Господа Бога - каждое из этих описаний, возможно, обладает своими достоинствами, но ни одно из них не соответствует представлениям здравого смысла.
Далее я заметил, что ни физики, ни философы не дали сколько-нибудь убедительного описания "физической реальности" или того, как физик переходит от запутанной массы фактов или ощущений, с которой он начинает, к конструкции тех объектов, которые физик называет "реальными". Например, мы не можем сказать, будто бы нам известно, что такое физика, но это отнюдь не должно мешать нам понимать в общих чертах, что именно пытается делать физик. Ясно, что физик пытается скооперировать разрозненную массу сырых фактов, с которыми он сталкивается, имея в своём распоряжении некоторую определённую упорядоченную схему абстрактных отношений - ту разновидность схемы, которую физик может позаимствовать только из математики.
С другой стороны, математик имеет дело со своей собственной математической реальностью. Как было объяснено в §22, я предпочитаю "реалистическую", а не "идеалистическую" точку зрения на математическую реальность. Во всяком случае (и в этом состоял мой главный тезис), такая реалистическая точка зрения на математическую реальность гораздо более правдоподобна, чем на физическую реальность потому, что математические объекты в гораздо большей степени таковы, какими они кажутся. Стул или звезда ничуть не похожи на то, чем они кажутся; чем больше мы думаем об этом, тем более расплывчатыми становятся их очертания в мареве окружающих их ощущений; но "2" или "317" не имеют никакого отношения к ощущениям, и свойства числа выступают тем более отчётливо, чем пристальнее мы его рассматриваем. Возможно, что современная физика лучше всего укладывается в рамки идеалистической философии. Лично я в это не верю, но так говорят некоторые выдающиеся физики. С другой стороны, чистая математика представляется мне скалой, на которой зиждется идеализм: число 317 простое не потому, что мы думаем так, и не потому, что наш разум устроен так, а не иначе, а потому, что это так, потому, что математическая реальность устроена так.
25
Эти различия между чистой и прикладной математикой важны сами по себе, но не имеют особого отношения к нашему обсуждению "полезности" математики. В §21 я говорил о "настоящей" математике Ферма и других великих математиков - математике, имеющей непреходящую эстетическую ценность, как, например, лучшие образцы древнегреческой математики, математике вечной потому, что её лучшие произведения, подобно лучшим литературным произведениям, продолжают доставлять эмоциональное удовлетворение тысячам людей и поныне, тысячи лет спустя. Творцы этой математики были преимущественно чистыми математиками (хотя в то время различие между чистой и прикладной математикой было значительно менее чётким, чем теперь), но я думал не только о чистых математиках. К "настоящим" математикам я причисляю Максвелла и Эйнштейна, Эддингтона[ 123 ] и Дирака. Великие современные достижения в области прикладной математики были и в теории относительности, и в квантовой механике, и эти разделы науки, по крайней мере сейчас, почти столь же "бесполезны", как и теория чисел. На добро или на зло работают скучные элементарные разделы прикладной математики, равно как и скучные элементарные разделы чистой математики. Время может коренным образом изменить всё это. Никто не предвидел, что теории матриц и групп, а также другие чисто математические теории найдут применение в современной физике, и вполне может случиться так, что какие-то разделы "высоколобой" математики неожиданно станут "полезными". Но, как показывает накопленный опыт, как в одной области знания, так и в другой, в практической жизни полезно то, что обыденно и скучно.
123
Эддингтон, Артур Стэнли (1882-1944) - английский физик и астрофизик.
Я помню Эддингтона, подававшего счастливый пример непривлекательности "полезной" науки. Британская ассоциация проводила заседание в Лидсе, и кому-то пришла в голову мысль, что её членам, возможно, будет интересно послушать о приложениях науки в индустрии обработки шерсти. Но организованные с этой целью лекции и демонстрации потерпели фиаско. Выяснилось, что члены Ассоциации (независимо от того, были ли они жителями Лидса или нет) жаждали развлечений, а индустрия обработки шерсти не была особенно занимательной. Поэтому посещаемость лекций была разочаровывающе низкой. Что же касается лекций о раскопках на Кноссе, теории относительности или теории простых чисел, то они вызвали восторженные отзывы собиравшейся на них аудитории.
26
Какие разделы математики полезны?
Прежде всего те, что составляют школьную математику: арифметика, элементарная алгебра, элементарная евклидова геометрия, начала дифференциального и интегрального исчисления. Из этого перечня нам придётся исключить некоторое количество того, чему учат "специалистов", например, проективную геометрию. В прикладной математике полезны элементы механики (теорию электричества в том виде, в котором её преподают в школе, следует классифицировать как физику).
Полезна также значительная часть университетской математики, а именно та её часть, которая по существу служит продолжением школьной математики, но с более изощрённым аппаратом, и некоторые физики, такие, как теория электричества и гидромеханика. Следует помнить, что любой запас знаний всегда является преимуществом и что самые практичные математики могут оказаться в серьёзном затруднении, если их знания ограничены голым минимумом, включающим в себя только самое необходимое. Из этих соображений к каждому из перечисленных выше разделов математики необходимо немного добавить. Что же касается нашего общего заключения, то оно сводится к следующему: математика полезна в том объеме, в котором она востребована инженером высшей квалификации или физиком "средней руки", или, иначе говоря, "полезная" математика не отличается особыми эстетическими достоинствами. Например, евклидова геометрия полезна постольку, поскольку она скучна - нам ни к чему аксиомы о параллельных, теория пропорций или построение правильного пятиугольника.