Евклидово окно. История геометрии от параллельных прямых до гиперпространства
Шрифт:
У Церкви существовали веские причины бояться возрождения мысли. Если Библия ниспослана свыше, значит, ее авторитет — в отношении и мироустройства, и морали — зиждется на абсолютном принятии священных текстов. Однако библейские описания природы частенько противоречили наблюдаемым природным явлениям или математическим рассуждениям. Развивая университеты, Церковь, сама того не ведая, поучаствовала в уменьшении своего влияния — в представлениях и о природе, и о нравственности. Но стоять в стороне и наблюдать, как подрывают ее главенство, Церковь тоже не стала.
Ключевыми фигурами натурфилософии в позднем средневековье оказались схоласты — особенно из Оксфордского и Парижского университетов [99] . Они искали гармонии ума, изо всех сил пытаясь примирить физические теории и религию. Центральной темой их философии стала не природа Вселенной, а «мета-вопрос» — возможно ли знание, данное Библией, получить или объяснить с помощью рассуждения.
Первый великий схоласт боролся
99
Russell, стр. 463–475. Об Абеляре см. также: Jacques LeGoff, Intellectuals in the Middle Ages, trans. Teresa Lavender Fagan (Oxford: Blackwell, 1993), стр. 35–41. (На рус. яз.: Жак Ле Гофф, «Интеллектуалы в Средние века», СПб.: Издательский дом Санкт-Петербургского государственного университета, 2003, пер. А. Руткевича . — Прим. пер.)
Аквинского Церковь проклинать не стала, зато ему решительно противостоял его современник, схоласт Роджер Бэкон. Бэкон первым из натур философов придал огромное значение эксперименту. Абеляру не поздоровилось лишь из-за того, что он поставил разум выше Писания, а еретик Бэкон поставил превыше всего истину, выведенную из наблюдения за физическим миром. В 1278 году его отправили в тюрьму — на четырнадцать лет. Он умер вскоре после того, как был отпущен на свободу.
Уильям Оккамский, францисканец из Оксфорда, впоследствии парижанин, знаменит той самой «бритвой», которая и по сей день актуальна для физической науки. Попросту говоря, принцип бритвы Оккама сводится к следующему: теории следует создавать, делая как можно меньше допущений, взятых с потолка. У струнной теории, например, есть намерение строго вывести фундаментальные константы — заряд электрона, число (и тип) существующих «элементарных частиц» и даже число измерений пространства. В предыдущих теориях вся эта информация принималась аксиоматически: ее включали в построения, а не выводили из них. И к математике применима такая эстетика: например, при создании геометрической теории следует опираться на минимально необходимое количество аксиом.
Оккам ввязался в свару между францисканским орденом и папой Иоанном XXII и был отлучен от Церкви. Он сбежал, получил прибежище у императора Людовика IV и осел в Мюнхене. Умер в 1349-м, в разгар чумы.
Из четверых схоластов — Абеляра, Аквинского, Бэкона и Оккама — пронесло только Аквинского. Абеляра, помимо отлучения, еще и кастрировали: его представления о браке не совпали с таковыми у дядюшки его возлюбленной, а тот оказался каноником Католической церкви.
Схоласты сделали громадный вклад в интеллектуальное возрождение Запада. Одним из наследников их учения оказался загадочный французский священник из селения Аллемань [100] , подле Кана [101] . С точки зрения математики его работы оказались наиболее многообещающими. В современных книгах по астрономии и математике этот человек, ставший епископом Лизьё, едва упоминается. В соборе Парижской Богоматери давно уж не светят поминальные свечи, заказанные его братом Анри. Мест его памяти на Земле почти не осталось, но вполне символично, что, прибыв на Луну, вы сможете посетить кратер, названный в его честь — кратер Орем.
100
Jeannine Quillet, Autour de Nicole Oresme (Paris: Librarie Philosophique J. Vrin, 1990), стр. 10–15.
101
Ныне городок Флёри-сюр-Орн, Кальвадос, область Нижняя Нормандия. — Прим. пер.
Глава 10. Скромное обаяние графиков
Суровая сноровистая женщина плывет в лодке по речным протокам в глубине тропических лесов Амазонии — возвращается домой к кровожадным рыбам и ордам москитов, останавливаясь в лесных хижинах, ведомых мало кому, кроме немногих одиноких местных. Она не персонаж из Средневековья. Она из нашего века. Кто она? Может, врач? Волонтер международной помощи? Нет, даже не тепло. Она везет кремы, духи и косметику компании «Эйвон».
Тем временем в нью-йоркской головной конторе ее начальники в костюмах анализируют ход своей мировой войны с сухостью кожи, применяя методы, изобретенные человеком, о котором, без сомнения, ни один из этих начальников сроду ни разу не задумался. Вообразим графики, отражающие ежегодный рост прибылей «Эйвона» по сегментам рынка: международные показатели — синим, местные — красным. Ежегодный отчет иллюстрирует общий оборот компании, объемы сбыта, прибыли отдельных торговых точек; в нем целые страницы прочих показателей во
всех мыслимых видах графиков и диаграмм — и тебе столбчатых, и круговых.Если бы средневековый торговец показал кому-нибудь результаты своей работы в таком виде, на него бы вытаращили глаза. Что означают эти разноцветные геометрические фигуры, соседствующие в том же документе с римскими цифрами? Макароны и сыр уже успели изобрести (сохранился английский рецепт XIV века [102] ), а вот идею поженить числа и геометрические фигуры — нет. Ныне графическое представление знания настолько общепринято, что мы едва ли думаем о нем как о математическом приеме: даже самый матемафобный директор «Эйвона» понимает, что линия на графике прибылей, тянущаяся вверх, есть многая радость. Но куда бы ни тянулись графики — вниз или вверх, — изобретение их стало жизненно важным шагом на пути к теории местоположения.
102
Reay Tannahill, Food in History (New York: Stein & Day, 1973), стр. 281.
Союз чисел и геометрии греки понимали, увы, неверно — аккурат в этом месте философия оказалась помехой. В наши дни любой школьник изучает, грубо говоря, числовой ряд — линию, обеспечивающую упорядоченную связь между точками на ней и положительными и отрицательными целыми числами, равно как и между всеми дробями и прочими числами на этой линии. Эти «другие числа» — иррациональные, т. е. не целые и не дроби, как раз их отказался признавать Пифагор, но они тем не менее существуют. Числовой ряд обязан включать в себя и их — без иррациональных чисел в нем возникнет бесконечное множество дыр.
Мы уже говорили, как Пифагор открыл квадрат с длиной стороны в единицу, у которого диагональ равна квадратному корню из двух, а это иррациональное число. Если эту самую диагональ отложить в числовом ряду от нуля, другой ее конец обозначит точку, соответствующую иррациональному числу — квадратному корню из двух. Запретив обсуждение иррациональных чисел — они не вписывались в его представления о том, что все числа обязаны быть либо целыми, либо дробными, — Пифагор был вынужден запретить и ассоциацию прямой с числом. Таким способом он замел эту неувязку под ковер — и придушил тем самым одну из самых плодотворных идей в истории человеческой мысли. У всех свои недостатки.
Одним из немногих преимуществ утери греческих трудов стал упадок влияния пифагоровых представлений об иррациональных числах. Теория иррациональных чисел не получила твердого фундамента аж до самого Георга Кантора и работ его современника Рихарда Дедекинда — в XIX веке. И тем не менее, со Средних веков и до Дедекинда и Кантора большинство математиков и ученых закрывали глаза на кажущееся несуществование иррациональных чисел и вполне счастливо, хоть и неумело, все равно их применяли. Очевидно, радость получения правильного ответа перевешивала неприятности работы с числами, которых не существует.
В наше время применение «нелегальной» математики — общее место науки, особенно физики. Теория квантовой механики, например, разработанная в 1920–1930-х годах, очень полагалась на нечто придуманное английским физиком Полем Дираком — дельта-функцию. Согласно математике того времени, дельта-функция попросту равнялась нулю. По Дираку же, дельта-функция равна нулю всюду, кроме одной точки, где ее значение — бесконечность, и, если применить эту функцию вместе с определенными методами счисления, она дает ответы одновременно и конечные, и (обычно) отличные от нуля. Позднее французский математик Лоран Шварц смог доказать, что правила математики можно переформулировать так, чтобы допустить существование дельта-функции, и из этого доказательства родилась целая новая область математики [103] . Квантовые теории поля в современной физике в этом смысле тоже можно считать «нелегальными» — во всяком случае, никто пока не смог успешно доказать, говоря математически, что такие теории существуют «по правилам».
103
Теория распределений. Для интересующихся математикой — отличное классическое описание на студенческом уровне см.: M. J. Lighthill, Introduction to Fourier Analysis and Generalized Functions (Cambridge, UK: University Press, 1958).
Средневековые философы горазды были говорить одно, а записывать другое — или даже писать сначала одно, а потом другое в полном противоречии с первым, лишь бы сберечь шкуру. И вот в середине XIV века Николай Орезмский [104] , позднее — епископ Лизьё, — изобретая графики, не слишком беспокоился о противоречиях, возникающих из-за иррациональных чисел. Орем по умолчанию игнорировал вопрос о том, достаточно ли одних лишь целых и дробных чисел для заполнения базисной прямой графика. Он сосредоточился на том, как приспособить свои новые картинки к анализу количественных отношений.
104
Работы Орема по графикам см.: Lindberg, стр. 237–241; Marshall Clagett, Studies in Medieval Physics and Mathematics (London: Variorum Reprints, 1979), стр. 286–295; Stephano Caroti, ed., Studies in Medieval Philosophy (Leo S. Olschki, 1989), стр. 230–234.