Математика. Утрата определенности.
Шрифт:
Рассказывают, что один из выдающихся английских математиков — Годфри Гарольд Харди (1877-1947) — однажды провозгласил тост: «За чистую математику! Да не найдет она никаких приложений!». {160} Леонард Юджин Диксон (1874-1954), пользовавшийся непререкаемым авторитетом в Чикагском университете, говаривал: «Слава богу, теория чисел не запятнана никакими приложениями».
В статье о математике, написанной во время второй мировой войны (1940), Харди утверждал:
160
Характерно даже название, которое дал Харди своему учебнику [110] (классического) математического анализа. [Заметим, что, вероятно, не меньше 90% всех упоминаний имени воинственного адепта «чистой» математики Харди в современной научной, научно-популярной и учебной литературе связано не с его на самом деле выдающимися достижениями в теории чисел, а с единственным «греком» — с выполненной в молодости несложной работой прикладного характера (так называемый закон Харди — Вейнберга популяционной генетики — см., например, [111]).]
Считаю своим долгом заявить с самого начала, что под математикой я понимаю настоящуюматематику, математику Ферма и Эйлера, Гаусса и Абеля, а не то, что выдают за математику в инженерной лаборатории. Я имею в виду не только «чистую» математику (хотя именно она интересует меня в первую очередь) — Максвелла и Эйнштейна, Эддингтона и Дирака я также причисляю к «чистым» математикам.
Прочитав эти строки, повторенные
В понятие чистой математики я включаю всю совокупность математических знаний, обладающих непреходящей эстетической ценностью, какой обладает, например, греческая математика, которая вечна потому, что лучшая ее часть, подобно лучшим произведениям литературы, и через тысячи лет продолжает приносить тысячам людей эмоциональное удовлетворение.
Харди и Диксон могут покоиться с миром, ибо история подтвердила правильность их высказываний. Их чистая математика, как и всякая математика, созданная ради самой себя, почти заведомо не найдет никаких приложений. {161} Тем не менее полностью исключить всякую применимость чистой математики «по Харди и Диксону» мы не можем. Ребенок, наугад наносящий мазки краски на холст, может создать шедевр, соперничающий с картинами Микеланджело (скорее с произведениями современного искусства!), а обезьяна, нажимающая как попало клавиши пишущей машинки, может, как заметил Артур Эддингтон, создать пьесу, сравнимую по своим художественным достоинствам с пьесами Шекспира. Когда работают тысячи чистых математиков, вряд ли можно поручиться, что хотя бы один из полученных результатов случайно не окажется полезным для каких-либо приложений. Тот, кто ищет на улице золотые монеты, может найти мелкие медные монетки. Но интеллектуальные усилия, не соотнесенные с реальностью, почти заведомо оказываются бесплодными. Как заметил Джордж Биркгоф, «по-видимому, новые математические открытия, совершаемые по подсказке физики, всегда будут наиболее важными, ибо природа проложила путь и установила каноны, которым должна следовать математика, являющаяся языком природы». Но природа не сообщает свои секреты громогласно, а шепчет еле слышно — и математик должен чутко прислушиваться, усиливать слабый голос природы и доносить услышанное до всеобщего сведения.
161
Этот тезис можно и оспаривать: так, например, в теории кодирования,имеющей огромное прикладное значение в условиях современной недостаточности пропускной способности большинства линий связи, большую роль играет абстрактная алгебра(в частности, так называемые конечные поля Галуа), конечные геометрии(геометрии в плоскостях или пространствах, содержащих всего конечное число точек) и прочие разделы «абстрактной» математики, созданные вне всякой связи с возможными их приложениями (ср., например, [112] или статью [113]). Также и такие области математики, как топологияили алгебраическая геометрия,(не говоря уже о функциональном анализе), совсем еще недавно считавшиеся чисто абстрактными, в последнее время стали активно изучаться (и применяться) физиками (см., например, [114]; ср. [103]).
Несмотря на убедительные свидетельства истории, некоторые математики продолжают утверждать, что чистая математика в будущем непременно найдет приложения и что независимость математики от естественных наук якобы расширяет ее перспективы. Этот тезис недавно (1961) был повторен профессором Гарвардского, Йельского и Чикагского университетов Маршаллом Стоуном. В статье «Революция в математике» Стоун, воздав должное значению математики для естественных наук, далее говорит;
Хотя в нашей концепции математики и в наших взглядах на нее по сравнению с началом XX в. произошло несколько важных изменений, лишь одно из них вызвало подлинный переворот в наших представлениях о математике — открытие полной независимости математики от физического мира… Математика, как мы сейчас понимаем, не имеет ни одной обязательной связи с физическим миром, помимо той смутной и несколько загадочной, что неявно содержится в утверждении о том, что процесс мышления происходит в мозгу. Без преувеличения можно сказать, что открытие независимости математики от внешнего мира знаменует собой одно из самых значительных интеллектуальных достижений в истории математики…
Сравнивая современную математику с той, какой она была в конце XIX в., нельзя не удивляться, как быстро выросла наша математика и количественно, и качественно. Вместе с тем нельзя не отметить, как быстро она развивалась, как все больше места в ней отводилось абстракции и все больше внимания уделялось введению и анализу емких математических структур. Как показывает более внимательное рассмотрение, именно новая ориентация математики, ставшая возможной лишь благодаря ее отходу от приложений, и была подлинным источником необычайной жизнеспособности и роста математики за последнее столетие…
Современный математик предпочитает определять предмет своей науки как изучение общих абстрактных схем, каждая из которых представляет собой здание, построенное из вполне определенных абстрактных элементов, скрепленных произвольными, но однозначно определенными соотношениями… По мнению математика, ни сами системы, ни предоставляемые логикой средства для изучения их структурных свойств не имеют прямой или необходимой связи с физическим миром… Лишь в той степени, в какой математика освободилась от уз, связывающих ее в прошлом с теми или иными конкретными аспектами реальности, она может стать гибким и мощным инструментом, столь необходимым для вторжения в области, лежащие за пределами известного. Уже сейчас можно было бы привести многочисленные примеры, подтверждающие сказанное…
Далее Стоун приводит в качестве примеров генетику, теорию игр и математическую теорию связи. В действительности же эти примеры вряд ли могут служить подтверждением его тезиса. Все названные им науки возникли в результате применения классической математики, стоявшей на прочном физическом основании. {162}
С резкими возражениями против отстаиваемого Стоуном тезиса выступил в 1962 г. Курант {163} :
В статье [Стоуна] утверждается, что мы живем в эпоху великих успехов математики, превосходящих все когда-либо достигнутое в прошлом со времен античности. Причину триумфа «современной математики» автор статьи усматривает в одном фундаментальном принципе: абстракции и сознательном отрыве математики от физического и прочего содержания. По его мнению, математический ум, освобожденный от балласта, может воспарить до высот, откуда можно прекрасно наблюдать и исследовать лежащую глубоко внизу реальность.
Я отнюдь не склонен извращать или приуменьшать высказывания или педагогические выводы знаменитого автора. Но как призывный клич, как попытка указать направление, в котором должны развиваться исследования, и прежде всего образование, статья Стоуна в действительности представляет собой сигнал опасности и зов о помощи. Опасность преисполненного энтузиазмом абстракционизма усугубляется тем, что абстракционизм не отстаивает бессмыслицы, а выдвигает полуистину. Разумеется, совершенно недопустимо, чтобы односторонние полуистины мирно сосуществовали с жизненно важными аспектами сбалансированной полной истины.
Никто не станет отрицать, что абстракция является действенным инструментом математического мышления. Математические идеи нуждаются в непрестанной «доводке», придающей им все более абстрактный характер, в аксиоматизации и кристаллизации. Правда, существенного упрощения в понимании структурных связей и зависимостей удается достичь лишь после выхода на более высокое плато. Верно и то, что, как неоднократно подчеркивалось, основные трудности в математике исчезают, если отказаться от метафизических предрассудков и перестать рассматривать математические понятия как описания некой реальности.
Я отнюдь не отрицаю, что наша наука питается живительными соками,
Нам ни в коем случае не следует принимать старую кощунственную чушь о том, будто математика существует к «вящей славе человеческого разума». Мы не должны допускать раскола и разделения математики на «чистую» и «прикладную». Математика должна сохраниться и еще более укрепиться как единая живая струя в бескрайнем потоке науки. Нельзя допустить, чтобы она превратилась в ручеек, уходящий в сторону от основного потока и теряющийся в песках.
Центробежные силы внутренне присущи математике и все же непрестанно угрожают ее существованию. Фанатики изоляционистского абстракционизма представляют для математики реальную опасность. Но не меньшую опасность представляют консервативные реакционеры, не умеющие проводить различия между пустыми претензиями и подлинным вдохновением.
162
Стоун, видимо, имел в виду совершенно новые разделы математической науки (математическую теорию связи, или теорию информации; теорию кодирования; теорию игр), возникшие сравнительно недавно в связи с их применениями, в далее развивавшиеся как чисто абстрактные области знания, бурный прогресс которых, безусловно, стимулировался возможностями немедленного использования полученных в этих направлениях результатов (осуществляющегося, однако, чаще всего, не математиками, а техниками, экономистами или биологами).
163
SIAM[Society for Industrial and Applied Mathematics] Review,October 1962, pp. 297-320.
Не отрицая ценности абстракции, Курант утверждал в 1964 г., что математика должна черпать побудительные мотивы из вполне конкретных проблем и должна быть нацелена на некий слой реальности. Если математике необходимо воспарить в абстракцию, то полет в горные выси должен быть не просто бегством от реальности — неоценимое значение имеет возвращение на землю, даже если один и тот же пилот не в состоянии взять на себя управление полетом от начала и до конца.
Математику часто сравнивают с деревом, корни которого прочно и глубоко вросли в плодородную естественную почву. Ствол дерева — число и геометрическая фигура. От ствола отходит множество ветвей, символизирующих различные понятия и разделы математики, которые возникли в ходе ее развития. Одни ветви прочны и питают множество молодых побегов, другие дали несколько чахлых отростков, не увеличивающих особо ни размеры, ни прочность всего дерева. Есть на дереве и засохшие, мертвые ветви. Но самое важное, пожалуй, то, что дерево математики уходит своими корнями в надежную земную твердь, а через ствол и ветви с реальностью связаны и все математические теории. Предпринятые в последнее время попытки полностью удалить почву, оставив в неприкосновенности дерево, корни, ствол и все пышную крону, не могли увенчаться успехом. Многие ветви смогут расцвести лишь после того, как корни еще глубже проникнут в плодородную землю. От черенков, привитых на новые ветви, но не подпитываемых живительными соками реальности, рождались вялые побеги, которым так и не суждено было обрести жизнь. При тщательном уходе таким побегам можно придать видимость живых: они также отходят от ствола и переплетаются с зелеными ветвями, но все же они мертвы, и их можно отсечь, не нанеся ни малейшего ущерба всему живому.
Другие аргументы, казалось бы, подкрепляют утверждение Стоуна о том, что возможность свободно заниматься чистой математикой благоприятно скажется на укреплении всей математики и будет способствовать возникновению новых подходов к прикладной математике. Но тот, кто занимается чистой математикой, сколь бы изощрен ни был его разум и сколь бы громкое имя он ни носил, затрачивает на это значительную часть своих сил и, следовательно, может с меньшей эффективностью применять математические построения к практическим ситуациям. Отдавая свое время и энергию абстрактной математике, он неизбежно проникается ее атмосферой, и у него остается меньше времени для того, чтобы узнать о потребностях прикладной математики и разработать средства, отвечающие ее нуждам. Прикладные математики могут с пользой для себя осведомляться о достижениях чистых математиков, однако чрезмерное внимание к чистой математике приводит к пагубному для судеб математики распылению ресурсов. Невнимание к приложениям чревато изоляцией и, возможно, атрофией всей математики в целом.
Как показала история, Стоун заведомо заблуждался. В своем очерке «Математик» (1947) фон Нейман отметил:
Не подлежит сомнению, что определенная часть движущих идей в математике (причем именно в тех ее разделах, к которым как нельзя лучше применимо название «чистая математика») берет свое начало в естественных науках… На мой взгляд, наиболее характерная отличительная черта математики состоит в ее особом отношении к естественным наукам и вообще к любой науке, интерпретирующей факты на уровне более высоком, чем чисто описательный.
Выдающийся французский математик Лоран Шварц, не колеблясь, заявил, что наиболее бурно развивающиеся области современной математики — абстрактная алгебраи алгебраическая топология— не имеют приложений. {161} Некоторые работы облекают конкретные темы в терминологию и понятия, характерные для этих областей, но подобный камуфляж не способствует решению прикладных проблем.
Однако сторонники чистой, абстрактной математики не думают сдаваться. Один из ведущих аналистов нашего времени профессор Жан Дьедонне в 1964 г. отверг, как ошибочное, утверждение о том, что если математике предоставить вариться в собственном соку, то она погибнет от истощения:
161
Этот тезис можно и оспаривать: так, например, в теории кодирования,имеющей огромное прикладное значение в условиях современной недостаточности пропускной способности большинства линий связи, большую роль играет абстрактная алгебра(в частности, так называемые конечные поля Галуа), конечные геометрии(геометрии в плоскостях или пространствах, содержащих всего конечное число точек) и прочие разделы «абстрактной» математики, созданные вне всякой связи с возможными их приложениями (ср., например, [112] или статью [113]). Также и такие области математики, как топологияили алгебраическая геометрия,(не говоря уже о функциональном анализе), совсем еще недавно считавшиеся чисто абстрактными, в последнее время стали активно изучаться (и применяться) физиками (см., например, [114]; ср. [103]).
Напоследок я хотел бы подчеркнуть, сколь мало новейшая история оправдывает благочестивые пошлости прорицателей краха, регулярно предупреждающих нас о гибельных последствиях, которые математика неминуемо навлечет на себя, если откажется от применений к другим наукам. Я не собираюсь утверждать, что тесный контакт с иными областями, такими, как теоретическая физика, невыгоден для обеих сторон. Однако совершенно ясно, что из всех поразительных достижений, о которых я рассказывал, ни одно, за возможным исключением теории распределений, ни в малейшей степени не пригодно для физических применений. Даже в теории уравнений с частными производными сейчас упор больше делается на «внутренние» и структурные проблемы, чем на вопросы, имеющие прямое физическое значение. Даже если бы математика насильно была отрезана от всех прочих каналов человеческой деятельности, в ней достало бы на столетия пищи для размышлений над большими проблемами, которые мы должны еще решить в нашей собственной науке.