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

 

Научный редактор А.Н. Кондрашова

Мл. научный редактор М.В. Суровова

Художники Д.А. Аникеев, Ю.А. Ващенко

Художественный редактор В.Б. Прищепа

Технический редактор Л.П. Бирюкова

Корректор В.И. Постнова

 

ИБ 3589

 

Сдано в набор 02.04.84 Подписано к печати 24.08.84. Формат 60 X 901/16. Бумага типографская №2. Гарнитура литератур. Печать высокая. Объем 14,0 бум. л. Усл. печ. л. 28,0. Усл. кр.-отт. 28, 0. Уч.-изд. л. 32,67. Изд. №12/2649. Тираж 50 000 экз. Заказ №341. Цена 1 р. 90 к.

 

Издательство «Мир» 129820, Москва, И-110, ГСП, 1-й Рижский: пер., 2

 

Отпечатано в Ленинградской типографии №2 головном предприятии ордена Трудового Красного Знамени Ленинградского объединения «Техническая книга» им. Евгении Соколовой Союзполиграфпрома при Государственном комитете СССР по делам издательств, полиграфии и книжной торговли, 198052, г. Ленинград, Л-52, Измайловский проспект, 29 с матриц ордена Октябрьской Революции и ордена Трудового Красного Знамени Первой Образцовой типографии имени А.А. Жданова Союзполиграфпрома при Государственном комитете СССР по делам издательств, полиграфии и книжной торговли. 113054, Москва, Валовая, 28

 

[1]Ныне этот журнал переводится на русский язык и публикуется издательством «Мир» под названием «В мире науки».

 

[2]Здесь и далее ссылки на литературу, помеченные звездочкой, относятся к авторскому списку «Избранная литература».

 

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

 

[4]Трудно не процитировать здесь столь почитаемого Клайном Германа Вейля: «…Процесс познания начинается, так сказать, с середины и далее развивается не только по восходящей, но и по нисходящей линии, теряясь в неизвестности. Наша задача заключается в том, чтобы постараться в обоих направлениях пробиться сквозь туман неведомого, хотя, конечно, представление о том, что колоссальный слон науки, несущий на себе груз истины, стоит на каком-то абсолютном фундаменте, до которого человек может докопаться, является не более чем легендой» (из статьи «Феликс Клейн и его место в математической современности»; Felix Klein. Stellung in der mathematischen Gegenwart. Die Naturwissenschaften, Bd 18, 1930, S. 4-11; Gesammelte Abhandlungen, Bd, 3. — Berlin: Springer-Verlag, 1968, S. 292-299).

 

[5]Пуанкаре А. О науке. — М.: Наука, 1983, с. 294.

 

[6]Относящийся к нашему времени выразительный пример подобного отношения к математике приводит в своей статье «Эйнштейн и физика второй половины XX века» [60] выдающийся современный физик, лауреат Нобелевской премии Ч. Янг (Ян Чжэиьнин). Он рассказывает, как, придя к своему старому учителю Чжень Шеншеню, ныне профессору Калифорнийского университета в Беркли и одному из крупнейших современных геометров, он выразил удивление тем, как быстро понадобились физикам идущие в значительной степени от Чженя так называемые связности на расслоениях, придуманные математиками вне всякой связи с физической реальностью. На это Чжень ответил ему: «Но ведь никак нельзя сказать, что это мы, математики, выдумали связности на расслоениях — ясно, что они существовали и до нас».

 

[7]С этой точки зрения характерно, что Предложение 1 евклидовых «Начал» содержит построение равностороннего треугольника, что единственно оправдывает данное несколько ранее определение такого треугольника (ср. [25], с. 13, 15-16).

 

[8]Так, например, еще Платон весьма высоко ценил логический метод «доказательства от противного», при котором установление истинности предложения p начинается с предпосылки «пусть p неверно», и из этой предпосылки выводится противоречие [так, пифагорейское доказательство иррациональности √2 (в наших обозначениях) начинается с утверждения: «Пусть √2 = m/n — рационально…»]. Общую форму этому методу придал, как будто, основатель так называемой элейской школы в древнегреческой философии Парменид (V в. до н.э.), глубоко почитавшийся Платоном (ему посвящен диалог Платона «Парменид»).

 

