|
||||
|
IV Первое ниспровержение: увядание истины
![]() Девятнадцатый век начался для математики хорошо. Активно работал Лагранж. В зените славы и расцвете сил находился Лаплас. Фурье (1768-1830) упорно работал над статьей 1807 г., впоследствии включенной в его ставшую классической «Теорию теплоты» (1822). Карл Фридрих Гаусс опубликовал (1801) свои «Арифметические исследования» (Disquisitiones arithmeticae), ставшие знаменательной вехой в развитии теории чисел, и был на пороге множества новых достижений, снискавших ему титул «король математиков». А французский «конкурент» Гаусса Огюстен Луи Коши (1789-1857) продемонстрировал свои незаурядные способности в обширной статье, опубликованной в 1814 г. Несколько слов о деятельности этих замечательных ученых позволят читателю составить более полное представление о колоссальном шаге, который сделала наука в первой половине XIX в. в направлении более полного раскрытия единой схемы природы. Хотя Гаусс обогатил открытиями эпохального значения (об одном из них мы в дальнейшем расскажем) чистую математику, значительную часть своей жизни он посвятил естественнонаучным исследованиям. Гаусс даже не числился профессором математики — более пятидесяти лет он состоял профессором астрономии и директором Гёттингенской обсерватории. Интерес к астрономии пробудился у Гаусса еще в студенческие годы (1795-1798), проведенные в Гёттингене, и она, пожалуй, более всего занимала его мысли. Первый значительный успех пришел к нему в 1801 г. Первого января того года Джузеппе Пиацци (1746-1826) открыл малую планету Цереру. Хотя планету удалось наблюдать лишь в течение нескольких недель, двадцатичетырехлетний Гаусс, применив для анализа результатов наблюдений новую математическую теорию, вычислил орбиту планеты. В конце того же года Церера действительно была обнаружена примерно там, где и предсказывал Гаусс. Когда Вильгельм Ольберс в 1802 г. открыл другую малую планету — Палладу, Гаусс снова весьма точно определил ее орбиту. Весь этот первоначальный этап астрономических исследований Гаусс изложил в одном из своих главных трудов — «Теории движения небесных тел» (1809). Позднее, производя по просьбе курфюрста Ганноверского топографическую съемку Ганновера, Гаусс заложил основы геодезии; из этих занятий он извлек ряд весьма плодотворных идей, касающихся дифференциальной геометрии.{36} Особо были отмечены проведенные Гауссом в 1830-1840 гг. теоретические и экспериментальные исследования магнетизма. Он разработал метод измерения магнитного поля Земли. Создатель теории электромагнитного поля Джеймс Клерк Максвелл в своем «Трактате по электричеству и магнетизму» признает, что исследования Гаусса по магнетизму преобразили всю науку: приборы и инструменты, методы наблюдений и обработки результатов. Работы Гаусса по земному магнетизму являются образцом естественнонаучного исследования. В знак признания заслуг Гаусса единица магнитной индукции (в системе единиц СГС) получила впоследствии название «гаусс». Хотя идея создания телеграфа принадлежит не Гауссу и не его другу и коллеге Вильгельму Веберу (1804-1891) (многочисленные попытки предпринимались и раньше), именно они предложили в 1833 г. практическое устройство для приема сигналов. Были у Гаусса и другие изобретения. Он успешно работал в области оптики, которая после Эйлера переживала глубокий упадок. Исследования, проведенные Гауссом в 1838-1841 гг., заложили принципиально новую основу для решения оптических проблем. Другой величайшей фигурой в математике начала XIX в., сравнимой по своей значимости с Гауссом, был Коши.{37} Его интересы отличались необычайной разносторонностью. Он написал более семисот математических работ, уступив по числу их лишь Эйлеру. Современное издание трудов Коши вышло в двадцати шести томах и охватывает все разделы математики. Коши был основоположником теории функций комплексного переменного (гл. VII и VIII). Но не меньше внимания Коши уделял физическим проблемам. В 1815 г. он получил премию Французской академии наук за работу по теории волн на воде. Ему принадлежат фундаментальные исследования по равновесию стержней и упругих (в частности, металлических) пластин, а также по теории волн в упругой среде. Своими трудами Коши заложил основы математической теории упругости. Коши развил теорию световых волн, начало которой было положено Огюстеном Жаном Френелем (1788-1827), и распространил ее на явления дисперсии и поляризации света. Коши был превосходнейшим специалистом по математической физике. Хотя в качестве математика Фурье и уступал таким корифеям, как Гаусс и Коши, полученные им результаты заслуживают особого упоминания, поскольку именно ему удалось распространить могущество математики на еще одно явление природы — теплопроводность. Изучение теплопроводности Земли Фурье считал одной из важнейших проблем космогонии, так как надеялся таким образом показать, что первоначально земной шар находился в расплавленном состоянии. Занимаясь решением этой задачи, Фурье довел до высокой степени совершенства теорию бесконечных тригонометрических рядов (называемых ныне рядами Фурье). Ряды Фурье стали широко применяться в различных областях прикладной математики — значение созданной Фурье теории таких рядов трудно переоценить. Выдающиеся результаты Гаусса, Коши, Фурье и сотен других математиков, казалось бы, неоспоримо подтверждали, что наука все точнее описывает истинные законы природы. На протяжении столетия самые выдающиеся математики продолжали идти путем, проложенным их предшественниками, разрабатывая все более мощные математические методы и с успехом применяя их к новым разделам естествознания. В неудержимом порыве устремились математики на поиск математических законов природы, словно загипнотизированные убеждением, что именно они призваны раскрыть схему, избранную богом при сотворении мира. Если бы математики XIX в. прислушались к словам своих собратьев по духу, то разразившаяся вскоре катастрофа не застала бы их врасплох. Еще на заре нового времени Фрэнсис Бэкон отмечал в своем «Новом органоне» («Новый инструмент познания», 1630 г.){38}:
В том же «Новом органоне» Бэкон утверждает, что наблюдение и экспериментирование являются основой всякого знания:
Даже самые верующие ученые начали постепенно приходить к отрицанию роли бога как творца «единого плана» природы. Труды Коперника и Кеплера по созданию гелиоцентрической системы мира, которую они оба рассматривали как свидетельство «математической мудрости» бога, противоречили Священному писанию, ибо они лишали человека избранного положения во Вселенной. Галилей, Роберт Бойль и Ньютон видели цель своей научной работы в доказательстве существования божественного плана и божественного вмешательства во все происходящее в мире, но в их научных исследованиях бог явно не участвовал. Более того, в одном из своих писем Галилей даже утверждал, что «от любого толкования Священного писания проку немного, ибо ни один астроном или естествоиспытатель, действуя в надлежащих рамках, не входит в подобные вопросы». Разумеется, сам Галилей, как мы уже видели, был глубоко убежден в существовании математического плана Вселенной, творцом которого был бог, но приведенный отрывок из его письма показывает, что для объяснения природных явлений Галилей считал недопустимым прибегать к мистике или привлекать сверхъестественные силы. Во времена Галилея все еще бытовало мнение, что всемогущий бог способен произвольно изменять план творения. Декарт же, при всей своей набожности, провозгласил тезис о неизменности законов природы и тем самым неявно ограничил могущество господа бога. Ньютон также считал порядок в мире неизменным, однако поддержание порядка он возлагал на бога, которого сравнивал с часовым мастером, готовым устранить любую неисправность в часовом механизме. У Ньютона были веские основания уповать на божественное провидение. Хотя он знал, что из-за возмущений, вносимых другими планетами, орбита любой планеты отличается от идеального эллипса, ему никак не удавалось доказать математически, что наблюдаемые отклонения вызваны притяжением других планет, и Ньютон считал, что без вмешательства бога, неусыпно следящего за работой мирового механизма, устойчивость Солнечной системы могла бы нарушиться.{39} Против подобных взглядов Ньютона выступил Лейбниц в своей (предсмертной) переписке с английским священником и философом Сэмюэлем Кларком, которая велась через посредство принцессы Уэльской. В своем первом письме (ноябрь 1715 г.) по поводу ньютоновских представлений о боге, вынужденном время от времени заводить мировые «часы» и устранять неисправности в их механизме, Лейбниц писал:
Лейбниц открыто упрекает Ньютона в том, что тот отрицает всемогущество бога. Лейбниц действительно считал Ньютона повинным в упадке религии в Англии. И здесь Лейбниц не был так уже далек от истины. В идеологии мистика Ньютона бог и религия занимали гораздо больше места, чем у рационалиста Лейбница, но объективно труды Ньютона способствовали освобождению натурфилософии от влияния теологии. Галилей, как мы уже отмечали, также считал, что физика должна развиваться независимо от религии. С этих же позиций написаны и «Математические начала натуральной философии» Ньютона, ставшие значительным шагом на пути к чисто математическому описанию явлений природы. В математических схемах физических теорий богу отводилось все меньше места. Возмущения в траекториях планет, которые составляли загадку для Ньютона, получили почти полное теоретическое обоснование в трудах ученых последующих поколений. На передний план выступили универсальные законы, чье действие распространялось на движение как небесных, так и земных тел; при этом обнаружилось полное соответствие между предсказаниями и результатами наблюдений, что свидетельствовало о высоком совершенстве таких законов. И после Ньютона было немало ученых, которые усматривали в совершенстве законов природы неоспоримое доказательство мудрости творца, но мало-помалу бог отошел на задний план, а в центр внимания попали математические законы Вселенной. Лейбниц предвидел некоторые следствия из ньютоновских «Начал» — картины мира, функционирующего, с помощью бога или вовсе без него, по единому плану, — и критиковал сочинение Ньютона как антихристианское. На смену стремлению раскрыть замыслы творца пришло стремление получить чисто математические результаты. Хотя многие математики после Эйлера продолжали верить во всемогущего бога, в божественный план мира и главное предназначение математики видели в расшифровке замыслов творца, по мере того как в XVIII в. развивалась математика и множились ее успехи, религиозные мотивы в научном творчестве все более отступали на задний план и присутствие бога становилось все менее ощутимым. Воспитанные в духе католицизма, Лагранж и Лаплас были агностиками. Лаплас решительно отвергал идею о боге — создателе математического плана Вселенной. О Лапласе рассказывали такую историю. Когда он преподнес в подарок Наполеону экземпляр своей «Небесной механики», тот заметил: «Месье Лаплас, говорят, вы написали эту толстую книгу о системе мира, не упомянув создателя ни единым словом». На что Лаплас якобы ответил: «Мне не понадобилась эта гипотеза».{40} Природа заняла место бога; как сказал Гаусс: «Ты, природа, моя богиня, твоим законам я слуга покорный». Гаусс верил в вечного, всеведущего и всемогущего бога, но мысли о боге он никак не связывал с математикой и исследованием математических законов природы. Изменения, происшедшие во взглядах на мир, отчетливо ощущаются в следующем замечании Гамильтона по поводу принципа наименьшего действия [гл. III], которое он высказал в статье 1833 г.:
Оглядываясь на прошлое, нетрудно заметить, как постепенно творческая работа самих математиков оттеснила на задний план идею о мире, сотворенном богом на математической основе. Мыслители все более убеждались в том, что человеческий разум способен на многое, — и лучшим тому подтверждением были успехи математики. Почему бы в таком случае не попытаться использовать могущество человеческого разума для обоснования господствующих религиозных и этических учений? И это желательно сделать из самых что ни на есть благих намерений — дабы упрочить эти учения. К счастью или к несчастью, но рационализация основ религиозных вероучений подорвала ортодоксальность многих из них. Религиозные верования, утратив присущую им некогда ортодоксальность, приняли новые формы: рационалистический супернатурализм, деизм, агностицизм — вплоть до воинствующего атеизма. Эти течения оказали влияние на математиков XVIII в., бывших людьми широкой культуры. Происшедшие перемены выразил властитель дум того времени, рационалист и антиклерикал, Дени Дидро: «Если вы хотите, чтобы я поверил в бога, сделайте так, чтобы я мог дотронуться до него рукой». Не все математики XIX в. отрицали роль бога. Правоверный католик Коши утверждал, например, что человек «без колебаний отвергнет любую гипотезу, противоречащую открывшейся ему истине». Тем не менее вера в бога как создателя математического плана Вселенной явно шла на убыль. Перед мыслителями встал вопрос: почему математические законы природы непременно должны выражать абсолютные истины? Дидро в своих «Мыслях об объяснении природы» (1753) одним из первых отрицал абсолютность математических законов. Математик, утверждал он, подобен игроку: и тот, и другой играет в игры, руководствуясь ими же самими созданными абстрактными правилами. Предмет математического исследования — условность, не имеющая опоры в реальности. Столь же критическую позицию занял в своей работе «Беседы о множественности миров» писатель Бернар Ле Бовье де Фонтэнель (1657-1757). Он подверг критике веру в неизменность законов движения небесных тел, заметив: «Розы тоже не припомнят, чтобы умер хоть один садовник». Математики предпочитают верить, что именно они создают пищу, которой кормятся философы. Но в XVIII в. в авангарде тех, кто отрицал истины о физическом мире, шли философы. Мы обходим молчанием учения Томаса Гоббса (1588-1679), Джона Локка (1632-1704) и епископа Джорджа Беркли (1685-1753) не потому, что их трудно было бы опровергнуть, а лишь по той причине, что они оказали меньшее влияние на развитие мысли, чем теории более радикально мыслящего Дэвида Юма (1711-1776), который не только воспринял идеи Беркли, но и развил их дальше. В своем «Трактате о человеческой природе» (1739-1740) Юм утверждал, что мы не знаем ни разума, ни материи, и то, и другое — фикции. Мы воспринимаем только ощущения. Простые идеи, такие, как образы, воспоминания и мысли, представляют собой слабый отзвук ощущений. Любая сложная идея есть не что иное, как набор простых идей. Наш разум тождествен имеющемуся у нас набору ощущений и идей. Не следует предполагать существование каких-либо субстанций, кроме тех, которые мы воспринимаем непосредственно на опыте. Всякий опыт порождает только ощущения. Юм равным образом сомневался и в существовании материи. Кто гарантирует, что перманентно существующий мир материальных предметов не фикция? Все, что мы о нем знаем, — это наши ощущения (впечатления). Из того, что ощущения стула неоднократно воспроизводимы, еще не следует, что стул реально существует. Пространство и время, по Юму, — это способ и порядок постижения идей, а причинность — привычная взаимосвязь идей. Ни пространство, ни время, ни причинность не есть объективная реальность. Сила и яркость наших ощущений вводят нас в заблуждение, заставляя верить в реальность окружающего мира. В действительности же существование окружающего мира с заданными свойствами не более чем умозаключение, в истинности которого мы не можем быть уверенными. Происхождение наших ощущений необъяснимо; мы не можем сказать, что является их источником: реально существующие внешние объекты, разум или бог. Сам человек, по Юму, — это обособленный набор восприятий, т.е. впечатлений и идей. Он существует только в себе. Субъект суть набор различных восприятий. Любая попытка познать самого себя приводит только к некоторому восприятию. Все остальные люди и предполагаемый внешний мир также являются лишь восприятиями данного субъекта — и нет уверенности, что они действительно существуют. Следовательно, нет и не может быть научных законов, относящихся к перманентному, объективно существующему физическому миру. Кроме того, поскольку в основе идеи причинности лежит не научное доказательство, а лишь привычка ума, рожденная многократным повторением обычного порядка «событий», мы не можем знать, всегда ли последовательности событий, наблюдавшиеся в прошлом, будут повторяться в будущем. Тем самым Юм отрицал неизбежность, вечность и неизменность законов природы. Разрушив догмат о существовании внешнего мира, следующего неизменным математическим законам, Юм тем самым разрушил ценность логической дедуктивной схемы, которая представляла реальность для мыслителей последующих поколений. Но математика содержит также и теоремы о числах и геометрию, неоспоримо вытекающие из тех истин о числах и геометрических фигурах, которые положены в основу их изучения. Юм не отвергал аксиом, но их выбор, а значит и результаты, получаемые из них методом дедукции, он ставил под сомнение. Что касается аксиом, то они возникают из тех ощущений, которые мы получаем от предполагаемого физического мира. Теоремы действительно с необходимостью следуют из аксиом, но они представляют собой не более чем усложненные перепевы аксиом. Теоремы являются дедукциями, но дедукциями утверждений, неявно содержащихся в аксиомах. Теоремы не что иное, как тавтологии. Следовательно, ни аксиомы, ни теоремы не могут рассматриваться как абсолютные истины. Итак, на фундаментальный вопрос о том, каким образом человек постигает истины, Юм отвечает, отрицая само существование истин: к истинам человек прийти не может. Теория Юма не только объявляла несостоятельным все, что было достигнуто в математике и естествознании ранее, но и поставила под сомнение ценность самого разума. Столь откровенное отрицание высшей способности человека было отвергнуто большинством мыслителей XVIII в. Как в математике, так и в других областях человеческой деятельности было слишком много накоплено, чтобы этим безболезненно поступиться, объявив бесполезным грузом весь приобретенный человечеством интеллектуальный багаж. Философия Юма встретила такое резкое неприятие у большинства мыслителей XVIII в., показалась им столь неприемлемой и противоречащей выдающимся успехам математики и естествознания, что возникла острая необходимость в ее опровержении. Выполнить эту задачу взялся один из наиболее чтимых и глубоких философов всех времен — Иммануил Кант. Но при внимательном рассмотрении выяснилось, что итог его размышлений лишь немного более утешителен, чем философия Юма. В «Пролегоменах ко всякой будущей метафизике, могущей появиться как наука» (1783), Кант, казалось, встал на сторону математиков и естествоиспытателей:
«Критика чистого разума» (1781) Канта начинается еще более обнадеживающими словами. Кант утверждает, что все аксиомы и теоремы математики истинны. Но почему, спрашивает Кант, мы так охотно принимаем эти истины? Ясно, что опыт сам по себе не делает математические утверждения истинными. На интересующий нас вопрос можно было бы ответить, если бы мы знали ответ на более общий вопрос: возможна ли сама наука математика? На этот вопрос Кант ответил так: наш разум сам по себе владеет формами пространства и времени. Пространство и время представляют собой разновидности восприятия (Кант называл их интуитивными представлениями), посредством которых разум созерцает опыт. Мы воспринимаем, организуем и осознаем опыт в соответствии с этими формами созерцания. Опыт входит в них, как тесто в формочки для печенья. Разум накладывает формы созерцания на полученные им чувственные восприятия, вынуждая те подстраиваться под заложенные в нем схемы. Так как интуитивное представление о пространстве берет свое начало в разуме, некоторые свойства пространства разум воспринимает автоматически. Такие утверждения, как «прямая — кратчайший путь между двумя точками», «через три точки, не лежащие на одной прямой, можно провести плоскость, и притом только одну», или как аксиома Евклида о параллельных, Кант называет априорными искусственными истинами. Они составляют неотъемлемую часть нашего умственного багажа. Геометрия занимается изучением лишь логических следствий из таких утверждений. Уже одно то, что наш разум созерцает опыт через изначально присущие ему «пространственные структуры», означает, что опыт согласуется с априорными синтетическими истинами и теоремами. Порядок и рациональность, которые мы, как нам кажется, воспринимаем во внешнем мире, в действительности проецируются на внешний мир нашим разумом и формами нашего мышления. Конструируя пространство на основе работы клеток головного мозга человека, Кант не видел причин для отказа от евклидова пространства. Собственную неспособность представить другие геометрии Кант счел достаточным основанием, чтобы утверждать, что другие геометрии не могут существовать. Таким образом, нельзя утверждать, что законы евклидовой геометрии изначально присущи миру или что мир создан богом на основе евклидовой геометрии: законы евклидовой геометрии представляют собой лишь механизм, с помощью которого человек организует и рационализирует свои ощущения. Что же касается бога, то, по мнению Канта, природа божественного лежит за пределами рационального знания, хоть он и считал веру в бога обязательной. Глубина философских воззрений Канта, пожалуй, была превзойдена лишь ограниченностью его геометрических представлений. Прожив всю жизнь в Кенигсберге, в Восточной Пруссии, и не выезжая из него далее чем на шестьдесят километров, Кант тем не менее считал себя способным мысленно представить геометрию Вселенной.{42} А как обстояло дело с математическими законами естествознания? Так как весь наш опыт вкладывается в формы чистого созерцания — пространство и время, математика должна быть применима ко всякому опыту. В «Метафизических начальных основаниях естествознания» (1786) Кант признал законы Ньютона и следствия из них самоочевидными. По утверждению Канта, ему удалось доказать, что законы Ньютона выводятся на основании чистого разума и что они не более чем допущения, позволяющие понять природу. Ньютон, по словам Канта, «позволил нам составить ясное представление о структуре Вселенной, которая во все времена будет одной и той же». В более общем плане рассуждения Канта сводились к следующему. Мир науки — это мир чувственных ощущений, упорядоченных и управляемых разумом в соответствии с такими врожденными категориями, как пространство, время, причина и следствие, субстанция. Разум содержит своего рода «ложа», на которые должны укладываться «гости» извне. Чувственные ощущения рождаются в реальном мире, но, к сожалению, этот мир непознаваем. Реальность может быть познана только в субъективных категориях, создаваемых воспринимающим ее разумом. Следовательно, к организации опыта нет иного пути, кроме евклидовой геометрии и ньютоновской механики. По мере возникновения новых наук опыт расширяется, но разум формулирует новые принципы, не обобщая новые опытные данные, а используя для их интерпретации ранее бездействующие «ложа». Способность разума созерцать раскрывается только в том случае, если ее питает опыт. Этим объясняется относительно позднее познание некоторых истин, например законов механики, по сравнению с другими истинами, известными на протяжении многих столетий. Философия Канта, которую мы здесь едва затронули, воздавала хвалу человеческому разуму, но отводила ему роль инструмента познания не природы, а тайников человеческого ума. Опыт получил должное признание как необходимый элемент познания, так как ощущения, поступающие из внешнего мира, Кант считал сырым материалом, который упорядочивается и организуется разумом. Математика обрела свое место, став открывателем необходимых законов разума. Представление о математике как о своде априорных истин было созвучно умонастроениям математиков. Но большинство из них не обратило внимания на то, каким образом Кант пришел к своим заключениям. По теории Канта, все утверждения математики не являются неотъемлемыми признаками физического мира, а создаются человеческим разумом. Такой вывод должен был бы насторожить математиков. Откуда известно, что разум всех людей устроен так, что организует ощущения совершенно одинаково и что организация пространственных ощущений непременно должна быть евклидовой? Какие мы имеем основания это утверждать? В отличие от Канта математики и физики продолжали верить во внешний мир, подчиняющийся законам, не зависящим от человеческого разума. Мир устроен рационально, считали они, и человек лишь раскрывает план, лежащий в основе мироздания, а далее, пользуясь этим планом, пытается предсказывать то, что происходит во внешнем мире. Философия Канта и его авторитет раскрепостили и одновременно ограничили научно-философскую мысль. Подчеркивая силу разума как организующего начала в упорядочении чувственного опыта о мире, который нам не дано узнать доподлинно, Кант проложил путь к новым представлениям, в корне противоположным тем, которые в его время считались твердо установленными. Но упорно подчеркивая, что наш разум с необходимостью организует пространственные ощущения в соответствии с законами евклидовой геометрии, Кант тем самым тормозил формирование иных взглядов.{43} Если бы Кант с большим вниманием следил за тем, как развивались события в современной ему математике, то, возможно, он не стал бы настаивать на том, что упорядочивание пространственных ощущений по образу и подобию евклидовой геометрии является единственным, которое может допустить наш разум. Безразличие к богу и даже лишение его роли творца законов мироздания, а также кантианские взгляды на эти законы как якобы присущие самой природе человеческого разума «вызвали реакцию» со стороны творца всего сущего. Бог решил наказать кантианцев, и особенно этих самодовольных, погрязших в гордыне и чрезмерно самоуверенных математиков, и «подбросил» им неевклидову геометрию, возникновение которой нанесло сокрушительный удар по достижениям человеческого разума, всемогущего и, казалось бы, не нуждающегося ни в чьей помощи. Хотя к началу XIX в. роль бога становилась все менее ощутимой и некоторые радикально настроенные философы, например Юм, отрицали все истины, математики того времени по-прежнему продолжали верить в истинность собственно математики и математических законов природы. Евклидова геометрия была наиболее почитаемым разделом математики не только потому, что именно с нее началось дедуктивное построение математических дисциплин, но и по той причине, что ее теоремы, как было установлено на протяжении более двух тысячелетий, полностью соответствовали результатам физических исследований. И именно евклидову геометрию «бог» избрал объектом нападения. Одна из аксиом евклидовой геометрии издавна беспокоила математиков, однако совсем не потому, что они сомневались в ее истинности. Сомнения вызывала у них лишь формулировка аксиомы. Мы имеем в виду аксиому о параллельных, или, как ее часто называют, пятый постулат Евклида. Сам Евклид сформулировал пятый постулат следующим образом:
![]()
Иначе говоря, если углы 1 и 2 в сумме меньше 180°, то прямые а и b, продолженные достаточно далеко, пересекутся. У Евклида были веские основания сформулировать аксиому о параллельных именно так, а не иначе. Он мог бы утверждать, например, что если сумма углов 1 и 2 равна 180°, то прямые а и b параллельны. Но Евклид явно боялся предположить, что могут существовать бесконечные прямые, которые никогда не пересекаются: любое утверждение о бесконечных прямых не подкреплялось опытом, в то время как аксиомы по определению должны были быть самоочевидными истинами о физическом мире. Но опираясь на свою аксиому о параллельных и другие аксиомы, Евклид доказал существование параллельных. Математики считали, что аксиома о параллельных в том виде, как ее сформулировал Евклид, слишком сложна. Ей недоставало простоты других аксиом. Должно быть, и сам Евклид был недоволен своим вариантом аксиомы о параллельных, ибо обратился к ней, лишь доказав все теоремы, какие только смог вывести без ее использования. Со временем стала жизненно важной сходная проблема, над которой поначалу задумывались лишь немногие. Она сводилась к вопросу о том, существуют ли в физическом пространстве бесконечные прямые. Евклид достаточно осторожно постулировал лишь, что конечный отрезок прямой можно продолжить сколь угодно далеко, — но ведь даже и продолженный отрезок все равно оставался конечным. Тем не менее из рассуждений Евклида следовало, что бесконечные прямые существуют: если бы прямые были конечными, то их нельзя было бы продолжать сколь угодно далеко. Первые попытки решить проблему, связанную с аксиомой Евклида о параллельных, были предприняты еще математиками Древней Греции. Эти попытки имели двоякую природу. Одни из них сводились к замене аксиомы о параллельных какой-нибудь более очевидной аксиомой. Другие были направлены на то, чтобы вывести аксиому о параллельных из девяти остальных аксиом Евклида: если бы удалось доказать, что пятый постулат Евклида в действительности представляет собой теорему, то все трудности отпали бы сами собой. На протяжении более двух тысячелетий многие десятки крупнейших математиков, не говоря уже о математиках меньшего ранга, безуспешно пытались решить проблему параллельных, предпринимая бессчетные попытки как первого, так и второго рода. История этой проблемы уходит корнями в глубокую древность и изобилует деталями, понятными лишь профессионалу. Мы опустим здесь ее потому, что ей посвящена обширная литература{44}, и, кроме того, этот вопрос не имеет прямого отношения к интересующей нас теме. Из многих аксиом, предлагавшихся в качестве замены пятого постулата, упомянем лишь об одной. Ее и поныне приводят в некоторых учебниках геометрии. Этот вариант аксиомы о параллельных принадлежит Джону Плейферу (1748-1819), предложившему ее в 1795 г. (в английском «школьном» варианте «Начал» Евклида). Аксиома Плейфера гласит: существует одна и только одна прямая, проходящая через данную точку P, лежащую вне прямой l (рис. 4.2), в плоскости, задаваемой точкой P и прямой l, которая не пересекается с прямой l. ![]()
Все аксиомы, предлагавшиеся вместо пятого постулата, на первый взгляд казались проще аксиомы Евклида, но при более внимательном рассмотрении оказывались не более удовлетворительными. Многие из них, в том числе и аксиома Плейфера, содержали утверждения, касающиеся не ограниченной части плоскости или пространства, а всего (бесконечного!) пространства. С другой стороны, аксиомы, предлагавшиеся взамен пятого постулата, которые не содержали прямого упоминания о «бесконечности» — например, аксиома о том, что существует два подобных, но не равных треугольника, — были слишком сложными и, во всяком случае, не были более предпочтительными, чем аксиома о параллельных, приведенная в «Началах» Евклида. Вместе с тем были предприняты попытки решить проблему параллельных, доказав пятый постулат Евклида, исходя из остальных девяти аксиом. Наиболее значительные результаты здесь получил Джироламо Саккери (1667-1733), священник, член ордена иезуитов и профессор университета в Павии. Идея Саккери состояла в том, чтобы, заменив аксиому Евклида о параллельных ее отрицанием, попытаться вывести теорему, которая бы противоречила одной из доказанных Евклидом теорем. Полученное противоречие означало бы, что аксиома, отрицающая аксиому Евклида о параллельных — единственную аксиому, вызывавшую сомнения, — ложна, а следовательно, аксиома о параллельных Евклида истинна и является следствием девяти остальных аксиом. Приняв за исходную аксиому Плейфера, эквивалентную аксиоме Евклида о параллельных, Саккери сначала предположил{45}, что через точку P, лежащую вне прямой l (рис. 4.3), не проходит ни одна прямая, параллельная прямой l. Из этой аксиомы и девяти остальных аксиом, принятых Евклидом, Саккери вывел противоречие. Затем Саккери испробовал вторую и единственно возможную альтернативу, предположив, что через точку P проходят по крайней мере две прямые p и q, не пересекающиеся с прямой l, сколько бы их ни продолжали. ![]()
Исходя из этой аксиомы, Саккери удалось доказать много интересных утверждений, пока он не дошел до теоремы, показавшейся ему настолько странной, что он счел ее противоречащей ранее полученным результатам. Решив, что ему удалось тем самым доказать выводимость пятого постулата Евклида из девяти остальных аксиом, Саккери выпустил книгу под многозначительным названием «Евклид, избавленный от всяких пятен» (Euclides ab omni naevo vindicatus, 1733). Однако впоследствии математики выяснили, что во втором случае Саккери в действительности не пришел к противоречию и что, следовательно, проблема параллельных по-прежнему остается открытой. Попытки найти подходящую замену евклидовой аксиоме о параллельных или доказать, что она следует из девяти остальных аксиом, были столь многочисленны и тщетны, что в 1759 г. Д'Аламбер назвал проблему параллельных «скандалом в области оснований геометрии». Постепенно математики начали приходить к правильному пониманию статуса аксиомы Евклида о параллельных. В своей докторской диссертации 1763 г. Георг С. Клюгель (1739-1812), впоследствии профессор университета в Хельмштадте, отлично осведомленный и о книге Саккери, и о многих других попытках «исправить» аксиому о параллельных, высказал весьма ценное соображение о том, что принятие большинством людей аксиомы Евклида о параллельных как истины, не подлежащей сомнению, основано на опыте. Так впервые была явно сформулирована идея о том, что весомость аксиом определяется их соответствием опыту, а не самоочевидностью.{46} Клюгель выразил сомнение в том, что пятый постулат Евклида можно вывести из остальных аксиом. Более того, Клюгель понял, что Саккери пришел не к противоречию, а лишь к результатам, поразившим его своей необычностью. Диссертация Клюгеля привлекла внимание одного из крупнейших математиков XVIII в. — Иоганна Генриха Ламберта (1728-1777), и тот также принялся размышлять над проблемой параллельных. В своей книге «Теория параллельных прямых» (написанной в 1766 г. и опубликованной в 1786 г.) Ламберт, подобно Саккери, рассмотрел две альтернативные возможности. И он также обнаружил, что гипотеза, согласно которой через точку P вне прямой l (см. рис. 4.3) не проходит ни одна прямая, параллельная прямой l, приводит к противоречию. Но в отличие от Саккери Ламберт не считал, что альтернативная гипотеза (согласно которой через точку P проходят по крайней мере две прямые, параллельные прямой l) приводит к противоречию. Более того, Ламберт понял, что любой набор гипотез, который не приводит к противоречию, порождает некую геометрию. Такая геометрия логически непротиворечива, хотя и не имеет прямого отношения к реальным, физическим фигурам.{47} Работа Ламберта и некоторых других авторов, в частности учителя Гаусса, профессора Гёттингенского университета Абрахама Г. Кестнера (1719-1800), заслуживают особого упоминания. Эти ученые были убеждены, что пятый постулат Евклида невозможно доказать, исходя из девяти остальных его аксиом, т.е. утверждали, что аксиома о параллельных независима от остальных аксиом. Кроме того, Ламберт был убежден, что, приняв альтернативную аксиому, противоречащую аксиоме Евклида, можно построить логически непротиворечивую геометрию, хотя и не высказал каких-либо утверждений о применимости такой геометрии. Все трое — Клюгель, Ламберт и Кестнер — близко подошли к признанию возможности неевклидовой геометрии. Самым выдающимся математиком среди тех, кто работал над решением проблемы, возникшей в связи с аксиомой Евклида о параллельных, был Гаусс. Он прекрасно знал о безуспешных попытках доказать или опровергнуть аксиому о параллельных, ибо такого рода сведения не составляли секрета для гёттингенских математиков. Историю проблемы параллельных досконально знал учитель Гаусса Кестнер. Много лет спустя (1831) Гаусс сообщил своему другу Шумахеру, что еще в 1792 г. (когда Гауссу было всего лишь 15 лет) он понял возможность существования логически непротиворечивой геометрии, в которой постулат Евклида о параллельных не выполняется. Но вплоть до 1799 г. Гаусс не прекращал попыток вывести постулат Евклида о параллельных из других, более правдоподобных допущений и считал евклидову геометрию истинной геометрией физического пространства, хотя и сознавал возможность существования других логически непротиворечивых — неевклидовых — геометрий. Однако в письме Гаусса к другу и собрату по профессии Фаркашу Бойаи от 16 декабря 1799 г. мы читаем:
Примерно с 1813 г. Гаусс начал работать над своей неевклидовой геометрией, которую он называл сначала антиевклидовой, затем астральной (т.е. звездной — возможно, выполняющейся на далеких звездах; это название принадлежало Фердинанду Карлу Швейкарту (1780-1859), независимо от Гаусса пришедшему к тем же идеям) и, наконец, неевклидовой геометрией. Гаусс пришел к убеждению, что построенная им геометрия логически непротиворечива и применима к физическому миру. В письме от 8 ноября 1824 г. к своему другу Францу Адольфу Тауринусу (1794-1874) Гаусс сообщал:
В письме к математику и астроному Фридриху Вильгельму Бесселю, отправленному 27 января 1829 г., Гаусс еще раз высказал убеждение, что постулат о параллельных не может быть выведен из других аксиом Евклида. Мы не будем подробно рассматривать специфические особенности того варианта неевклидовой геометрии, который был создан Гауссом (см., например, [28], с. 193-294). Он не оставил полного дедуктивного изложения своей теории, а доказанные им теоремы во многом напоминали те, с которыми мы вскоре встретимся, когда перейдем к работам Лобачевского и Бойаи. В письме к Бесселю Гаусс признается, что вряд ли когда-нибудь опубликует свои открытия в этой области, опасаясь, как он выразился, вызвать крики беотийцев (беотийцы — древнегреческое племя, чья тупость вошла в поговорку). Не следует забывать, что в начале XIX в. лишь немногие математики постепенно подошли к заключительному этапу создания неевклидовой геометрии, а мыслящий мир в основном пребывал в уверенности, что евклидова геометрия — единственно возможная. То немногое, что нам известно о работах Гаусса по неевклидовой геометрии, собрано по крохам из его писем к друзьям, двух коротких заметок в Gottingische gelehrte Anzeigen за 1816 г. и 1822 г. и из нескольких записей, датированных 1831 г., найденных среди бумаг Гаусса после его смерти. Но более значительный вклад, чем Гаусс, в создание неевклидовой геометрии внесли два других математика: Н.И. Лобачевский и Я. Бойаи (Я. Больяй). В действительности их работы явились как бы эпилогом длительного развития новаторских идей, высказанных их предшественниками, однако, поскольку Лобачевский и Бойаи первыми опубликовали дедуктивные изложения новой системы, их принято считать создателями неевклидовой геометрии. Русский математик Николай Иванович Лобачевский (1792-1856) учился в Казанском университете, где впоследствии (1827-1846) он состоял профессором и ректором. Его взгляды на основании геометрии сложились к 1826 г., и он изложил их в цикле статей и двух книгах. Янош Бойаи (1802-1860), сын Фаркаша Бойаи, был офицером австро-венгерской армии. Свою работу (объемом в 26 страниц) по неевклидовой геометрии [29] под названием «Приложение, содержащее науку о пространстве, абсолютно истинную, не зависящую от истинности или ложности XI аксиомы Евклида, что a priori никогда решено быть не может, с прибавлением, к случаю ложности, геометрической квадратуры круга» Бойаи опубликовал в качестве приложения к первому тому латинского сочинения своего отца «Опыт введения учащегося юношества в начала чистой математики» (Tentamen juventutem studiosam in elementa Matheoseos). Хотя эта книга вышла в 1831-1832 гг.{48}, т.е. после первых публикаций Лобачевского, вышедших в свет в 1829-1830 гг., Я. Бойаи, по-видимому, разработал свои идеи о неевклидовой геометрии уже в 1825 г. и убедился, что новая геометрия непротиворечива. В письме к отцу от 23 ноября 1823 г. Янош сообщает: «Я совершил столь чудесные открытия, что не могу прийти в себя от восторга». Гаусс, Лобачевский и Бойаи поняли, что аксиома Евклида о параллельных не может быть доказана на основе девяти остальных аксиом и что для обоснования евклидовой геометрии необходимо принять какую-то дополнительную аксиому о параллельных. А поскольку дополнительная аксиома не зависит от остальных, то, во всяком случае, логически вполне допустимо принять противоположное ей утверждение — и далее выводить следствия из новой системы аксиом. С чисто математической точки зрения содержание работ Гаусса, Лобачевского и Бойаи очень просто. Мы ограничимся здесь рассмотрением варианта неевклидовой геометрии, предложенного Лобачевским, так как все трое сделали по существу одно и то же. Лобачевский смело отверг аксиому Евклида о параллельных и принял допущение, высказанное еще Саккери. Пусть задана прямая AB и точка P вне ее (рис. 4.4). Тогда все прямые, проходящие через точку P, распадаются по отношению к прямой AB на два класса: класс прямых, пересекающих AB, и класс прямых, которые AB не пересекают. К числу последних принадлежат две прямые p и q, разделяющие наши два класса прямых. Сказанному можно придать более точный смысл. Если P — точка, находящаяся от прямой AB на расстоянии а (а — длина перпендикуляра PD, опущенного из точки P на прямую AB), то существует острый угол ?, такой, что все прямые, составляющие с перпендикуляром PD угол, меньший ?, пересекаются с прямой AB, а все прямые, составляющие с PD угол, больший или равный ?, не пересекаются с AB. Две прямые p и q, образующие с PD угол ?, называются параллельными по Лобачевскому прямой AB, а угол ? = (?(a)) называется углом параллельности (отвечающим отрезку PD = a). Прямые, проходящие через точку P (отличные от параллельных прямых p и q) и не пересекающиеся с прямой AB, называются расходящимися с AB прямыми (или сверхпараллельными ей; в евклидовой геометрии они были бы параллельны прямой AB). Если понимать параллелизм по Евклиду, т.е. называть параллельными любые две прямые, которые лежат в одной плоскости и не пересекаются между собой, то в геометрии Лобачевского через точку P проходит бесконечно много прямых, параллельных AB. ![]()
Затем Лобачевский доказывает несколько ключевых теорем. Если угол ? равен ?/2, то мы приходим к евклидовой аксиоме о параллельных. Если угол ? острый, то при неограниченном росте a он монотонно убывает и стремится к нулю. Сумма углов треугольника всегда меньше 180° и стремится к 180°, когда площадь треугольника неограниченно убывает. Два подобных треугольника, имеющих одинаковые углы, всегда конгруэнтны. Ни один обширный раздел математики и даже ни один крупный математический результат никогда не были детищем лишь одного какого-либо человека. В лучшем случае кто-то один делал решающий шаг или высказывал ту или иную важную идею. Также и неевклидова геометрия развивалась совместными усилиями многих известных и неизвестных математиков. Если под неевклидовой геометрией понимать вывод следствий из системы аксиом, содержащей опровержение евклидовой аксиомы о параллельных, то честь ее создания следует приписать Саккери, причем даже он использовал результаты многих своих предшественников, пытавшихся найти подходящую замену аксиоме Евклида. Если под неевклидовой геометрией понимать осознание возможности других геометрий, отличных от евклидовой, то пальму первенства в ее создании следует отдать Клюгелю и Ламберту.{49} Но самое важное утверждение о неевклидовой геометрии состоит в том, что она точно так же, как и евклидова геометрия, позволяет описывать свойства физического пространства. Геометрия физического пространства вовсе не обязательно должна быть евклидовой; более того, тот факт, что в физическом пространстве реализуется именно евклидова геометрия, нельзя гарантировать никакими априорными соображениями.{50} Осознание этого важного факта не требует никаких математических ухищрений, потому что все необходимое уже было сделано раньше, и первым, кто постиг эту истину, был Гаусс.{51} Один из биографов Гаусса утверждает, что тот пытался проверить свой вывод о пригодности неевклидовой геометрии к описанию реального мира. Гаусс обратил внимание на то, что в евклидовой геометрии сумма углов треугольника равна 180°, а в неевклидовой — меньше 180°. В течение нескольких лет Гаусс занимался топографической съемкой Ганновера и имел доступ ко всем данным, полученным при съемке. Вполне возможно, что он воспользовался этими данными для проверки суммы углов треугольника. В знаменитой работе от 1827 г. Гаусс отметил, что сумма углов треугольника, образованного тремя горными вершинами, Брокеном, Хоэхагеном и Инзельбергом, превышает 180° примерно на 15". Этот результат сам по себе ничего не доказывал, так как ошибки измерения были гораздо больше 15"; поэтому правильное значение суммы углов вполне могло быть равно 180° или быть меньше 180°. Гаусс, по-видимому, понимал, что выбранный им треугольник слишком мал для решающей проверки, так как в его (Гаусса) неевклидовой геометрии отклонение суммы углов треугольника от 180° пропорционально площади треугольника. Существенное отклонение от 180° можно было бы обнаружить в треугольнике гигантских размеров, какие возможны разве что в астрономии. И все же Гаусс был убежден, что новая геометрия применима к описанию физического мира ничуть не хуже, чем евклидова геометрия. Лобачевского также интересовала проблема применимости его геометрии к физическому пространству — и он аргументировал ее применимость к геометрическим фигурам очень больших размеров. Таким образом, к 30-м годам XIX в. неевклидову геометрию не только признали в узком кругу математиков, но и сочли применимой к физическому пространству. Вопрос о том, какая геометрия лучше всего соответствует физическому пространству (этот вопрос больше всего волновал Гаусса), способствовал появлению еще одного творения человеческого разума — новой геометрии, еще более склонившей математический мир к убеждению, что геометрия физического пространства может быть неевклидовой. Создателем новой геометрии стал Георг Барнхард Риман (1826-1866), ученик Гаусса, занявший впоследствии пост профессора математики в Гёттингене. Хотя работы Лобачевского и Бойаи не были в деталях известны Риману, о них был осведомлен Гаусс, и Риман, возможно, знал о сомнениях своего учителя относительно того, что геометрия реального мира непременно должна быть евклидовой. Гаусс предложил Риману выбрать для пробной лекции, которую тот должен был прочитать для получения звания приват-доцента, тему об основаниях геометрии. Риман прочитал свою лекцию в 1854 г. на философском факультете Гёттингенского университета. На лекции присутствовал и Гаусс. В 1868 г. — уже после смерти Римана — его лекция была опубликована под названием «О гипотезах, лежащих в основаниях геометрии» ([24], с. 309-325). В ней Риман подробно анализировал проблему структуры пространства. Сначала он рассмотрел вопрос о том, что достоверно известно о физическом пространстве. Риман поставил вопрос так: какие данные и условия заранее заложены в самом понятии пространства до того, как мы опытным путем устанавливаем, какими свойствами может обладать физическое пространство? Из этих данных и условий, приняв их за аксиомы, Риман намеревался вывести остальные свойства пространства. Аксиомы и логические следствия из них можно было бы считать априорными и необходимыми истинами. Все остальные свойства пространства подлежали эмпирическому исследованию. Риман попытался показать (и в этом состояла одна из главных целей его программы), что аксиомы Евклида в действительности имеют эмпирическое происхождение, а не являются самоочевидными истинами. Риман избрал аналитический подход (опирающийся на математический анализ и некоторые его высшие разделы) из опасения, что при геометрических доказательствах нас могут вводить в заблуждение чувственные восприятия и мы можем предположить такие свойства и факты, которые явно не участвуют в доказательстве. Предложенный Риманом подход к анализу структуры пространства отличался большой общностью, и для наших целей нет необходимости входить здесь в его детали. Исследуя априорные свойства пространства, Риман ввел некое представление, которое впоследствии стало еще более важным, а именно различие между отсутствием границ («безграничностью») и бесконечностью пространства. (Например, поверхность сферы не имеет границ, но она не бесконечна.) Безграничность, подчеркнул Риман, на эмпирическом уровне воспринимается легче, чем бесконечная протяженность. Идея Римана о пространстве, не имеющем границ, но не бесконечно протяженном, послужила стимулом к созданию еще одной элементарной неевклидовой геометрии, известной ныне под названием удвоенной эллиптической геометрии.{52} Сначала и сам Риман и Эудженио Бельтрами (1835-1900) рассматривали новую геометрию как применимую к некоторым поверхностям, например таким, как сфера, на которой роль «прямых» играют дуги больших кругов. Но под влиянием работ Кэли и других авторов математикам пришлось примириться с мыслью, что удвоенная эллиптическая геометрия, как и геометрия Гаусса, Лобачевского и Бойаи, может описывать наше трехмерное физическое пространство, в котором роль прямой играет след, оставленный краем линейки. В удвоенной эллиптической геометрии прямая не ограничена, хотя длина ее не бесконечна. Более того, в удвоенной эллиптической геометрии вообще нет параллельных. Так как в новой геометрии остается в силе часть аксиом евклидовой геометрии, некоторые ее теоремы сохраняют тот же вид, что и теоремы, известные нам из «Начал» Евклида. Например, теорема о том, что два треугольника конгруэнтны, если две стороны и угол, заключенный между ними, одного треугольника равны двум сторонам и углу, заключенному между ними, другого треугольника, дословно переносится в удвоенную эллиптическую геометрию, как и другие признаки конгруэнтности треугольников. Но основная часть теорем удвоенной эллиптической геометрии отличается как от теорем евклидовой геометрии, так и от теорем геометрии Гаусса — Лобачевского — Бойаи. Так, одна из теорем этой необычной геометрии утверждает, что все прямые имеют одинаковую длину и каждые две из них пересекаются в двух точках. Другая теорема гласит, что все перпендикуляры к данной прямой пересекаются в двух точках. Сумма углов треугольника в удвоенной эллиптической геометрии всегда больше 180°, но она, убывая, стремится к 180°, когда площадь треугольника приближается к нулю. Два подобных треугольника обязательно конгруэнтны. Что же касается применимости удвоенной эллиптической геометрии к физическому миру, то все аргументы относительно применимости ранее созданной неевклидовой геометрии, впоследствии получившей название гиперболической геометрии, равным образом относятся и к ней.{53} На первый взгляд мысль о том, что любая из этих странных геометрий могла бы соперничать с евклидовой геометрией и даже быть более ценной в приложениях к реальной Вселенной, кажется нелепой. Но Гаусс имел смелость рассмотреть и такую возможность. Независимо от того, использовал ли он результаты измерений, приведенные в его работе 1827 г., для проверки применимости неевклидовой геометрии к реальному миру, Гаусс был первым, кто не только с уверенностью заявил, что неевклидова геометрия применима к физическому пространству, но и осознал, что мы более не можем быть уверены в истинности евклидовой геометрии. Трудно утверждать, находился ли Гаусс под непосредственным влиянием идей Юма. Во всяком случае, предпринятую Кантом попытку опровергнуть Юма Гаусс не считал достаточно серьезной. Не следует забывать, однако, что Гаусс жил во времена, когда истинность математических законов была поставлена под сомнение, и он не мог не ощущать влияния той духовной атмосферы, в которой он жил, как все мы не можем не дышать воздухом, который нас окружает. Новые взгляды, пусть незаметно для него самого, проникали в сознание Гаусса. Если бы Саккери родился на сто лет позже, возможно, и он пришел бы к тем же выводам, что и Гаусс. Насколько можно судить, сначала Гаусс сделал заключение, что во всей математике нет ничего истинного. В письме к Бесселю от 21 ноября 1811 г. он утверждал:
Но отказаться от сокровищ было не так-то легко. Гаусс, по-видимому, подверг пересмотру проблему истины в математике и счел, что он нашел твердую почву, на которой можно возводить фундамент. В письме Гаусса к Генриху Вильгельму Ольберсу (1758-1840), написанному в 1817 г., говорится:
Гаусс в отличие от Канта не считал законы механики истинами. Как и большинство ученых, Гаусс разделял взгляды Галилея, утверждавшего, что эти законы основаны на опыте. В письме Гаусса Бесселю от 9 апреля 1830 г. содержится следующее признание:
Гаусс считал носителем истины арифметику и, следовательно, основанные на арифметике алгебру и математический анализ (дифференциальное и интегральное исчисление и высшие разделы анализа), так как арифметические истины легко постигаются нашим разумом. Мысль о том, что евклидова геометрия — это геометрия реального пространства, т.е. абсолютная истина о пространстве, настолько глубоко вошла в сознание людей, что любые идеи противоположного толка, в частности идеи Гаусса, на протяжении многих лет отвергались. Математик Георг Кантор говорил о законе сохранения невежества. Не так-то легко опровергнуть любое неверное заключение, коль скоро к нему пришли и оно получило достаточно широкое распространение, причем чем менее оно понятно, тем более упорно его придерживаются. На протяжении почти тридцати лет после выхода в свет работ Н.И. Лобачевского и Я. Бойаи математики, за редкими исключениями, игнорировали неевклидовы геометрии: их считали своего рода курьезом. Некоторые математики не отрицали, что неевклидовы геометрии логически непротиворечивы; другие же были убеждены, что новые геометрии не могут не содержать противоречий и потому бесполезны.{54} Почти все математики считали, что единственно верной геометрией физического пространства должна быть евклидова геометрия. Однако математики забыли о боге — и всемогущий геометр не стал открывать им, какой из нескольких конкурирующих геометрий он руководствовался при сотворении мира. Математикам не оставалось ничего другого, как попытаться установить истинную геометрию мира своими силами. Но вот после смерти Гаусса в 1858 г., когда его репутация была необычайно высокой, становятся известными материалы, обнаруженные среди бумаг «короля математиков», а опубликованная в 1868 г. лекция Римана (1854) убеждает многих математиков в том, что и неевклидова геометрия может быть геометрией физического пространства и что любые априорные утверждения о том, какая из геометрий является истинной, лишены всяких оснований. Уже одно то, что появились несколько противоречащих друг другу геометрий, само по себе было ударом. Еще более сильный шок вызвала полная невозможность указать, какая из геометрий истинна, и даже установить, истинна ли хоть какая-нибудь одна из них. Стало ясно, что математики сформулировали казавшиеся им правильными аксиомы геометрии, руководствуясь своим весьма ограниченным опытом, и ошибочно сочли эти аксиомы самоочевидными истинами. Математики оказались в положении, о котором можно сказать словами Марка Твена: «Человек — животное религиозное. Только обретя сразу несколько религий, он приобщился к истинной религии». Постепенно математики приняли неевклидову геометрию и вытекавшие из ее существования выводы о границах истинности геометрии; однако это произошло отнюдь не потому, что кому-то удалось каким-то образом подкрепить аргументы в пользу применимости неевклидовой геометрии к физическому пространству. Скорее всего неевклидова геометрия была принята по той простой причине, о которой на заре XX в. говорил создатель квантовой механики Макс Планк: «Новая научная истина побеждает не потому, что ее противники убеждаются в ее правильности и прозревают, а лишь по той причине, что противники постепенно вымирают, а новое поколение усваивает эту истину буквально с молоком матери». В вопросе об истинности всей математики в целом некоторые математики встали на сторону Гаусса. Они считали, что истина кроется в числах, составляющих основу арифметики, алгебры, дифференциального и интегрального исчисления, а также высших разделов математического анализа. Карлу Густаву Якоби (1804-1850) принадлежит высказывание: «Бог всегда арифметизует».{55} В отличие от Платона Якоби не считал, что бог вечно геометризует. То, что математикам удалось отвести смертельную опасность, приняв за абсолютную истину разделы математики, основанные на понятии числа, по-видимому, имело в середине XIX в. несравненно более далеко идущие последствия и было более жизненно важным для науки, чем существование нескольких геометрий. К сожалению, математике предстояло пережить новые потрясения. И чтобы разобраться в их истоках, нам придется вернуться немного назад. Понятие вектора математики широко использовали начиная с XVI в.{56} Вектор, обычно изображаемый в виде направленного отрезка, обладает направлением и величиной (рис. 4.5). Он используется для описания таких физических величин, как сила, скорость и другие, которые характеризуются величиной и направлением. Векторы, лежащие в одной плоскости, можно комбинировать геометрически, производя над ними обычные операции сложения и вычитания и получая некий результирующий вектор. ![]()
В том же XVI в. в математике появились комплексные числа, т.е. числа вида а + bi, где i = v?1, а а и b — вещественные числа. Даже математики считали комплексные числа весьма загадочными. Поэтому, когда около 1800 г. несколько математиков [Каспар Вессель (1745-1818), Жан Робер Арган (1786-1822) и Гаусс] поняли, что комплексным числам можно сопоставить направленные отрезки на плоскости (рис. 4.6), их открытие стало подлинной сенсацией. Эти математики сразу же осознали, что комплексные числа можно использовать не только для представления векторов на плоскости, но и для выполнения операций сложения, вычитания, умножения и деления векторов. ![]()
Иначе говоря, комплексные числа позволяют представить векторную алгебру, подобно тому как целые и дробные числа позволяют представить, например, коммерческую сделку. Следовательно, вместо того чтобы производить операции над векторами геометрически, их можно осуществлять алгебраически. Так, сложение двух векторов OA и OB (рис. 4.7) по правилу параллелограмма приводит к сумме, или результирующему вектору ОС. Ту же операцию можно выполнить алгебраически, представив вектор OA комплексным числом 3 + 2i, а вектор OB — комплексным числом 2 + 4i. Сумма этих комплексных чисел (комплексное число 5 + 6i) соответствует результирующему вектору ОС. ![]()
К 30-м годам XIX в. идея использования комплексных чисел для представления векторов на плоскости и выполнения операций над ними получила достаточно широкое распространение. Но если на тело действуют несколько сил, то эти силы и представляющие их векторы не обязательно должны лежать в одной и той же плоскости — и даже обычно не лежат в ней. Условимся для удобства называть обычные вещественные числа одномерными, а комплексные — двумерными. Тогда для представления пространственных векторов и выполнения операций над ними было бы естественно ввести «трехмерные» числа. Как и в случае комплексных чисел, допустимые операции над трехмерными числами должны были бы включать сложение, вычитание, умножение и деление. Для того, чтобы над этими числами можно было беспрепятственно и эффективно производить алгебраические операции, они должны обладать обычными свойствами вещественных и комплексных чисел. Так, математики принялись за поиски «трехмерных комплексных чисел». Над решением этой проблемы бились многие. Полезный пространственный аналог комплексных чисел предложил в 1843 г. Уильям Роуан Гамильтон. Пятнадцать лет он непрестанно размышлял над этой проблемой. Умножение всех известных к тому времени чисел обладало свойством коммутативности, т.е. всегда было ab = ba, — и Гамильтон вполне естественно полагал, что трехмерные, или трехкомпонентные, числа также должны обладать этим свойством, равно как и другими свойствами вещественных и комплексных чисел. Гамильтону удалось добиться успеха лишь ценой двух компромиссов: во-первых, его новые числа обладали четырьмя компонентами, а не тремя, как ему первоначально хотелось, и, во-вторых, ему пришлось пожертвовать свойством коммутативности умножения (сохранив, однако, ассоциативность: для любых трех кватернионов p, q и r всегда (pq)r = p(qr)). Оба необычных свойства введенных Гамильтоном чисел произвели подлинный переворот в алгебре. Гамильтон назвал найденные им новые числа кватернионами. Если комплексное число представимо в виде а + bi, где i = v?1, то кватернион — это число, представимое в виде
где i, j и k обладают таким же свойством, как и v?1, т.е.
Два кватерниона равны в том и только том случае, если попарно равны коэффициенты a, b, c и d в представлениях этих чисел. При сложении двух кватернионов суммы соответствующих коэффициентов образуют новые коэффициенты. Таким образом, сумма двух кватернионов сама также является кватернионом. Чтобы определить умножение кватернионов, Гамильтону пришлось задать произведения i и j, i и k, j и k. Гамильтон исходил из того, что произведение кватернионов должно быть кватернионом и что кватернионы должны сохранять как можно больше свойств вещественных и комплексных чисел. Достичь желаемого ему удалось, приняв правила умножения:
Эти правила означают, что умножение кватернионов не коммутативно, т.е. если p и q — кватернионы, то pq не равно qp. Выполнимо и деление одного кватерниона на другой. Но поскольку умножение кватернионов не коммутативно, то разделить кватернион p на кватернион q означает найти либо такой кватернион r, что р = qr, либо такой кватернион r, что p = rq. Частное r в этих двух случаях не обязательно должно быть одним и тем же; поэтому их и записывают по-разному: в первом случае пишут r = q?1p, a во втором — pq?1. Хотя кватернионы не получили столь широкого применения, как рассчитывал Гамильтон, ему удалось с их помощью решить немало физических и геометрических задач. Введение кватернионов явилось еще одним потрясением для математики. Налицо был пример физически полезной алгебры, не обладающей фундаментальным свойством всех известных ранее чисел — здесь не выполнялось правило ab = ba. Вскоре после того, как Гамильтон создал свои кватернионы, математики, работавшие в других областях, ввели еще более необычные алгебры. Знаменитый алгебраист и геометр Артур Кэли (1821-1895) ввел матрицы — квадратные или прямоугольные таблицы чисел. Над матрицами также можно было производить обычные алгебраические операции, но умножение матриц, как и кватернионов, не было коммутативным. Кроме того, произведение двух матриц могло равняться нулю, даже если оба сомножителя были отличны от нуля. Кватернионы и матрицы ознаменовали начало появления нескончаемой вереницы новых алгебр со все более необычными свойствами. Несколько таких алгебр создал Герман Гюнтер Грассман (1809-1877). По своей общности они превосходили кватернионы Гамильтона. К сожалению, Грассман всю жизнь оставался преподавателем средней школы, и прошло немало лет, прежде чем его работа привлекла заслуженное внимание. Как бы то ни было, Грассман пополнил множество так называемых гиперчисел (или, как сегодня чаще говорят, гиперкомплексных чисел{57}) новыми полезными разновидностями. Создание новых алгебр для тех или иных специальных целей само по себе не ставило под сомнение истинность обычной арифметики и ее приложений в алгебре и математическом анализе. Кроме того, обычные вещественные и комплексные числа использовались для совершенно разных целей, и их применимость нигде не вызывала сомнений. Тем не менее сам факт появления на сцене новых алгебр заставил усомниться в истинности привычной арифметики и алгебры, подобно тому как люди, узнав об обычаях неизвестной ранее цивилизации, начинают по-новому смотреть на свои собственные обычаи. Наиболее сильной критике истинность арифметики подверглась со стороны Германа Гельмгольца (1821-1894), выдающегося физиолога, физика и математика. В своей книге «Счет и измерение» (1887) Гельмгольц провозгласил основной проблемой арифметики, обоснование ее автоматической применимости к физическим явлениям. По мнению Гельмгольца, единственным критерием применимости законов арифметики мог быть опыт. Утверждать априори, что законы арифметики применимы в любой данной ситуации, невозможно. По поводу применимости законов арифметики Гельмгольц высказал немало ценных замечаний. Само понятие числа заимствовано из опыта. Некоторые конкретные опыты приводят к обычным типам чисел: целым, дробным, иррациональным — и к свойствам этих чисел. Однако обычные числа применимы лишь именно к этим опытам. Мы сознаем, что существуют виртуально эквивалентные объекты, и тем самым сознаем, что можем говорить, например, о двух коровах. Но чтобы выражения подобного рода сохраняли силу, рассматриваемые объекты не должны исчезать, сливаться или претерпевать деление. Одна дождевая капля, если ее слить с другой дождевой каплей, вовсе не образует двух дождевых капель. Даже понятие равенства неприменимо автоматически к каждому опыту. Кажется несомненным, что если объект a равен объекту c, а объект b равен объекту c, то объект a должен быть равен объекту b. Но два звука могут казаться по высоте такими же, как третий звук, и все же мы в состоянии отличать на слух первые два звука. Следовательно, два объекта, порознь равные третьему, не обязательно должны быть равны между собой. Аналогично цвет a может казаться таким же, как цвет b, а цвет b — таким же, как цвет c, и все же цвет a иногда удается отличить от цвета c. Много других примеров можно привести в подтверждение того, что наивное применение арифметики иногда давало нелепые результаты. Так, смешав два равных объема воды — один при температуре 40°C, другой при температуре 50°C, — мы не получим удвоенного объема при температуре 90°. Путем наложения двух гармонических тонов — одного с частотой 100 Гц, другого с частотой 200 Гц — мы не получим гармонический тон с частотой 300 Гц. В действительности составной тон будет иметь частоту 100 Гц. Соединив в электрической цепи параллельно два резистора с сопротивлениями R1 и R2, мы получим сопротивление величиной R1R2 / (R1 + R2), a не сопротивление R1 + R2. Как в шутку заметил некогда Анри Лебег (1875-1941), поместив в клетку льва и кролика, мы не обнаружим в ней позднее двух животных. Из химии известно, что, смешивая водород и кислород, можно получить воду. Но если взять два объема водорода и один объем кислорода, то мы получим не три, а два объема водяного пара. Аналогично из одного объема азота и трех объемов водорода мы получим два объема аммиака. Физическое объяснение этой удивительной арифметики ныне известно. По закону Авогадро, в равных объемах любого газа при одинаковой температуре и одинаковом давлении содержится равное число частиц. Например, если в данном объеме кислорода содержится 10 молекул, то при той же температуре и том же давлении в равном объеме водорода содержится также 10 молекул. Следовательно, удвоенный объем водорода содержит 20 молекул. Известно, что молекулы кислорода и водорода двухатомны. Каждая из 20 двухатомных молекул водорода, соединяясь с одним атомом кислорода, образует молекулу воды. Так как всего имеется 10 молекул кислорода, то образуется 20 молекул воды, т.е. два, а не три объема. Таким образом, обычная арифметика не дает правильного описания того, что происходит при смешении газов, если подсчет производить по объемам. Обычная арифметика не позволяет правильно описать и то, что происходит при смешении некоторых жидкостей. Если кварту джина смешать с квартой вермута, то получится чуть меньше двух кварт смеси. Смешав 1 л спирта с 1 л воды, мы получим 1,8 л спиртового раствора. То же справедливо и для большинства жидкостей, в состав которых входит спирт. Взяв столовую ложку, воды и столовую ложку соли, мы не получим две столовые ложки крепкого раствора соли. При смешивании некоторых химических веществ происходит взрыв — объем смеси заведомо не равен сумме объемов исходных веществ. Для описания многих физических ситуаций неприменимы не только свойства целых чисел — на практике нередко приходится прибегать к совсем иной арифметике дробных чисел. Рассмотрим, например, футбол, столь любимый миллионами болельщиков во всем мире. Предположим, что в одной игре нападающий трижды пробил по воротам противника, а в другой игре — четыре раза. Сколько раз всего он бил по воротам противника? Подсчитать нетрудно: всего он бил по воротам противника 7 раз. Предположим, что в первой игре наш нападающий забил 2 гола, а во второй — 3 гола. Сколько голов он забил за две игры? И на этот раз ответ получить легко: за две игры он забил 2 + 3 = 5 голов. Но и болельщиков, и самого игрока обычно интересует средняя результативность, т.е. отношение числа забитых голов к числу ударов по воротам противника. В первой игре это отношение было равно 2/3, во второй — 3/4. Предположим, что нападающий или болельщик хочет по этим данным вычислить среднюю результативность за две игры. Некоторые полагают, что для этого необходимо лишь сложить оба отношения по обычным правилам сложения дробей, т.е. составить сумму:
Но полученный таким образом результат явно лишен всякого смысла: ни один нападающий за 12 ударов по воротам противника не может забить 17 голов! Ясно, что обычные правила сложения дробей непригодны для подсчета средней результативности: средняя результативность за две игры не совпадает с суммой средних результативностей, вычисленных для каждой из игр в отдельности. Каким же образом, зная результативность нападающего в каждой из двух игр в отдельности, правильно вычислить среднюю результативность за две игры? Для этого необходимо воспользоваться новым правилом сложения дробей. Мы знаем, что результативность нападающего по двум играм составляет 5/7, а в первой и во второй играх равна соответственно 2/3 и 3/4. Нетрудно видеть, что, сложив отдельно числители и знаменатели слагаемых, мы получим новую дробь, дающую правильный ответ:
(знак плюс, который мы не случайно обвели кружком, означает здесь, что числители и знаменатели суммируются отдельно). Предложенное нами правило «сложения» дробей оказывается полезным и в других ситуациях. Продавец, ведущий учет эффективности своей торговли, может заметить, например, что в первый день покупки сделали 3 из 5 посетителей, а во второй день — 4 из 7. Чтобы вычислить эффективность торговли за два дня, т.е. найти отношение числа покупок к общему числу посетителей, продавец должен сложить 3/5 и 4/7 по тому же правилу, по которому нападающий вычислял свою результативность за две игры. За два дня покупки сделали 7 посетителей из 12, а 7/12 = 3/5 + 4/7, где знак плюс означает сложение отдельно числителей и отдельно знаменателей. Еще чаще встречается другое применение нового правила сложения дробей. Предположим, что автомобиль проезжает 50 км за 2 ч и 100 км за 3 ч. С какой средней скоростью автомобиль покрывает оба отрезка пути? Можно было бы рассуждать так: расстояние 150 км автомобиль проезжает за 5 ч, поэтому его средняя скорость составляет 30 км/ч. Но часто бывает удобнее вычислять средние скорости всего пробега по средним скоростям на отдельных участках маршрута. Средняя скорость на первом участке равна (50/2) км/ч, а на втором — (100/3) км/ч. Сложив отдельно числители и знаменатели этих дробей, мы получим правильную среднюю скорость всего пробега. В обычной арифметике 4/6 = 2/3. Но при сложении двух дробей по новому правилу, например при вычислении 2/3 + 3/5, дробь 2/3 не следует заменять дробью 4/6, так как ответ в одном случае равен 5/8, а в другом — 7/11, и эти два ответа оказываются различными. Кроме того, в обычной арифметике такие дроби, как 5/1 и 7/1, ведут себя также, как целые числа 5 и 7. Но если мы вздумаем сложить 5/1 и 7/1 как дроби, по правилам новой арифметики, то вместо 12/1 получим 12/2. Приведенные примеры такой «футбольной арифметики» свидетельствуют об одном: вводя операции, отличные от привычных, мы тем не менее можем прийти к арифметике, применимой к реальному миру. Математике известны и многие другие арифметики. Однако ни один здравомыслящий математик не станет изобретать арифметику «просто так», для собственного удовольствия. Каждая арифметика предназначена для описания некоторого класса явлений физического мира. Производимые над числами операции выбираются с таким расчетом, чтобы они соответствовали выбранному классу явлений, подобно тому как в приведенных примерах необычное сложение дробей позволяло вычислять среднюю результативность, эффективность и скорость. Новая арифметика должна облегчать исследование реально происходящего. Только опыт может сказать нам, в каких случаях обычная арифметика применима к тому или иному физическому явлению. Следовательно, мы не можем рассматривать арифметику как свод истин, с необходимостью применимых для описания любых физических явлений. Разумеется, это же относится и к «продолжениям» арифметики — алгебре и математическому анализу. Их также нельзя считать сводом непреложных истин (см., например, [30]). Итак, математикам не оставалось ничего иного, как прийти к печальному заключению о том, что в математике нет абсолютной истины, т.е. что математика не содержит внутри себя все законы реального мира. Аксиомы основных структур арифметики и геометрии порождены опытом, и поэтому применимость структур арифметики ограничена. Вопрос о том, где именно они применимы, может быть решен только на опыте. Попытка древнегреческих мыслителей обеспечить истинность математики, принимая за исходные самоочевидные истины и используя только дедуктивные доказательства, провалилась. Для многих мыслящих математиков сознание того, что математика не является более сводом незыблемых истин, было невыносимым, и они не могли смириться с этим. Казалось, сам бог ниспослал им в наказание несколько геометрий и несколько алгебр, подобно тому как он, смешав языки, покарал строителей Вавилонской башни. Такие математики наотрез отказывались принимать новые творения своих собратьев по профессии. Уильям Р. Гамильтон, несомненно, один из самих выдающихся математиков XIX в., выразил (1837) свое неприятие неевклидовой геометрии следующим образом:
Артур Кэли, выступая в 1883 г. с речью перед Британской ассоциацией содействия развитию наук, сказал:
Ту же точку зрения высказывал и Феликс Клейн (1849-1925), один из крупнейших математиков нашего времени. Хотя Кэли и Клейн сами работали в области неевклидовых геометрий, они рассматривали их как новообразования, возникающие при искусственном введении в добрую старую евклидову геометрию новых метрик — функций, определяющих расстояние между точками. Оба отказывались признать, что неевклидова геометрия столь же фундаментальна и применима к внешнему миру, как и евклидова. Разумеется, во времена, когда теория относительности еще не была создана, позиция Кэли и Клейна была вполне обоснованной. Верил в истинность математики и Бертран Рассел, хотя он и понимал эту истинность в несколько ограниченном смысле. В 1890 г. он предпринял попытку проанализировать вопрос о том, какие свойства пространства необходимы и могут быть приняты до опыта, т.е., если бы любое из этих априорных свойств мы стали бы отрицать, то опыт утратил бы смысл. В своей работе «Очерк оснований геометрии» (Essay of the Foundations of Geometry, 1897) Рассел признал, что геометрия Евклида не является априорным знанием. В этой же книге он пришел к заключению, что из всех геометрий априорность присуща лишь проективной геометрии{58} — заключение вполне понятное, если принять во внимание то значение, которое придавали проективной геометрии на рубеже XIX-XX вв. К проективной геометрии в качестве априорных истин Рассел добавил аксиомы, общие для евклидовой и всех неевклидовых геометрий. Эти аксиомы относились к однородности пространства, конечномерности и к понятию расстояния, позволяющему производить измерения. Рассел также указал на то, что количественным соображениям должны предшествовать чисто качественные, и использовал этот тезис для подкрепления приоритета проективной геометрии. Что касается метрических геометрий, к числу которых относятся евклидова и несколько неевклидовых геометрий, то они могут быть получены из проективной геометрии, если подходящим образом определить расстояние между точками. Поэтому Рассел считал их создание чисто техническим достижением, не имеющим философского значения. Во всяком случае, специфические теоремы метрических геометрий, с точки зрения Рассела, не являются априорными истинами. Что же касается нескольких основных метрических геометрий, то Рассел, расходясь во мнениях с Кэли и Клейном, считал, что все они логически одинаково обоснованы. Поскольку априорными свойствами из всех метрических геометрий обладают только евклидова, гиперболическая, эллиптическая и удвоенная эллиптическая геометрии, то Рассел заключил, что ими исчерпываются все возможные метрические геометрии и что евклидова геометрия — единственная из всех геометрий, применимая к физическому миру. Все остальные геометрии имеют философское значение, так как доказывают возможность существования других геометрических систем, отличных от разработанной древними греками. Оглядываясь назад, мы ясно видим, что широко распространенное пристрастие к евклидовой геометрии уступает у Рассела место пристрастию к проективной геометрии. Много лет спустя, Рассел признал «Очерк» юношески незрелым произведением, более не выдерживающим критики. Как мы увидим в дальнейшем (гл. X), Рассел вместе с другими философами выдвинул новую основу для установления истины в математике. Настойчивость, проявленная математиками в поиске каких-либо абсолютных истин, вполне понятна. После многих столетий блистательных успехов математики в описании и предсказании физических явлений природы мысль о необходимости признать ее не коллекцией алмазов, а собранием искусственных камней была тяжела для каждого, а особенно для тех, кто был ослеплен гордостью за свои собственные достижения. Однако постепенно математики свыклись с тем, что аксиомы и теоремы их науки утратили статус истин о физическом мире. Некоторые области опыта подсказывали выбор специальных систем аксиом — для таких областей эти аксиомы и логические следствия из них были применимы достаточно точно, что позволило считать их полезным описанием действительного. Но расширение такой области может пагубно сказаться на применимости аксиом и теорем. Что касается изучения физического мира, то математика не предлагает ничего, кроме теорий, или моделей. Всякий раз когда накопленный нами опыт или специальный эксперимент показывает, что новая теория дает более точное описание реальности, чем старая, старую теорию вполне допустимо заменить новой. Отношение математики к физическому миру прекрасно выразил в 1921 г. Эйнштейн:
Бог отвернулся от математиков, и им не оставалось ничего другого, как принять человека. Именно это они и сделали. Они продолжали развивать математику и заниматься поиском законов природы, теперь уже зная, что их открытия не составляют часть божественного плана, а являются творениями людей. Одержанные в прошлом победы помогли им вновь обрести уверенность в своих силах, а нескончаемая череда новых успехов вознаграждала их усилия. Жизнь математики спасли чудодейственное «снадобье», ею же самой составленное: колоссальные достижения в небесной механике, акустике, гидродинамике, оптике, теории электромагнитного поля{59} и инженерном деле — и невероятная точность предсказаний. Наука, которая хотя и сражалась под победоносным знаменем истины, но одерживала свои победы с помощью загадочной «внутренней силы» (гл. XV), должна быть наделена скрытой мощью, чтобы не сказать магией. Развитие математики и применение ее результатов к естествознанию происходило теперь более быстрыми темпами, чем прежде. Осознание того, что математика не является сводом абсолютных истин, эхом отозвалось на многих областях человеческой деятельности. Начнем с естествознания. Со времен Галилея физики понимали, что в основе фундаментальных законов естествознания в отличие от математики должен лежать эксперимент, хотя ранее они на протяжении двух столетий считали, что открываемые ими законы заложены в плане мироздания. Но к началу XIX в. физики пришли к заключению, что никакие естественнонаучные теории также не являются абсолютными истинами. Если даже математика имеет свои начала в человеческом опыте и не может более отстаивать свою истину, рассуждали естествоиспытатели, то, поскольку мы используем аксиомы и теоремы математики, наши собственные теории уязвимы в еще большей степени. Законы природы открывает человек. Мы, а не господь бог, устанавливаем законы природы. Закон природы описывает человек, а не предписывает бог. Отзвуки постигшего математику бедствия докатились до всех областей культуры. Вера в достижимость мнимых истин в математике и математической физике порождала надежду на то, что истина достижима и во всех остальных областях знания. Эти надежды выразил в 1637 г. Декарт в своем «Рассуждении о методе»:
Декарт написал эти строки в те времена, когда успехи математического метода были еще сравнительно невелики. К середине XVIII в. эти успехи стали столь многочисленны и весомы, что ведущие мыслители обрели уверенность в необходимости применения рационального и математического подхода всюду, где необходимо достичь истины. Имея в виду свой век, Д'Аламбер писал:
Уверенность в том, что истины удастся обнаружить во всех областях человеческого знания, была до основания подорвана, когда выяснилось, что абсолютной истины нет даже в математике. Возможно, что надежда и даже вера в возможность достижения абсолютного знания в вопросах политики, этики, религии, экономики и многих других областях еще теплилась в умах людей, однако самая прочная опора подобных надежд была утрачена. Математика явила миру доказательство того, что человек может постигать истины — но она же и опровергла данное ею доказательство. Неевклидова геометрия и кватернионы, ознаменовавшие триумф человеческого разума, привели к бедствию, постигшему духовный мир человека. По выражению знаменитого психолога Уильяма Джеймса (1842-1910), «духовная жизнь человека почти целиком заключается в замене концептуальным порядком той упорядоченности ощущений, в которых первоначально запечатляется его опыт». Но концептуальный порядок далеко не отражает упорядоченность восприятий. С утратой истины разум человека утратил точку опоры, свою систему отсчета. «Гордость человеческого разума», падая, увлекла за собой здание истины. Урок этого состоял в следующем: никогда нельзя утверждать догматически даже то, в чем мы неколебимо уверены. Именно то, в чем мы наиболее уверены, должно вызывать наибольшие сомнения, ибо здесь проявляются не только наши достижения, но и наша ограниченность, пределы наших возможностей. Историю всеобщей убежденности в истинности математики можно закончить, процитировав «Размышления о бессмертии» Уордсворта. В середине XVIII в. математики могли сказать о своих творениях: Наш бог — наш дом, В середине XIX в. математикам не оставалось ничего другого, как с горечью признать: Куда б я ни пришел, Но история не дает повода к унынию. Как сказал о математике гениальный Эварист Галуа (1811-1832) «[эта] наука — творение человеческого разума, предназначенное не столько для знания, сколько для познания, для поиска, а не для отыскания истины». Возможно, в самой природе истины заложена способность ускользать от преследования или, говоря словами римского философа Луция Сенеки, «природа не сразу открывает свои тайны». Примечания: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. 36 В расчетах, относящихся к большим областям земном поверхности (каковой можно считать и княжество Ганновер), приходится учитывать отличие поверхности Земля от плоскости; и обдумывая это обстоятельство, Гаусс пришел к глубокой концепции внутренней геометрии поверхности, задаваемой ее метрикой, т.е. измеряемым по поверхности расстояниям. Соответствующая теория была изложена Гауссом в обширном труде «Общие исследования о кривых поверхностях» [Disquesitiones generales 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 Математический вариант теории электромагнитного поля был создан Дж.К. Максвеллом, который, по выражению Р. Милликена, «облек плебейски обнаженные представления Фарадея в аристократические одежды математики». [Создатель описательной теории электромагнетизма, самоучка М. Фарадей, весьма далекий от математики, был, кстати сказать, одним из немногих физиков, кто сразу же высоко оценил первые публикации Максвелла.] |
|
||
Главная | Контакты | Прислать материал | Добавить в избранное | Сообщить об ошибке |
||||
|