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

В расчетах, относящихся к большим областям земном поверхности (каковой можно считать и княжество Ганновер), приходится учитывать отличие поверхности Земля от плоскости; и обдумывая это обстоятельство, Гаусс пришел к глубокой концепции внутренней геометрии поверхности, задаваемой ее метрикой, т.е. измеряемым по поверхности расстояниям. Соответствующая теория была изложена Гауссом в обширном труде «Общие исследования о кривых поверхностях» [ Disquesitiones générales circa superficies curvas, 1828; русский перевод см. ([24], с. 123-161)], давно считающемся математической классикой.

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

Андроник Родосский, выпустивший в I в. до н.э. собрание сочинений Аристотеля, назвал «Органоном» свод работ последнего по логике и строению наук, написанных независимо одна от другой и, видимо, в разное время; названием «Новый органон» Бэкон подчеркивал и близость свою к Аристотелю (по теме), и резкое различие (по установкам).

Мистик Ньютон был уверен (без всяких оснований, разумеется, — ср. сказанное выше о так называемой «проблеме трех тел») в неустойчивости Солнечной системы, тогда как в XVIII в. атеист и крайний рационалист Лаплас столь же безосновательно утверждал, что он может доказать ее устойчивость.

Это принадлежащее (или приписываемое) Лапласу высказывание выразительно демонстрирует успехи, которые к тому времени сделал «галилеев подход» к естественнонаучным проблемам (математическая формула, а не физическое описание). Ньютону бог был необходим для того, чтобы объяснить гравитационное «дальнодействие» (можно полагать, что паскалевское «определение» бога: «сфера, центр которой находится всюду, а периферия нигде», полностью снимающее вопрос об «агенте», передающем гравитационное воздействие, было достаточно близко Ньютону); именно этот «теологический» характер теории Ньютона делал ее неприемлемой для рационалистов Лейбница и Гюйгенса. Лаплас же полностью принял завет Галилея; никогда не спрашивать «как?», если мы можем ответить на вопрос «на сколько?»; поэтому для него бог в ньютоновской системе мира оказался уже вовсе ненужным.

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

Не особенно эрудированному в области геометрии, но глубоко мыслящему Канту были впрочем, свойственны и глубоко нетривиальные прозрения. Так, в 1846 г. он писал, что трехмерность нашего пространства вытекает из характера закона всемирного тяготения Ньютона; это совершенно верно, но было строго доказано лишь много позже. Далее Кант утверждал, что из другого закона притяжения сил вытекала бы иная структура пространства, иное число измерений, причем если иные пространства возможны, то весьма вероятно, что бог их где-то действительно разместил.

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

Истории проблематики, связанной с пятым постулатом Евклида, посвящена, в частности, книга Роберто Бонолы «Неевклидова геометрия», впервые вышедшая в 1906 г. на итальянском языке. Английский перевод: Bonola R. Non-euclidean geometry. — N.Y. Dover Publ., 1955 ([26]; см. также [27]).

Приводимое ниже описание воспроизводит схему рассуждений Саккери с небольшими изменениями. [В частности, за исходный пункт своих рассуждений Саккери — как позже и Ламберт — принял не аксиому Плейфера, а предположение, равносильное утверждению о равенстве суммы углов треугольника 180°; в опровержение этого предположения утверждалось, что сумма углов треугольника меньше (соответственно больше) 180°. — Ред. ]

Аналогичную мысль в свое время высказывал, правда мимоходом, и Ньютон, но на нее не обратили внимания.

Окончательного признания возможности неевклидовой геометрии у Ламберта все же не было; по-видимому, впервые решились на этот шаг упоминаемые ниже Ф.К. Швейкарт и его племянник Ф.А. Тауринус. Однако Ламберт высказал провидческую мысль о том, что неевклидова геометрия должна была бы выполняться на сфере мнимого радиуса, если бы такая сфера существовала; впоследствии эта, в то время казавшаяся бессодержательной, идея была реализована даже несколькими различными путями.

Книга Tentamen вышла в свет в 1832 г., однако уже в 1831 г. Я. Бойаи имел на руках оттиски своего Приложения (Appendix) к книге, один из которых он сразу же отправил Гауссу. Впрочем, Гаусс не получил этой работы и ознакомился с ней, лишь прочитав экземпляр книги своего друга Фаркаша Бойаи.

Саккери твердо считал, что доказал 5-й постулат Евклида; поэтому его никак нельзя считать создателем неевклидовой геометрии. Клюгеля и Ламберта в том контексте, в каком упоминает их автор, уместнее заменить Швейкартом и Тауринусом (ср. прим. {47}); однако малочисленность их публикаций на эту тему, которую они вскоре оставили (Ф.К. Швейкарт вообще был по специальности юристом, а не математиком), делает сомнительным их приоритет в создании неевклидовой геометрии. Более основательна стандартная точка зрения, приписывающая это выдающееся открытие Лобачевскому [первый публичный доклад на эту тему (1826); первая публикация (1829-1830)], Бойаи (явно независимая от Лобачевского публикация 1831-1832 гг.) и Гауссу.

И даже никакими экспериментами тоже; утверждение о существовании одной или многих прямых, проходящих через точку P и не пересекающих AB, апеллирует к представлению о всем (бесконечном!) пространстве и потому непроверяемо; опыты же с измерением суммы углов треугольника в принципе могут помочь установить отличие этой суммы от 180°, но никогда — равенство 180°; ведь всегда можно опасаться, что полученное нами значение столь близко к 180° лишь потому, что выбранный треугольник слишком мал.