[9]Укажем, однако, что статут «временно поселившихся лиц», или метеков, имели в Афинах периода их расцвета и многие выдающиеся ученые — назовем хотя бы имена Аристотеля из Стагира, Евдокса Родосского, Демокрита Абдерского, Гиппократа Хиосского (математик) или Гиппократа Косского (врач).

 

[10]Во всяком случае, Архимед был тесно связан с александрийскими учеными, в частности, хорошо известна его дружба (и переписка) с Эратосфеном.

 

[11]От греческого слова μεγιση — величайший ; это название хорошо характеризует отношение арабских ученых к замечательному произведению Птолемея.

 

[12]Возможно, что вариант «Катоптрики», которым мы располагаем сегодня, в действительности представляет собой компиляцию работ нескольких авторов, в том числе и Евклида.

 

[13]В 529 г. византийский император Юстиниан приказал закрыть, как языческую, платоновскую Академию, существовавшую около 800 лет.

 

[14]Подробнее о достижениях арабских и индийских математиков рассказывается в гл. V.

 

[15]Аристотель, c его чисто умозрительным подходом к физическим задачам, склонен был считать, что тяжелое тело, брошенное под углом к земной поверхности, движется по «простейшим линиям», т.е. описывает отрезок прямой, переходящий затем в дугу окружности; ясно, что столь грубое приближение к реальности никак не могло быть достаточным для артиллерийской практики.

 

[16]Позицию Аристарха в этом вопросе разделял и столь глубоко ценимый всеми учеными эпохи Возрождения Архимед Сиракузский.

 

[17]Имеются в виду так называемые платоновы тела — правильные тетраэдр, гексаэдр (куб), октаэдр, икосаэдр и додекаэдр. — Ред.

 

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

 

[19]Рационалисты Декарт и Лейбниц были глубоко верующими людьми, но в их философских и научных системах богу отводилось весьма ограниченное место. В частности, Декарт (а вслед за ним в еще более отчетливой форме Лейбниц) считал бога «гарантом истинности логики», так как ее аксиомы (как и любые другие математические аксиомы!) не доказываются, а принимаются на веру.

 

[20]Католический монах Марен Мерсенн (1588-1648) не был особенно крупным ученым (хоть его имя сохранилось в современной теории чисел); однако организующая роль его в науке XVII в. была огромной: в эту эпоху отсутствия научных журналов Мерсенн был своего рода центром оживленной переписки ученых и у него всегда можно было получить информацию о текущих успехах математиков разных стран.

 

[21]В этом отношении позиции рационалистов Декарта и Лейбница, с одной стороны, и мистика Ньютона, с другой, были принципиально различными (ср. гл. III).

 

[22]Заметим, что древнегреческие ученые классического и эллинистического периодов, следуя метафизическим установкам элейской школы и Аристотеля стремились полностью изгнать из геометрии движение: если сам перечень доказанных Фалесом (или его последователями) теорем, приводимый последующими авторами, свидетельствует об определяющей роли соображений симметрии и движений в дедуктивной геометрической системе ионийцев, то у Евклида использование движений в геометрии было старательно сведено к возможному минимуму.

 

[23]Слово «геометрия» служило в античный период синонимом слова «математика» еще и в силу специфических условий развития науки в Древней Греции: ведь, не имея рациональной системы счисления и правил записи чисел (не говоря уж об алгебраической символике!), греки даже алгебраические теоремы и понятия часто вынуждены были излагать на геометрическом языке. Величайший авторитет греческой науки привел к тому, что в течение тысячелетий, когда первоначальные причины отождествления геометрии со всей математикой уже отпали, люди по-прежнему зачастую именовали математику геометрией (ср. также ниже прим. 26).

 

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

 

[25]Характерно, что в последние годы своей жизни Паскаль (как позже и Ньютон) полностью оставил науку, целиком обратившись к теологии и моральной философии. Нам кажется, что равный вклад, внесенный в науку XVII в. рационалистами (Галилей, Декарт, Гюйгенс, Лейбниц), верящими во всемогущество человеческого разума, и мистиками (Кеплер, Паскаль, Ньютон), более полагающимися на озарение, чем на строгую логику, напоминает об ограниченности формально-логического подхода к природе и о существовании двух взаимно-дополнительных путей постижения истины: дискурсивного и интуитивного (по этому поводу см. например, [32]).

 

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

 

