Был ли Бог математиком?

Декарт был настроен более философски, чем Ньютон, поэтому вопрос о доказательстве существования Бога очень его занимал. Для него путь от уверенности в собственном существовании («Я мыслю, следовательно, я существую») к способности выстроить непротиворечивую систему объективной науки должен был пройти через этап неопровержимого доказательства существования совершенного высшего существа – Бога. Этот Бог, как считал Декарт, и есть в конечном итоге первоисточник всей истины и единственная гарантия верности человеческих умозаключений. Это рассуждение, подозрительное тем, что замкнуто само на себя (его даже называют «картезианским порочным кругом»), критиковали уже современники Декарта, в особенности французский философ, теолог и математик Антуан Арно (1612–1694). Арно задал вопрос, сокрушительный в своей простоте: если нам нужно доказывать существование Бога, чтобы гарантировать верность человеческого мыслительного процесса, как нам верить этому доказательству, которое само по себе есть плод человеческого разума? Несколько отчаянных попыток вырваться из этого порочного круга сделал Декарт, но многие философы, его последователи, не считали, что его старания привели к успеху. Таким же сомнительным было и «дополнительное доказательство» существования Бога. Оно подпадает под общефилософскую категорию онтологического аргумента. Философ и богослов Св. Ансельм Кентерберийский (1033–1109) первым предложил подобного рода логическое рассуждение в 1078 году, и с тех пор оно то и дело всплывало в разных обличьях. Ход рассуждений примерно таков. Бог по определению настолько совершенен, что это величайшее мыслимое существо. Однако если Бога нет, тогда можно помыслить и об еще более великом существе – о таком, которое мало того что наделено всеми совершенствами Бога, но еще и существует. Это противоречит определению Бога как величайшего мыслимого существа, а следовательно, Бог существует. По словам Декарта, «отделять существование Бога от его сущности столь же немыслимо, как отделять от сущности треугольника свойство равенства трех его углов двум прямым углам».

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

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

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

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

Глава 5 Статистики и пробабилисты: наука о неопределенности