Книга Магия чисел. Математическая мысль от Пифагора до наших дней, страница 78. Автор книги Эрик Темпл Белл

Разделитель для чтения книг в онлайн библиотеке

Онлайн книга «Магия чисел. Математическая мысль от Пифагора до наших дней»

Cтраница 78

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

Легенды о его детстве в Сан-Ремо описывают Джироламо всегда с книгой Евклида «Элементы» под рукой, даже во время игры. То, что он часто открывал книгу и просматривал содержание, становится очевидно из его последующей жизни. До того как ему исполнилось двенадцать лет, Саккери уже распрощался со свободой мысли на всю оставшуюся жизнь. Он стал преданным рабом Евклида, ублажая свою веру во вред разуму. Если это и несправедливая оценка интеллектуальной жизни Саккери, то, может быть, он сам пожелал, чтобы его наставники сформировали его таким.

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

Саккери был плодотворным автором. Закрыв глаза на его эпохальный провал с попыткой возродить абсолютизм Евклида, его основные работы можно расценить как логичные. Проникновенная острота его ума видна также (по мнению компетентных судей) в работах Саккери по теологии. Запутанная проблема Божьей благодати, например, потребовала напряжения всех познаний в казуистике, преж де чем приемлемое решение было найдено.

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

Если любое из двух предположений подразумевает другое, то говорят, что предположения эквивалентны. Иными словами, предположения А, В эквивалентны, если А подразумевает В, а В подразумевает А. Если одно из предположений доказано, следовательно, доказано и второе.

Вернемся к пятому постулату Евклида, который является предположением о существовании параллельных прямых. Он намного сложнее любых других постулатов Евклида, и если Евклидова геометрия рассматривается как абстракция чувственного опыта, то нет видимых причин поверить, что пятый постулат должен быть универсальной истиной в этом опыте. Следует установить, что при измерении, например, очень больших расстояний, какие бывают в астрономии, опыт может противоречить отдельным эквивалентам пятого постулата. Один такой эквивалент – полезное предположение, которое Декарт рассматривал как вечную неизбежность: сумма углов любого плоского треугольника равна двум прямым углам. Гаусс, как ни странно, предполагал астрономический тест этому предположению как средство для принятия решения, является ли геометрия Евклида правильным мерилом «пространства», определенного для опыта. По причинам, в которые лучше не вникать, опыт никогда не был проведен, а если бы это случилось, он бы не был достаточно тщательно проведен, чтобы урегулировать проблему.

Еще более достоверный эквивалент пятому постулату Евклида, чем предшествующий, был замечен Саккери. Это одно из трех взаимоисключающих предположений, исчерпывающих возможности для параллельных линий. Вместо эквивалента Саккери, увидеть суть вопроса можно в еще более упрощенном и более достоверном эквиваленте постулата Евклида, а следовательно, и Саккери.

Точка р и прямая линия l, не проходящая через точку р, задают одну плоскость в пространстве. Представим пучок всех (прямых) линий, лежащих на данной плоскости и проходящих через точку р. Существует три варианта: только одна линия из всего пучка не пересечет l, более чем одна линия из пучка пересечет l, ни одна линия не пересечет l.

Первый из этих трех вариантов эквивалентен пятому постулату Евклида. Он также эквивалентен предположению, которое Саккери обязался вывести из другого предположения Евклида. Ему пришлось убедить себя, что второй и третий варианты (и даже их относительные эквиваленты) приводят к противоречию. По очереди из каждого он выводил цепочку рассуждений. Пока он верил своим дедуктивным рассуждениям и придерживался желания поверить в зависимость, он не мог достичь желанного противоречия в неевклидовых эквивалентах. Его строгая логика ничего не выводила, кроме непротиворечивости. Этого не могло быть.

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

В безмятежной уверенности, что именно он установил неизбежность и вечную истинность геометрии Евклида на все времена, Саккери назвал свой труд «Евклид, очищенный ото всех пятен». Практически со времен Евклида гениальные геометры старались вывести пятый постулат Евклида из его собственных предположений, и все потерпели фиаско. Теперь известно, что поражение было неизбежно: пятый постулат не связан с остальными, как непроизвольно показал Саккери и намеренно – Лобачевский в процессе создания неевклидовых геометрий. Но Саккери умер счастливым в собственном неверии в настоящее величие своего труда.

Если интеллектуальная жизнь Саккери была трагедией, то, по крайней мере, не жалкой. По утверждению отдельных антиклерикальных авторов, жалкая участь постигла шедевры Саккери. Труд этот не потеряли, не предали забвению более чем на полтора века. Его конфисковали и спрятали. Это неприятная инсинуация. И цель дискуссии о нем состоит только в том, чтобы повысить историческую значимость для всех «истин» – от математики до теологии – появления неевклидовой геометрии в XVIII и XIX веках.

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

Вход
Поиск по сайту
Ищем:
Календарь
Навигация