[27]В XIII в. решающее значение эксперимента для точного знания постулировал английский монах-францисканец Роджер Бэкон (ок. 1214-1299), взгляды которого, однако, полностью противоречили мировоззрению его времени, что определило трагический характер жизни Р. Бэкона.

 

[28]Кант И. Сочинения в 6-ти томах, т. 6. — М.: Мысль, 1966, с. 59.

 

[29]Резкая полемика между Ньютоном и Гуком по поводу приоритета в открытии закона (1) всемирного тяготения оставляет столь тягостное впечатление еще потому, что целиком относящийся по своей научной идеологии к «доньютоновскому» периоду великий ученый Гук так, видимо, и не понял, что его претензии на это выдающееся открытие были неосновательными. Гук выписал формулу (1), исходя из чисто умозрительных соображений: «ясно», что гравитационная сила, создаваемая массой M, должна быть пропорциональна M ; с другой стороны, поскольку на расстоянии r от массы эта сила равномерно распространяется по сфере площади 4πr2, то сила в каждой точке этой сферы должна быть обратно пропорциональна r2. То, что эти чисто эвристические соображения могут лишь подсказать ответ, но никак не доказать его, Гуку понять было не дано.

 

[30]Надо иметь в виду, что под «натуральной философией природы» во времена Ньютона понимали физику, так что латинское название великого труда Ньютона можно перевести как «Математические основы физики».

 

[31]Напомним, что М. Фарадей (1791-1867) и даже Д.К. Максвелл (1831-1879) в аналогичной ситуации, а именно в своем истолковании электромагнитных явлений, исходили из механистических объяснений сил притяжения и отталкивания заряженных тел, опирающихся на фиктивные «силовые трубки» в (несуществующем) эфире, что исключало необходимость апелляция к дальнодействию. [Впрочем, эти ошибочные объяснения физической природы явлений не помешали названым великим ученым пройти к правильным выводам, в частности к знаменитым уравнениям Максвелла, дающим исчерпывающее количественное описание рассматриваемых феноменов.]

 

[32]Классик английской литературы С. Джонсон (1709-1784) более всего прославился как составитель первого научного «Словаря английского языка» (1755), ввиду чего его часто называют «великим лексикографом».

 

[33]В «Оптике» [22] Ньютон все же обратился к физическим объяснениям; однако, как мы знаем теперь, они не были адекватны реальным процессам и, кроме того, не охватывали весь комплекс оптических явлений.

 

[34]Оживленная дискуссия между Д. Бернулли, Эйлером и Д'Аламбером по поводу исследования колебаний струны (в которой каждый из этих трех выдающихся ученых был несогласен с двумя другими) связана с тем, что в XVIII в. не было еще полной ясности относительно определения понятия функции : дискуссия весьма способствовала внесению ясности в этот важный вопрос.

 

[35]Ясно, что создатели гидродинамики Эйлер и Д'Аламбер ничего не знали о так называемых турбулентных течениях с нерегулярным, случайным характером движения отдельных частиц жидкости (для создания теории таких течений тогда еще не существовало подходящего математического аппарата); игнорирование этого обстоятельства приводило их даже к некоторым парадоксам, в то время неразрешимым.

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

[51]Лобачевский и Гаусс независимо осознали, что геометрия реального (физического) пространства может быть как евклидовой, так и неевклидовой. (Бойаи, заинтересованного в первую очередь в, так сказать, «логическом статусе» новой геометрии, эта постановка вопроса занимала меньше.)

 

[52]Ее чаще называют сферической — трехмерную сферическую (или удвоенную эллиптическую) геометрию можно трактовать как геометрию (трехмерной) сферической поверхности шара четырехмерного евклидова пространства.

 

[53]Впоследствии Феликс Клейн рассмотрел еще одну простую неевклидову геометрию, родственную удвоенной эллиптической геометрии, но отличающуюся от нее тем, что здесь уже любые две прямые пересекаются в одной точке. Клейн назвал такую геометрию просто эллиптической. [Риман, который рассматривал строение геометрий лишь в «малом», в окрестности одной точки пространства, не ставил вопроса о глобальной структуре введенных им пространств; именно это и позволяет — как весьма часто делают — считать его создателем и эллиптической геометрии. — Ред. ]

 

