Херш резко критиковал некоторых математиков, которые, сосредоточив свое внимание на формулировке «человеческий конструкт», утверждали, что математику ни в коем случае нельзя назвать произвольной; ее никто не выдумывал. И социальный релятивизм здесь не годится. Это правда, но Херш совершенно ясно объяснил, что математика – не любой человеческий конструкт. Мы сами решаем, заниматься нам Великой теоремой Ферма или не заниматься, но от нас никак не зависит, верна эта теорема или нет. Человеческий конструкт, который мы называем математикой, регулируется строгой системой логических ограничений, и нечто может быть добавлено в этот конструкт только при условии, что оно соответствует всем этим ограничениям. Собственно говоря, потенциально эти ограничения позволяют нам отличить истинное от ложного, но невозможно проделать это разделение, просто объявив результат громко и торжественно. Главный вопрос: истина или ложь? Я потерял уже счет случаям, когда некто нападает на какое-то спорное положение в математике, которое ему не нравится, и указывает при этом, что математика – это тавтология: все новое в ней является логическим следствием из вещей, которые нам уже известны. Ну да, так и есть. Все новое неявно скрыто в известном. Но самое трудное начинается, когда нам хочется вскрыть все неявное и сделать явным. Спросите об этом у Эндрю Уайлса; бесполезно говорить ему, что статус Великой теоремы Ферма был с самого начала предопределен логической структурой математики. Он потратил семь лет на поиск того, каков же на самом деле этот предопределенный статус. До тех пор пока кто-нибудь этого не сделал, предопределенность статуса значит не больше, чем если в ответ на вопрос, где находится Британская библиотека, сказать, что она находится в Британии.
* * *
Эта книга не упорядоченная история всей математики, я пытался представить в ней затрагиваемые математические темы более или менее упорядоченно, так, чтобы концепции усложнялись постепенно по ходу повествования. Для этого пришлось рассказывать обо всем примерно в хронологическом порядке. Хронологический порядок по темам оказался бы нечитаемым, поскольку мы постоянно перескакивали бы с одного математика на другого, поэтому я упорядочил главы по датам рождения и снабдил их отдельными перекрестными ссылками.
Значимых фигур – древних и современных, мужчин и женщин, представителей Востока и Запада – у меня получилось 25. Их личные истории начинаются в Древней Греции с великого геометра и инженера Архимеда, к числу достижений которого относятся и приблизительное вычисление числа π, и вычисление площади поверхности и объема сферы, и Архимедов винт для подъема воды, и механизм вроде крана, предназначенный для разрушения вражеских кораблей. За ним следуют три представителя далеких восточных стран, где в Средние века происходили все главные события в мире математики. Это китайский ученый Лю Хуэй, персидский математик Мухаммад ибн Муса аль-Хорезми, работы которого подарили нам слова «алгоритм» и «алгебра», и индиец Мадхава из Сангамаграмы, первым исследовавший бесконечные ряды для тригонометрических функций, заново открытые на Западе Ньютоном только через тысячу лет.
Главные события математической жизни вернулись в Европу в эпоху Итальянского возрождения, где мы встречаем Джироламо Кардано – одного из величайших мошенников, которому выпала честь украсить собой математический пантеон. Кардано, игрок и дебошир, написал также один из важнейших алгебраических текстов в истории человечества, занимался медициной и придерживался образа жизни, достойного страниц желтой прессы. А еще он составлял гороскопы. Напротив, Пьер де Ферма, знаменитый своей Великой теоремой, был законопослушным гражданином, хотя и питал страсть к математике, из-за чего часто пренебрегал своей работой юриста. Он превратил теорию чисел в признанную и уважаемую область математики; кроме того, он внес заметный вклад в развитие оптики и рассмотрел некоторые предварительные вопросы дифференциального исчисления. Эту тему довел до логического конца Ньютон, вершиной научной деятельности которого стала книга «Математические начала натуральной философии», которую обычно называют кратко: «Начала». В ней Ньютон изложил свои законы движения и тяготения и применил их к движению тел Солнечной системы. Деятельность Ньютона – переломный момент в математической физике; именно тогда она преобразовалась в организованное математическое исследование того, что сам Ньютон называл «Системой мира».
После Ньютона фокус математической науки на 100 лет сместился в континентальную Европу и Россию. Леонард Эйлер – самый плодовитый математик в истории – выдавал важные математические статьи практически в журналистском темпе; одновременно он систематизировал целые области математики и изложил их в серии элегантных учебников, написанных ясным языком. Ни одна область математики не избежала его внимания. Эйлер сумел даже предвосхитить некоторые идеи Жозефа Фурье, который, исследуя процесс передачи тепла, разработал один из важнейших методов из инструментария современного инженера: анализ Фурье, представляющий любые периодические колебания в терминах основных тригонометрических функций «синус» и «косинус». Кроме того, Фурье первым понял, что атмосфера играет важную роль в тепловом балансе Земли.
В новую эру математика входит с непревзойденными исследованиями Карла Фридриха Гаусса – одного из серьезных претендентов на роль величайшего математика всех времен. Гаусс начал свою деятельность с теории чисел, заработал репутацию в небесной механике тем, что предсказал положение на небе недавно открытого астероида Церера, и значительно продвинул теорию в вопросах, касающихся комплексных чисел, аппроксимации чисел методом наименьших квадратов и неевклидовой геометрии, хотя он и не публиковал ничего по последней теме; Гаусс опасался, что слишком опередил в этом свое время и публикация результатов в данной области навлечет на него насмешки. Николай Иванович Лобачевский был менее робок и активно публиковался на темы альтернативной (по отношению к Евклидовой) геометрии, получившей позже название гиперболической геометрии. В настоящее время именно его и Яноша Бойяи признают основателями неевклидовой геометрии, которую можно рассматривать как естественную геометрию поверхности постоянной кривизны. Однако фактически Гаусс был прав, считая, что эта идея опередила свое время: ни Лобачевский, ни Бойяи при жизни не получили признания. Рассказ об этой эпохе мы завершим трагической историей блестящего новатора Эвариста Галуа, убитого в возрасте 20 лет на дуэли из-за женщины. Он внес большой вклад в алгебру, что привело к разработке современных методов описания важнейшей концепции – симметрии – в терминах групп преобразований.
После этого в нашей истории появляется новая тема – яркий след, оставленный первой женщиной-математиком, о которой мы будем говорить. Конкретно речь пойдет о вычислительной математике. Августа Ада Кинг, графиня Лавлейс, работала помощницей у Чарльза Бэббиджа, упорного человека, убежденного в потенциальном могуществе вычислительных машин. Он придумал Аналитическую машину – программируемый вычислитель, сделанный из храповиков и шестеренок, коронный номер чуть ли не всех научно-фантастических произведений в стиле стимпанк. Аду же общественное мнение упрямо называет первым программистом в истории, хотя это довольно спорное утверждение. Компьютерная тема продолжится рассказом о Джордже Буле, чьи «Законы мышления» заложили фундаментальную математическую основу для цифровой логики современных компьютеров.