Думаю, мы собрали уже достаточно данных, чтобы хотя бы попытаться ответить на вопросы, которыми задались в самом начале. Почему математика так эффективна, почему она настолько прекрасно объясняет происходящее в мире вокруг нас, что даже позволяет добывать новые знания? И открываем мы ее или изобретаем, в конце концов?

Два вопроса – (1) «Существует ли математика независимо от человеческого разума?» и (2) «Почему математические понятия применимы отнюдь не только в том контексте, в каком их первоначально разрабатывают?» – тесно взаимосвязаны. Тем не менее я постараюсь разобрать их не одновременно, а последовательно, чтобы не усложнять дискуссию.

Прежде всего, вы вправе поинтересоваться, чем считают математику современные математики – изобретением или открытием. Вот как описали положение дел математики Филип Дэвис и Реубен Херш в своей чудесной книге «Математический опыт» («The Mathematical Experience», Davis and Hersh 1981).

Честно говоря, у меня складывается впечатление, что это можно сказать и в наши дни про многих математиков и физиков-теоретиков – изменились разве что требования политкорректности, связанные с демографическим составом математиков, и теперь у меня возникает искушение написать везде не «он», а «он или она». Однако же некоторые математики ХХ века в действительности занимали вполне определенную позицию – ту или иную. Скажем, Г. Г. Харди в своей «Апологии математика» (Hardy 1940) отстаивает чисто платоническую точку зрения.

Прямо противоположную точку зрения отстаивают математики Эдвард Каснер (1878–1955) и Джеймс Ньюмен (1907–1966) в своей книге «Математика и воображение» («Mathematics and the Imagination», Kasner and Newman 1989).

Эта ересь была полна критического боевого духа, и благодаря этому мы преодолели представление о том, что математические истины будто бы существуют независимо, отдельно от нашего разума. Нам даже странно, что такое представление вообще бытовало. А все же именно так и думал Пифагор, а также Декарт и сотни прочих великих математиков до XIX века. Сегодня математика избавилась от оков, сбросила кандалы. Какова бы ни была ее сущность, мы понимаем, что она свободна, как разум, и ловка, как воображение. Неевклидова геометрия – это доказательство, что математика, в отличие от музыки сфер, творение самого человека и подчиняется лишь тем ограничениям, какие накладывают на нее законы мышления.

Математическим утверждениям как таковым присущи точность и окончательность – однако здесь картина совсем иная: перед нами разнообразие противоположных мнений, типичное скорее для философских диспутов или политических дебатов. Стоит ли нам удивляться? Вообще-то нет. Вопрос о том, изобретена математика или открыта, – отнюдь не вопрос самой математики.

Идея «открытия» предполагает какое-то прежнее существование в некой Вселенной, или реальной, или метафизической. Понятие «изобретения» задействует человеческий разум, либо индивидуальный, либо коллективный. Поэтому вопрос обращен к целой совокупности дисциплин, в которую входят и физика, и философия, и математика, и психология познания, и антропология – и он совершенно точно не ограничивается одной лишь математикой, по крайней мере, не прямо. А поэтому не исключено, что математика даже не обладает самым подходящим инструментарием для ответа на этот вопрос. Ведь, к примеру, поэты, способные творить словами настоящие чудеса, не обязательно лучшие лингвисты, а величайшие философы обычно не специалисты по нейрофизиологии. Поэтому ответ на вопрос «открыта или изобретена» можно получить (да и то не обязательно) лишь в результате дотошного исследования множества различных данных, полученных в самых разных сферах.

Те, кто считает, что математика существует во Вселенной, не зависимой от людей, также распадаются на два враждующих лагеря, поскольку по-разному понимают природу этой Вселенной[155]. Во-первых, есть «истинные» платоники, для которых математика существует в абстрактном вечном мире математических форм. Далее, есть и те, кто считает, что математические структуры – это на самом деле подлинная часть мира природы. Поскольку я уже довольно подробно писал о чистом платонизме и некоторых его философских недостатках, остановимся на второй точке зрения[156].