[54]Хорошо известно, как страдал Лобачевский от непризнания его работ в официальных кругах, в частности в Российской академии наук; не получил никакого признания и Appendix Я. Бойаи. Характерно также, что еще в 1869-1870 гг. видный французский математик, академик Жозеф Бертран (1822-1900) печатал в «Докладах» Парижской академии наук свои «опровержения» неевклидовой геометрии, к которым он относился с полной серьезностью.

 

[55]Типичная для 2-й половины XX в. «арифметизация математики», попытка построить все математические дисциплины на, казалось бы, незыблемом фундаменте арифметики, обычно связывается с главой берлинской математической школы Карлом Вейерштрассом (1815-1897) и другими берлинскими математиками [Леопольдом Кронекером (1823-1891), Георгом Фробениусом (1849-1917), Эрнстом Куммером (1810-1893) и др.].

 

[56]И даже ранее: векторный характер перемещений, скоростей, сил был по существу знаком еще античным ученым; само это представление, как и «правило параллелограмма» сложения векторов, сложилось еще в школе Аристотеля; широко использовал это представление и Архимед.

 

[57]В наши дни термин «гиперкомплексные числа» все более вытесняется (странным) термином алгебра: под этим словом понимают как целую ветвь математики, так и, в более узком смысле, совокупность гиперкомплексных чисел определенного рода.

 

[58]Проективная геометрия занимается изучением свойств, общих для всех фигур, получающихся при проектировании одной фигуры на различные плоскости. Так, если держать круг перед ярким фонарем, то он будет отбрасывать тень на экран или на стену. Форма тени будет изменяться в зависимости от наклона круга. Тем не менее окружность и контуры теней (эллипсы, гиперболы, параболы) обладают общими геометрическими свойствами.

 

[59]Математический вариант теории электромагнитного поля был создан Дж.К. Максвеллом, который, по выражению Р. Милликена, «облек плебейски обнаженные представления Фарадея в аристократические одежды математики». [Создатель описательной теории электромагнетизма, самоучка М. Фарадей, весьма далекий от математики, был, кстати сказать, одним из немногих физиков, кто сразу же высоко оценил первые публикации Максвелла.]

 

[60]Платон делил Вселенную на «мир видимый», куда относится все реально существующее и «мир умопостижимый», но не видимый и не осязаемый, к которому он относил, в частности, математику и искусство [см., например, «Государство» Платона ([7], с. 317 и далее)].

 

[61]Как мы уже отмечали, Евклид, следуя математическим установкам Аристотеля, пытался обойтись в геометрии без всякого использования движений (что ему, кстати сказать, полностью так и не удалось).

 

[62]Любое нечетное число представимо в виде 2n + 1, где n — некоторое целое число. Квадрат нечетного числа (2n + 1)2 = 4n2 + 4n + 1 = 2(2n2 + 2n) + 1 — нечетное число.

 

[63]Своеобразным отражением этого является, в частности, тот факт, что в «Началах» так называемый алгоритм Евклида в одинаковых выражениях описывается два раза: один раз — для чисел и второй раз — для отрезков.

 

[64]Возможно, эту формулу знал еще Архимед. — Ред.

 

[65]За единицу площади здесь принимается квадрат со стороной, равной единице длины. — Ред.

 

[66]Формулы для решения в целых числах «пифагорова уравнения» x2 + y2 = z2 обычно приписываются Платону, но реально они, безусловно, были известны ранее, скажем в школе пифагорейцев. Выдающийся знаток вавилонской математики, ученик Д. Гильберта Отто Нейгебауэр (р. 1899) предположил даже, что эти формулы (разумеется, без строго логического их обоснования) были известны еще в древнем Вавилоне, ибо иначе становится совершенно загадочной обнаруженная Нейгебауэром древневавилонская клинописная глиняная табличка, содержащая список ряда первых решений этого уравнения.

 

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

 

