Чтение онлайн

Конструируя пространство на основе работы клеток головного мозга человека, Кант не видел причин для отказа от евклидова пространства. Собственную неспособность представить другие геометрии Кант счел достаточным основанием, чтобы утверждать, что другие геометрии не могут существовать. Таким образом, нельзя утверждать, что законы евклидовой геометрии изначально присущи миру или что мир создан богом на основе евклидовой геометрии: законы евклидовой геометрии представляют собой лишь механизм, с помощью которого человекорганизует и рационализирует свои ощущения. Что же касается бога, то, по мнению Канта, природа божественного лежит за пределами рационального знания, хоть он и считал веру в бога обязательной. Глубина философских воззрений Канта, пожалуй, была превзойдена лишь ограниченностью его геометрических представлений. Прожив всю жизнь в Кенигсберге, в Восточной Пруссии, и не выезжая из него далее чем на шестьдесят километров, Кант тем не менее считал себя способным мысленно представить геометрию Вселенной. {42}

А как обстояло дело с математическими законами естествознания? Так как весь наш опыт вкладывается в формы чистого созерцания — пространство и время, математика должна быть применима ко всякому опыту. В «Метафизических начальных основаниях естествознания» (1786) Кант признал законы Ньютона и следствия из них самоочевидными. По утверждению Канта, ему удалось доказать, что законы Ньютона выводятся на основании чистого разума и что они не более чем допущения, позволяющие понять природу. Ньютон, по словам Канта, «позволил нам составить ясное представление о структуре Вселенной, которая во все времена будет одной и той же».

В более общем плане рассуждения Канта сводились к следующему. Мир науки — это мир чувственных ощущений, упорядоченных и управляемых разумом в соответствии с такими врожденными категориями, как пространство, время, причина и следствие, субстанция. Разум содержит своего рода «ложа», на которые должны укладываться «гости» извне. Чувственные ощущения рождаются в реальном мире, но, к сожалению, этот мир непознаваем.Реальность может быть познана только в субъективных категориях, создаваемых воспринимающим ее разумом. Следовательно, к организации опыта нет иного пути, кроме евклидовой геометрии и ньютоновской механики. По мере возникновения новых наук опыт расширяется, но разум формулирует новые принципы, не обобщая новые опытные данные, а используя для их интерпретации ранее бездействующие «ложа». Способность разума созерцать раскрывается только в том случае, если ее питает опыт. Этим объясняется относительно позднее познание некоторых истин, например законов механики, по сравнению с другими истинами, известными на протяжении многих столетий.

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

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

Философия Канта и его авторитет раскрепостили и одновременно ограничили научно-философскую мысль. Подчеркивая силу разума как организующего начала в упорядочении чувственного опыта о мире, который нам не дано узнать доподлинно, Кант проложил путь к новым представлениям, в корне противоположным тем, которые в его время считались твердо установленными. Но упорно подчеркивая, что наш разум с необходимостью организует пространственные ощущения в соответствии с законами евклидовой геометрии, Кант тем самым тормозил формирование иных взглядов. {43} Если бы Кант с большим вниманием следил за тем, как развивались события в современной ему математике, то, возможно, он не стал бы настаивать на том, что упорядочивание пространственных ощущений по образу и подобию евклидовой геометрии является единственным, которое может допустить наш разум.

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

Хотя к началу XIX в. роль бога становилась все менее ощутимой и некоторые радикально настроенные философы, например Юм, отрицали все истины, математики того времени по-прежнему продолжали верить в истинность собственно математики и математических законов природы. Евклидова геометрия была наиболее почитаемым разделом математики не только потому, что именно с нее началось дедуктивное построение математических дисциплин, но и по той причине, что ее теоремы, как было установлено на протяжении более двух тысячелетий, полностью соответствовали результатам физических исследований. И именно евклидову геометрию «бог» избрал объектом нападения.

Одна из аксиом евклидовой геометрии издавна беспокоила математиков, однако совсем не потому, что они сомневались в ее истинности. Сомнения вызывала у них лишь формулировка аксиомы. Мы имеем в виду аксиому о параллельных, или, как ее часто называют, пятый постулат Евклида. Сам Евклид сформулировал пятый постулат следующим образом:

Иначе говоря, если углы 1и 2в сумме меньше 180°, то прямые аи b,продолженные достаточно далеко, пересекутся.

У Евклида были веские основания сформулировать аксиому о параллельных именно так, а не иначе. Он мог бы утверждать, например, что если сумма углов 1и 2равна 180°, то прямые аи bпараллельны. Но Евклид явно боялся предположить, что могут существовать бесконечныепрямые, которые никогда не пересекаются: любое утверждение о бесконечных прямых не подкреплялось опытом, в то время как аксиомы по определению должны были быть самоочевидными истинами о физическом мире. Но опираясь на свою аксиому о параллельных и другие аксиомы, Евклид доказалсуществование параллельных.

Математики считали, что аксиома о параллельных в том виде, как ее сформулировал Евклид, слишком сложна. Ей недоставало простоты других аксиом. Должно быть, и сам Евклид был недоволен своим вариантом аксиомы о параллельных, ибо обратился к ней, лишь доказав все теоремы, какие только смог вывести без ее использования.

Со временем стала жизненно важной сходная проблема, над которой поначалу задумывались лишь немногие. Она сводилась к вопросу о том, существуют ли в физическом пространстве бесконечные прямые. Евклид достаточно осторожно постулировал лишь, что конечный отрезок прямой можно продолжить сколь угодно далеко, — но ведь даже и продолженный отрезок все равно оставался конечным. Тем не менее из рассуждений Евклида следовало, что бесконечные прямые существуют: если бы прямые были конечными, то их нельзя было бы продолжать сколь угодно далеко.

Первые попытки решить проблему, связанную с аксиомой Евклида о параллельных, были предприняты еще математиками Древней Греции. Эти попытки имели двоякую природу. Одни из них сводились к замене аксиомы о параллельных какой-нибудь более очевидной аксиомой. Другие были направлены на то, чтобы вывести аксиому о параллельных из девяти остальных аксиом Евклида: если бы удалось доказать, что пятый постулат Евклида в действительности представляет собой теорему, то все трудности отпали бы сами собой. На протяжении более двух тысячелетий многие десятки крупнейших математиков, не говоря уже о математиках меньшего ранга, безуспешно пытались решить проблему параллельных, предпринимая бессчетные попытки как первого, так и второго рода. История этой проблемы уходит корнями в глубокую древность и изобилует деталями, понятными лишь профессионалу. Мы опустим здесь ее потому, что ей посвящена обширная литература {44} , и, кроме того, этот вопрос не имеет прямого отношения к интересующей нас теме.