Морис Клайн - Математика. Утрата определенности.

• Название: Математика. Утрата определенности.
• Автор: Морис Клайн
• Издательство: Мир
• Жанр: Математика
• Год: 1984

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

Рассчитана на достаточно широкий круг читателей с общенаучными интересами.

---

156

Поразительна близость этой позиции Фурье к воззрениям пифагорейцев (гл. I).

157

В последней части «Применение к пространству» замечательной лекции [106] Риман сам подробно обсуждает приложимость к (будущей) физике предложенных им геометрических схем.

158

Классификация дифференциальных уравнений по свойственным им группам симметрии была произведена великим норвежским математиком Софусом Ли (1842-1899), который построил своеобразную «теорию Галуа для дифференциальных уравнений», где вопрос о решимости алгебраического уравнения в радикалах заменялся вопросом о решимости дифференциального уравнения «в квадратурах» (т.е. с применением операции интегрирования). В свое время эта теория пользовалась очень большой популярностью, но затем в связи с наступлением века ЭВМ, поставившего совсем по-другому вопрос о решении дифференциальных уравнений, была почти забыта. Взрывоподобный рост интереса к учению Ли о «группах симметрии дифференциальных уравнений», выразившийся, в частности, в появлении большого числа посвященных этой теме книг (см., например, [109]) и диссертаций, относится к последним десятилетиям; это связано с той большой ролью, которую играют соображения симметрии в современной физике.

159

Артур Кали дал общее (абстрактное) определение группы еще в работах 1849-1854 гг. [у Э. Галуа фигурировали только группы подстановок. — Ред.], но значение этого понятия было оценено по достоинству лишь после того, как оно стало широко применяться в математике и естественных науках (о некоторых применениях мы упоминали выше).

160

Характерно даже название, которое дал Харди своему учебнику [110] (классического) математического анализа. [Заметим, что, вероятно, не меньше 90% всех упоминаний имени воинственного адепта «чистой» математики Харди в современной научной, научно-популярной и учебной литературе связано не с его на самом деле выдающимися достижениями в теории чисел, а с единственным «греком» — с выполненной в молодости несложной работой прикладного характера (так называемый закон Харди — Вейнберга популяционной генетики — см., например, [111]).]

161

Этот тезис можно и оспаривать: так, например, в теории кодирования, имеющей огромное прикладное значение в условиях современной недостаточности пропускной способности большинства линий связи, большую роль играет абстрактная алгебра (в частности, так называемые конечные поля Галуа), конечные геометрии (геометрии в плоскостях или пространствах, содержащих всего конечное число точек) и прочие разделы «абстрактной» математики, созданные вне всякой связи с возможными их приложениями (ср., например, [112] или статью [113]). Также и такие области математики, как топология или алгебраическая геометрия, (не говоря уже о функциональном анализе), совсем еще недавно считавшиеся чисто абстрактными, в последнее время стали активно изучаться (и применяться) физиками (см., например, [114]; ср. [103]).

162

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

163

SIAM [Society for Industrial and Applied Mathematics] Review, October 1962, pp. 297-320.

164

Классический пример, подкрепляющий высказанную мысль, доставляет нам хотя бы теория пределов, начавшаяся с принадлежащей Ньютону «чисто физической» концепции предела; также и первое определение предела, данное Д'Аламбером в одноименной статье знаменитой «Энциклопедии», с нашей сегодняшней точки зрения было дефектным (так, например, Д'Аламбер настаивал на монотонном приближении переменной величины к своему пределу). Ныне же мы имеем много разных определений этого понятия с разными областями применимости. (О другом примере такого рода — лейбницевском исчислении дифференциалов — ниже говорит сам автор.)

165

Напомним, что в те времена под словом «геометрия» часто понималась вся математика.

166

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

167

Карл Раймунд Поппер выдвинул также так называемый принцип фальсификации (опровержимости), согласно которому критерий научности теории задается возможностью опытного ее опровержения.

168

Название книги Клейна (Elementarmathematik vom höheren Standpunkte aus) точнее было бы перевести как «Элементарная математика с высшей точки зрения». — Прим. ред.

169

Ср. со сказанным в гл. VIII.

170

Противоположной точки зрения придерживался Гильберт — см. приведенную выше цитату из его статьи «О бесконечном» или с. 22 книги [51]. Популярно также известное высказывание А. Эйнштейна: «Самое непостижимое во Вселенной — это то, что она все-таки постижима».

171

Ср. с примечанием {6} к Введению.

172

Здесь естественно вспомнить о знаменитом физическом принципе неопределенности Гейзенберга, одна из распространенных интерпретаций которого говорит о неизбежном изменении физической интуиции при попытке ее наблюдения, скажем, об отклонении частицы от первоначального положения при падении на нее фотона света, без чего частицу нельзя увидеть. Аналогично этому филологи иногда говорят об определенной деформации природного явления при описании его на том или ином языке (Аристотель говорил о бесконечности природных явлений и конечности числа слов любого языка) и т.д.

173

Так, от Вейля идет, в частности, важная идея классификации физических объектов по свойственным им группам симметрии [121] (независимо от Вейля эту идею выдвинул в 1963 г. американский физик венгерского происхождения Юджин (Эуген) Вигнер (1963), уже после смерти Вейля удостоенный за нее Нобелевской премий по физике); Вейлю же принадлежит первый, притом выдающийся, учебник [122] общей теории относительности, содержащий свежие физические идеи, сыгравшие большую роль в дальнейшем прогрессе физической науки (ср., например, [123], а также [124]).

174

Учебник математической логики [125] отличается от многих других пособий широким обсуждением (гл. 1-4, с. 17-244) общих вопросов (смежных между математической логикой и философией математики) обоснования математической науки; с этой точки зрения вдумчивому читателю, желающему глубже ознакомиться с затронутыми в настоящей книге вопросами, вполне можно порекомендовать книгу [125] наряду, скажем, с классическим сочинением [86]* и довольно сложными, но высокосодержательными книгами [81].

175

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

176

По поводу возможных вариантов геометрической структуры физического пространства, отличных от классической геометрии Евклида, см. гл. IV. Что касается случаев, в которых может оказаться неприемлемой обычная арифметика, то здесь можно, например, порекомендовать читателю неконкретную, но весьма выразительно написанную заметку [30].

177

Сходные результаты может дать анализ русского РЖ «Математика» или немецкого (ГДР / ФРГ) журнала Zentralblaft für Mathematik.

178

Здесь естественно вспомнить призыв Д'Аламбера, хорошо понимавшего шаткость оснований, на которых зиждилась математика его времени: «Работайте, работайте — понимание придет потом».