[68]Почти одновременно с шотландцем Джоном Непером и независимо от него к идее логарифмов пришел швейцарский часовщик Иобст Бюрги (1552-1632).

 

[69]Теория Евдокса — Евклида содержала почти безупречное определение иррациональных чисел (которым придавалось обличие отношений отрезков) и условий их равенства — но, разумеется, проблемы логического обоснования действий над иррациональными числами здесь не были доведены до того уровня, который приобрели они в математике 2-й половины XIX в.

 

[70]Любопытно, что открытая Декартом и по сей день сохранившая его имя кривая, описываемая уравнением x3 + y3 − 3xy = 0, ныне рисуется вовсе не так, как это делал Декарт, считавший, что x и y должны быть только положительными; при этом мы по-прежнему называем эту кривую «декартов лист», хотя, если не ограничиваться одними лишь положительными значениями абсциссы и ординаты, рассматриваемая кривая утрачивает форму листа, какую она имела на чертежах Декарта.

 

[71]В этой связи уместно вспомнить строки из У.Г. Одена:

 

Минус на минус — всегда только плюс.

Отчего так бывает, сказать не берусь.

 

 

[72]Так называемая формула Кардано для корня (точнее, для трех корней) кубического уравнения x3 + px + q = 0 (найдена она была несколько раньше, но опубликована впервые в «Великом искусстве» Кардано, который, впрочем, и не претендовал здесь на приоритет) имеет вид:

 

при этом если все три корня уравнения являются вещественными (неприводимый случай решения рассматриваемого уравнения), то (q/2)2 + (p/3)3 < 0 — и правильный ответ можно получить из этой формулы лишь при умении извлекать кубические корни из комплексных чисел (как это сделать, впервые объяснил Р. Бомбелли).

 

[73]Теория Евдокса — Евклида содержала почти безупречное определение иррациональных чисел (которым придавалось обличие отношений отрезков) и условий их равенства — но, разумеется, проблемы логического обоснования действий над иррациональными числами здесь не были доведены до того уровня, который приобрели они в математике 2-й половины XIX в.

 

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

 

[75]Эйлер использует здесь так называемую тригонометрическую, или полярную, форму комплексного числа; здесь ρ = √(x2 + y2), φ — угол, образуемый с положительным направлением оси x отрезком, проведенным из начала координат в точку x + iy (при y = 0, угол φ также равен 0). При этом x + iy = ρ (cos φ + ί sin φ ) = ρeiφ.

 

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

 

[77]Впрочем, многие современные математики, скажем Жан Дьедонне (род. в 1906 г.), возражают и против традиционного употребления термина аналитическая геометрия, придавая ему смысл, логически вытекающий из современного понимания термина алгебраическая геометрия (алгебраическая и аналитическая геометрия по Дьедонне — это учение об алгебраических, соответственно аналитических многообразиях в многомерном пространстве); поэтому созданную Декартом и Ферма область математики следовало бы, пожалуй, называть координатной геометрией.

 

[78]Недворянин Жиль Персон называл себя «де Роберваль» по названию деревни, из которой он был родом, и вошел в историю науки именно под последним именем.

 

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

 

[80]Обзор этих работ см. в кн.: Cajori F. A History of the Conceptions of Limits and Fluxions in Great Britain from Newton to Woodhouse. — Chicago: The Open Court Publishing Co., 1915. См. кроме того: Boyer С. The Concepts of the Calculus. — N.Y.: Columbia University Press, 1939, а также (переиздание): Dover Publications, 1949. [Из более поздних работ можно указать, например, брошюру [40] и более обстоятельные книги [41], [42], [43] и особенно [44] — Прим. ред. ]

 

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

 

