Первый великий схоласт боролся за логическое рассуждение как метод выяснения истины. Им был парижанин XII века Пьер Абеляр. Его позиция в средневековой Франции была чревата неприятностями. Абеляра отлучили от Церкви, а его книги сожгли. Самый знаменитый схоласт Св. Фома Аквинский также отстаивал методы разума, но вот он оказался для Церкви удобоварим. Аквинский подошел к знанию с позиций Подлинного Верующего — или, скажем так, как человек, не желавший, чтобы у огня, разведенного на его книгах, грелись перемерзшие зимней ночью монахи. Аквинский не отправился вслед свободно ведущим его рассуждением, а начал с принятия истинности католической веры и взялся ее доказывать.
Аквинского Церковь проклинать не стала, зато ему решительно противостоял его современник, схоласт Роджер Бэкон. Бэкон первым из натурфилософов придал огромное значение эксперименту. Абеляру не поздоровилось лишь из-за того, что он поставил разум выше Писания, а еретик Бэкон поставил превыше всего истину, выведенную из наблюдения за физическим миром. В 1278 году его отправили в тюрьму — на четырнадцать лет. Он умер вскоре после того, как был отпущен на свободу.
Уильям Оккамский, францисканец из Оксфорда, впоследствии парижанин, знаменит той самой «бритвой», которая и по сей день актуальна для физической науки. Попросту говоря, принцип бритвы Оккама сводится к следующему: теории следует создавать, делая как можно меньше допущений, взятых с потолка. У струнной теории, например, есть намерение строго вывести фундаментальные константы — заряд электрона, число (и тип) существующих «элементарных частиц» и даже число измерений пространства. В предыдущих теориях вся эта информация принималась аксиоматически: ее включали в построения, а не выводили из них. И к математике применима такая эстетика: например, при создании геометрической теории следует опираться на минимально необходимое количество аксиом.
Оккам ввязался в свару между францисканским орденом и папой Иоанном XXII и был отлучен от Церкви. Он сбежал, получил прибежище у императора Людовика IV и осел в Мюнхене. Умер в 1349-м, в разгар чумы.
Из четверых схоластов — Абеляра, Аквинского, Бэкона и Оккама — пронесло только Аквинского. Абеляра, помимо отлучения, еще и кастрировали: его представления о браке не совпали с таковыми у дядюшки его возлюбленной, а тот оказался каноником Католической церкви.
Схоласты сделали громадный вклад в интеллектуальное возрождение Запада. Одним из наследников их учения оказался загадочный французский священник из селения Аллемань
[100], подле Кана
[101]. С точки зрения математики его работы оказались наиболее многообещающими. В современных книгах по астрономии и математике этот человек, ставший епископом Лизьё, едва упоминается. В соборе Парижской Богоматери давно уж не светят поминальные свечи, заказанные его братом Анри. Мест его памяти на Земле почти не осталось, но вполне символично, что, прибыв на Луну, вы сможете посетить кратер, названный в его честь — кратер Орем.
Глава 10. Скромное обаяние графиков
Суровая сноровистая женщина плывет в лодке по речным протокам в глубине тропических лесов Амазонии — возвращается домой к кровожадным рыбам и ордам москитов, останавливаясь в лесных хижинах, ведомых мало кому, кроме немногих одиноких местных. Она не персонаж из Средневековья. Она из нашего века. Кто она? Может, врач? Волонтер международной помощи? Нет, даже не тепло. Она везет кремы, духи и косметику компании «Эйвон».
Тем временем в нью-йоркской головной конторе ее начальники в костюмах анализируют ход своей мировой войны с сухостью кожи, применяя методы, изобретенные человеком, о котором, без сомнения, ни один из этих начальников сроду ни разу не задумался. Вообразим графики, отражающие ежегодный рост прибылей «Эйвона» по сегментам рынка: международные показатели — синим, местные — красным. Ежегодный отчет иллюстрирует общий оборот компании, объемы сбыта, прибыли отдельных торговых точек; в нем целые страницы прочих показателей во всех мыслимых видах графиков и диаграмм — и тебе столбчатых, и круговых.
Если бы средневековый торговец показал кому-нибудь результаты своей работы в таком виде, на него бы вытаращили глаза. Что означают эти разноцветные геометрические фигуры, соседствующие в том же документе с римскими цифрами? Макароны и сыр уже успели изобрести (сохранился английский рецепт XIV века
[102]), а вот идею поженить числа и геометрические фигуры — нет. Ныне графическое представление знания настолько общепринято, что мы едва ли думаем о нем как о математическом приеме: даже самый матемафобный директор «Эйвона» понимает, что линия на графике прибылей, тянущаяся вверх, есть многая радость. Но куда бы ни тянулись графики — вниз или вверх, — изобретение их стало жизненно важным шагом на пути к теории местоположения.
Союз чисел и геометрии греки понимали, увы, неверно — аккурат в этом месте философия оказалась помехой. В наши дни любой школьник изучает, грубо говоря, числовой ряд — линию, обеспечивающую упорядоченную связь между точками на ней и положительными и отрицательными целыми числами, равно как и между всеми дробями и прочими числами на этой линии. Эти «другие числа» — иррациональные, т. е. не целые и не дроби, как раз их отказался признавать Пифагор, но они тем не менее существуют. Числовой ряд обязан включать в себя и их — без иррациональных чисел в нем возникнет бесконечное множество дыр.
Мы уже говорили, как Пифагор открыл квадрат с длиной стороны в единицу, у которого диагональ равна квадратному корню из двух, а это иррациональное число. Если эту самую диагональ отложить в числовом ряду от нуля, другой ее конец обозначит точку, соответствующую иррациональному числу — квадратному корню из двух. Запретив обсуждение иррациональных чисел — они не вписывались в его представления о том, что все числа обязаны быть либо целыми, либо дробными, — Пифагор был вынужден запретить и ассоциацию прямой с числом. Таким способом он замел эту неувязку под ковер — и придушил тем самым одну из самых плодотворных идей в истории человеческой мысли. У всех свои недостатки.
Одним из немногих преимуществ утери греческих трудов стал упадок влияния пифагоровых представлений об иррациональных числах. Теория иррациональных чисел не получила твердого фундамента аж до самого Георга Кантора и работ его современника Рихарда Дедекинда — в XIX веке. И тем не менее, со Средних веков и до Дедекинда и Кантора большинство математиков и ученых закрывали глаза на кажущееся несуществование иррациональных чисел и вполне счастливо, хоть и неумело, все равно их применяли. Очевидно, радость получения правильного ответа перевешивала неприятности работы с числами, которых не существует.
В наше время применение «нелегальной» математики — общее место науки, особенно физики. Теория квантовой механики, например, разработанная в 1920–1930-х годах, очень полагалась на нечто придуманное английским физиком Полем Дираком — дельта-функцию. Согласно математике того времени, дельта-функция попросту равнялась нулю. По Дираку же, дельта-функция равна нулю всюду, кроме одной точки, где ее значение — бесконечность, и, если применить эту функцию вместе с определенными методами счисления, она дает ответы одновременно и конечные, и (обычно) отличные от нуля. Позднее французский математик Лоран Шварц смог доказать, что правила математики можно переформулировать так, чтобы допустить существование дельта-функции, и из этого доказательства родилась целая новая область математики
[103]. Квантовые теории поля в современной физике в этом смысле тоже можно считать «нелегальными» — во всяком случае, никто пока не смог успешно доказать, говоря математически, что такие теории существуют «по правилам».
