Марио Ливио - Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

Подобные логические маневры особенно никого не убеждали, и многие философы утверждали, что для того, чтобы доказать существование чего-то, что находится в стороне от физического мира, а особенно чего-то столь огромного, как Бог, одной логики недостаточно (см. Dennett 2006, Dawkins 2006, Paulos 2008).

Как ни странно, Декарта обвинили в тайном атеизме, и в 1667 году его труды попали в составленный католической церковью Список запрещенных книг. В свете того, что Декарт напирал на идею Бога как единственной гарантии истины, это обвинение было более чем нелепо.

Оставим в стороне чисто философские вопросы и обратимся к самому интересному в свете темы нашей книги представлению Декарта – о том, что Бог создал все «вечные истины». В частности, Декарт заявлял, что «математические истины, которые вы называете вечными, заложены Богом и полностью зависят от Него – не меньше, чем остальные Его создания». Итак, картезианский Бог был более чем математиком – в том смысле, что он создал и математику, и физический мир, полностью основанный на математике. Согласно этой точке зрения, которая превалировала в конце XVII века, люди, очевидно, всего лишь открыли математику, но не изобрели ее.

А главное – труды Галилея, Декарта и Ньютона глубочайшим образом изменили отношения между математикой и физикой. Во-первых, стремительное развитие физики стало мощнейшим стимулом для математических исследований. Во-вторых, законы Ньютона сделали даже самые отвлеченные отрасли математики – в частности, математический анализ, – сутью физических объяснений. И, наконец, самое важное – грань между физикой и математикой стерлась до полного исчезновения, и математические открытия и огромные области физических исследований практически слились воедино. Все эти достижения вызвали у математиков прилив энтузиазма, какого, возможно, они не знали еще со времен древних греков. Математики поняли, что именно им предстоит покорить весь мир, а это подарило им безграничные возможности для открытий.

Мир не стоит на месте. Все, что нас окружает, либо движется, либо постоянно меняется. Даже твердая Земля под ногами на самом деле вертится вокруг своей оси, вращается вокруг Солнца и – вместе с Солнцем – движется вокруг центра нашей галактики Млечный Путь. Воздух, которым мы дышим, состоит из триллионов молекул, которые движутся – хаотически, без остановки. А одновременно кругом растут растения, распадаются радиоактивные материалы, температура атмосферы растет и падает в зависимости от времени суток и времени года, а ожидаемая продолжительность жизни просто возрастает. Однако эта космическая неугомонность сама по себе не отменяет математику. Ньютон и Лейбниц разработали отрасль математики под названием математический анализ [80] Исключительно доступное изложение сути математического анализа можно найти в Berlinski 1996, Kline 1967 и Bell 1951. Книга, требующая от читателя некоторой подготовки, но, тем не менее, превосходная – Kline 1972. именно затем, чтобы можно было строго анализировать и строить точные модели и движения, и перемен. К настоящему времени этот невероятный научный инструмент достиг такой мощности и универсальности, что его можно применять для решения самых разных задач – от движения космического челнока до распространения инфекционной болезни. Подобно тому как кино передает движение, разбивая его на последовательность неподвижных кадров, математический анализ измеряет перемены с таким маленьким шагом, что это позволяет определять количества, существующие лишь мимолетно, например мгновенную скорость, ускорение или темп изменения.

Математики так называемой эпохи Рационализма (конец XVII–XVIII вв.), следуя по стопам титанов Ньютона и Лейбница, расширили и дополнили математический анализ и разработали еще более мощную отрасль дифференциальных уравнений, которая находит еще более широкое практическое применение. Это новое орудие позволило ученым строить подробные математические теории самых разных явлений – от музыки, порожденной струнами скрипки, до передачи тепла, от движения волчка до течения жидкостей и газов. Некоторое время именно дифференциальные уравнения были излюбленным инструментом прогресса в физике.

Одними из первопроходцев в исследовании новых горизонтов, которые открывали дифференциальные уравнения, были члены знаменитой семьи Бернулли [81] Некоторые достижения этой незаурядной семьи изложены в Maor 1994, Dunham 1994. См. также «Bernoulli-Edition» – англоязычную версию проекта можно найти по ссылке http://static.springer.com/sgw/documents/169442/application/pdf/Bernoulli2005web.pdf. .

Между серединой XVII и серединой XVIII веков эта семья подарила миру целых восемь выдающихся математиков. Не меньше, чем математическими достижениями, эти одаренные личности прославились и внутрисемейными распрями (описанными в Hellman 2006). Скандалы между разными Бернулли всегда были связаны с соперничеством за первенство в математике, но при этом задачи, о которых они спорили, казалось бы, не играют в наши дни такой уж важной роли. Однако решение этих хитрых головоломок зачастую прокладывало дорогу гораздо более серьезным математическим открытиям.

В целом нет никаких сомнений, что семейство Бернулли играло важную роль в становлении математики как языка самых разнообразных физических процессов.

Примером того, как сложно было устроено мышление двух самых блистательных Бернулли – братьев Якоба (1654–1705) и Иоганна (1667–1748) – может служить следующая история. Якоб Бернулли был одним из основателей теории вероятностей , и мы еще вернемся к нему в этой главе. Однако к 1690 году Якоб с головой погрузился в изучение задачи, которую за двести лет до него сформулировал и исследовал еще величайший деятель эпохи Возрождения Леонардо да Винчи: какую форму примет гибкая, но нерастяжимая цепочка, закрепленная за концы (как на рис. 31)? Леонардо в своих записных книжках несколько раз рисовал такие цепочки. Считается, что эту задачу задавал и Декарту его друг Исаак Бекман, однако не осталось никаких свидетельств, что Декарт пытался ее решить. Впоследствии эта задача получила название «задача о цепной линии» [82] Превосходное описание этой задачи, а особенно – решения, которое предложил Гюйгенс, дано в Bukowski 2008. Решения Бернулли, Лейбница и Гюйгенса приведены в Truesdell 1960. . Галилей считал, что это должна быть парабола, однако французский иезуит Игнас-Гастон Пардис (1636–1673) доказал, что это не так. Правда, сам Пардис тоже не сумел математически вывести правильную форму цепочки.

Рис. 31