[82]Деятельность молодых кембриджских математиков (Пикок — Бэббедж — Гершель) имела еще один аспект, не связанный с проблемами обоснования математики, но чрезвычайно важный в тот период для английской науки. Дело в том, что крайне неприятные приоритетные споры об открытии математического анализа, развернувшиеся в XVII в. между Ньютоном и Лейбницем, формально окончилась как будто бы полной победой Ньютона, не потерпевшего в результате их ни малейшего материального или морального ущерба, тогда как Лейбниц из-за этих споров умер буквально в нищете. Однако исторически победителем здесь оказался именно Лейбниц, а научным наследникам Ньютона эти беспредметные дискуссии о первенстве принесли вполне ощутимый вред. Вся континентальная Европа восприняла дифференциальное и интегральное исчисление в том обличье, которое ему придал Лейбниц — с более удобной лейбницевской символикой и терминологией (производная и интеграл, а не флюксия и флюэнта ; исчисление дифференциалов, а не моментов ). Существенную роль здесь сыграла отмеченная в книге темпераментная защита Лейбницем своих позиций, а также выдающаяся научная школа Лейбница, возглавляемая братьями Якобом и Иоганном Бернулли. Напротив, в Англии из-за приоритетных соображений на систему обозначений и терминов Лейбница был буквально наложен запрет, что лишало возможности молодых английских ученых следить за достижениями своих континентальных коллег и привело к резкому отставанию английской науки. Даже возрождение английской математики в середине XIX столетия (!), предвестником которого явились названные молодые кембриджцы, было первоначально встречено на континенте с большим недоверием. И деятельность Пикока и его друзей, в частности перевод ими на английский язык «лейбницианского» по форме учебника Лакруа, ставила своей целью приблизить английскую математику к континентальной.

 

[83]В следующей главе мы узнаем, как решил проблему комплексных чисел сам Гамильтон.

 

[84]Современное определение функции как любого правила или закона, сопоставляющего каждому значению x из области X (определения функции) единственное число y — значение функции в «точке» x , было еще в 1817 г. предложено чешским математиком Бернардом Больцано (1781-1848), однако замечено оно было только после повторения его в 40-х годах XIX в. авторитетным немецким математикой Петером Густавом Дирихле (1805-1859). Раньше Дирихле определение «по Больцано» использовал в своих работах по математическому анализу Н.И. Лобачевский, что, однако, тоже никем не было замечено.

 

[85]Из числа создателей неевклидовой геометрии ее аксиоматически-логический статут больше всего беспокоил Яноша Бойаи, который подходил к развитой им науке с чисто аристотелевских позиций («дедуктивная», или «выводная», наука) и одно время даже полагал, что доказал противоречивость новой геометрии. Лобачевский и Гаусс воспринимали новую геометрическую систему более «физично» — как возможную систему описания свойств окружающего нас реального пространства. В частности, Лобачевский, дальше всех продвинувшийся в области «гиперболической» геометрии, был весьма близок к строгому доказательству ее непротиворечивости, поскольку он владел тем, что мы сегодня называем «бельтрамиевыми координатами» точек гиперболической плоскости, которые послужили основой для создания «модели Бельтрами» (или «модели Бельтрами — Клейна»), доказывающей непротиворечивость геометрии Лобачевского. Однако Лобачевский не сделал здесь последнего шага, ибо, будучи твердо уверенным в «истинности», или непротиворечивости, своей геометрии, не чувствовал необходимости этого.

 

[86]Французская школа давно имела традиции «антиевклидовского» изложения курса геометрии, где широко использовались наглядность, соображения симметрии и движения, которых старался избегать Евклид, и ставились во главу угла наиболее важные для практики вопросы измерения геометрических величин. Первый подобный учебник составил страстный борец против схоластики и метафизики Аристотеля (а заодно и против идущих от Аристотеля методологических установок Евклида) Питер Рамус (или Пьер де ла Раме, 1515-1572), поплатившийся жизнью за эту свою деятельность: он был убит в Варфоломеевскую ночь, причем убийство Рамуса было организовано враждебными ему профессорами Парижского университета (Сорбонны). Позиции Рамуса целиком разделял Д'Аламбер, который глубоко развил их в статье «Геометрия», напечатанной в «Энциклопедии». Той же линии придерживался в своем учебнике «Элементы геометрии» и один из крупнейших аналитиков XVII в. А.К. Клеро.

 

[87]Пуанкаре А. О науке. — М.: Наука, 1983, с. 164.

 

[88]Концепцию предела как исходного пункта математического анализа иногда связывают также и с Ньютоном, различавшим «первое число» (с которого переменная начинает изменение) и «последнее число» (предел (!) — значение, к которому она приходит) и придававшим особое значение «последним числам». Однако увлеченный физической интерпретацией анализа (производная как скорость