Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса - Марио Ливио

Недостатки классической евклидовой геометрии становились все очевиднее, и это вынудило математиков всерьез задуматься об основах математики в целом и об отношениях математики и логики в частности. К этой важной теме мы вернемся в главе 7. Здесь же позвольте лишь отметить, что поколебалось представление о самоочевидности аксиом и постулатов как таковых. А следовательно, именно революция в геометрии, вероятно, оказала самое сильное влияние на представление о природе математики – невзирая на то, что в XIX веке был достигнут значительный прогресс и в алгебре, и в анализе.

Однако математики не могли подступиться к всеохватной теме оснований математики, пока не были решены некоторые «мелкие» вопросы, требовавшие немедленного вмешательства. Во-первых, разработка и публикация неевклидовых геометрий сама по себе не означала, что это были законные отпрыски математики. Над математикой довлел непреодолимый страх перед логической непоследовательностью – перед тем, что если довести эти геометрии до логического конца, это приведет к неразрешимым противоречиям. К 1870 годам итальянец Эудженио Бельтрами (1835–1900) и немец Феликс Клейн (1849–1925) показали, что неевклидовы геометрии последовательны в той же мере, что и евклидова. Однако это не решало более масштабный вопрос о прочности оснований евклидовой геометрии. Кроме того, вставал и важный вопрос о релевантности. Большинство математиков считали новые геометрии в лучшем случае забавными курьезами. Исторически сложилось так, что своим огромным авторитетом евклидова геометрия была обязана именно тому, что считалась описанием реального пространства, а неевклидовы, как поначалу казалось, вообще не имели отношения к физической реальности. Поэтому в глазах большинства математиков неевклидовы геометрии были не более чем бедными родственницами евклидовой. Анри Пуанкаре оказался немного гибче прочих, но даже он утверждал, что если бы люди попали в мир, где общепринята какая-нибудь неевклидова геометрия, – и тогда было бы «ясно, что мы не сочли бы более удобным перейти» с евклидовой геометрии на неевклидову. Поэтому назрели два вопроса: (1) можно ли воздвигнуть геометрию в частности и другие математические дисциплины в целом на прочном аксиоматическом логическом основании и (2) каковы отношения между математикой и физическим миром и есть ли они вообще?

Некоторые математики предпочли прагматический подход к логическим основам геометрии. То, что они считали абсолютными истинами, как выяснилось, зиждется скорее на житейском опыте, чем на строгих доказательствах, поэтому они от огорчения обратились к арифметике – математике чисел. Оказалось, что нужными инструментами для восстановления оснований геометрии на базе чисел обладает аналитическая геометрия Декарта, в которой точки на плоскости определялись упорядоченными парами чисел, а окружности – парами, удовлетворяющими определенному уравнению (см. главу 4) и так далее. Считают, что тенденцию к этому сдвигу описал немецкий математик Якоб Якоби (1804–1851), когда переиначил фразу Платона «Бог всегда остается геометром» – и у него получилось «Бог всегда остается арифметиком». Однако все эти усилия, можно сказать, ни к чему не привели – только переместили проблему в другую область математики. Великий немецкий математик Давид Гильберт (1862–1943) все же сумел показать, что евклидова геометрия непротиворечива в той же степени, что и арифметика, – а непротиворечивость последней к тому времени была уже бесспорно установлена.

Теперь отношения математики с физическим миром понимали по-новому. Долгие века интерпретация математики как инструмента для чтения мироздания постоянно получала ярчайшие подтверждения. Галилей, Декарт, Ньютон, все Бернулли, Паскаль, Лагранж, Кетле и другие ученые подвели под естественные науки математический фундамент, и это считалось явным свидетельством того, что природа обладает математической структурой. Резонно спросить: если математика не служит языком мироздания, почему же ей удается так замечательно описывать все на свете – от основных законов природы до человеческих черт?

Разумеется, математики отдавали себе отчет, что математика имеет дело лишь с довольно-таки абстрактными платоновскими формами, однако полагали, что это разумная идеализация реальных физических предметов и явлений. В сущности, ощущение, что книга природы написана на языке математики, укоренилось так глубоко, что многие математики наотрез отказывались даже рассматривать математические структуры и понятия, если те не были прямо связаны с физическим миром. Так обстояло дело, например, с колоритным персонажем по имени Джероламо Кардано (1501–1576). Кардано был состоявшимся математиком, известным врачом и прожженным игроком. В 1545 году он опубликовал одну из самых влиятельных книг в истории алгебры – «Ars Magna» («Великое искусство»). В этом всеобъемлющем трактате Кардано подробнейшим образом изучил решения алгебраических уравнений, от простого квадратного уравнения, где неизвестное появляется во второй степени (x 2), до кубических уравнений (x 3) и уравнений четвертой степени (x 4), чего до него никто не делал. Однако в классической математике количества часто интерпретировались как элементы геометрии. Например, значение неизвестной x определялось как отрезок данной длины, значение x 2 – как площадь квадрата, третья степень – x 3 – рассматривалась как объем куба со стороной данной длины. Поэтому в первой главе «Ars Magna» Кардано поясняет следующее (Cardano 1545).

Иначе говоря, Кардано утверждает, что поскольку физический мир в том виде, в каком мы его воспринимаем органами чувств, содержит всего три измерения, со стороны математиков было бы глупо заниматься более высокими измерениями или уравнениями более высокого порядка.

Похожие мнения высказывал английский математик Джон Валлис (1616–1703), по чьей работе «Arithmetica Infinitorum» («Арифметика бесконечных чисел») Ньютон учился методам анализа. В другой важной книге – «Treatise of Algebra» («Трактат по алгебре») – Валлис прежде всего делает следующую оговорку: «Природа, строго говоря, не допускает более трех (локальных) измерений»[107]. Затем Валлис уточнил.