Почему существует наш мир? Экзистенциальный детектив

Тегмарк и Пенроуз ему поддались, однако другой великий физик, Ричард Фейнман, устоял. «Это всего лишь ощущение»¹²⁵, – пренебрежительно бросил Фейнман как-то раз, когда его спросили, могут ли математические объекты существовать независимо.

Бертран Рассел занял еще более жесткую позицию по вопросу подобного математического романтизма. В 1907 году еще довольно молодой Рассел восторженно восхвалял прелести математики: «С определенной точки зрения математика обладает не только истиной, но и величайшей красотой – холодной и строгой красотой скульптуры». Однако после восьмидесяти он пришел к выводу, что его юношеские восторги «по большей части чушь». Математика, писал постаревший Рассел, «перестала казаться мне нечеловеческой в отношении ее объекта. Я осознал, хотя и с неохотой, что она состоит из тавтологий. Боюсь, что тому, кто обладает достаточным интеллектом, вся математика покажется тривиальной – столь же тривиальной, как и утверждение, что всякое животное на четырех ногах является животным»¹²⁶.

Каким образом романтический платонизм Пенроуза, Тегмарка и других может одолеть холодный цинизм Рассела? Если ни логика, ни ощущения не могут подтвердить существование вечных математических форм, то, возможно, на это способна наука. В конце концов, наши лучшие научные теории включают довольно много математики – например, общая теория относительности Эйнштейна. Описывая, как форма пространства-времени определяется распределением материи и энергии во Вселенной, теория Эйнштейна использует множество математических сущностей, таких как «функции», «континуум», «тензоры». Если мы считаем теорию относительности истинной, то разве не должны мы принять существование этих сущностей? Разве не будет интеллектуальной нечестностью притворяться, что они не существуют, если они незаменимы для нашего научного понимания мира?

Вкратце именно в этом состоит аргумент незаменимости для математического существования. Впервые его предложил Уиллард Ван Орман Куайн, выдающийся американский философ XX века – тот самый, который заявил: «Быть – значит быть значением переменной»¹²⁷.

Куайн стоял на позициях крайней «натуральной» философии. Для него высшим судьей бытия была наука. И если наука неизбежно обращается к математическим абстракциям, значит, эти абстракции существуют. Хотя мы не можем наблюдать их непосредственно, мы нуждаемся в них для объяснения того, что мы наблюдаем. Как выразился один философ: «Причина нашей веры в числа и другие математические объекты та же самая, по которой мы верим в существование динозавров и темной материи»¹²⁸.

Аргумент незаменимости называют единственным аргументом в пользу математического существования, который стоит рассматривать всерьез. Однако даже если он окажется верным, это вряд ли утешит платонистов вроде Пенроуза и Тегмарка, потому что он лишает математические формы их трансцедентности: они становятся всего лишь теоретическими положениями, помогающими объяснить наши наблюдения, – наравне с физическими понятиями вроде «субатомных частиц», поскольку встречаются в тех же самых объяснениях. Каким образом они могут быть причиной существования физического мира, если они сами являются частью ткани этого мира?

И на этом огорчения платонистов не исчерпаны. Оказывается, математика не так уж незаменима для науки: мы вполне можем объяснить, как устроен физический мир, не прибегая к математическим абстракциям, – подобно тому, как мы научились это делать, не прибегая к понятию Бога.

Одним из первых на эту возможность указал американский философ Хартри Филд. В своей книге «Наука без чисел», опубликованной в 1980 году, Филд показал, что ньютоновская теория гравитации (которая кажется математической до мозга костей) может быть сформулирована так, что в ней не будут использоваться какие бы то ни было математические понятия. Тем не менее такая «ньютоновская теория без чисел» дает те же самые предсказания, хотя и гораздо более окольными путями. Если «номинализация» науки (то есть избавление ее от математической зависимости) может быть распространена на теории вроде квантовой механики и общей теории относительности, то это будет означать, что Куайн ошибался и математика не является «незаменимой», а ее абстракции не требуются для понимания физического мира. Они всего лишь отличный инструмент для расчетов – удобный на практике (поскольку быстрее приводит к выводам), но теоретически поддающийся замене. Для существ, обладающих более высоким интеллектом, математика может быть вовсе не нужна. Числа и прочие математические абстракции окажутся не вечными и трансцедентными сущностями, а всего лишь изобретениями земного разума. Мы можем изгнать их из нашей онтологии, подобно герою рассказа Бертрана Рассела «Кошмар математика», криками: «Прочь! Вы всего лишь удобные символы!»¹²⁹