Шаги за горизонт

Не лишено вероятности, что на других планетах, скажем на Марсе, а если нет, то в других солнечных системах, существует нечто похожее на жизнь. И безусловно, следует считаться с той возможностью, что на каком-нибудь другом небесном теле живут существа, у которых способность к абстрактному мышлению развилась достаточно, чтобы создать понятие числа. Если это так и если они строят на основе понятия числа математическую науку, то они придут к тем же теоретико-числовым утверждениям, что и мы, люди. Арифметика и теория чисел в принципе не могут быть у них другого вида, чем у нас; их результаты должны совпадать с нашими. Следовательно, если считать математику набором утверждений о мышлении человека, то, во всяком случае, речь идет о мышлении как таковом, а не просто о нашем человеческом мышлении. Поскольку вообще существует мышление, математика должна быть одинаковой. Это утверждение можно сопоставить с другим, относящимся к области естественных наук. На других планетах или на еще более удаленных небесных телах, несомненно, действуют те же самые законы природы, что и у нас. Это вовсе не просто теоретическое допущение; ведь с помощью телескопов мы можем убедиться в том, что там присутствуют такие же, как у нас, химические элементы, что они образуют те же самые химические соединения и свет, который они испускают, имеет ту же самую спектральную структуру. Но не станем пока выяснять, имеет ли этот эмпирический естественнонаучный факт какое-либо отношение к тому, что мы только что говорили о математике, а если имеет, то какое.

Прежде чем переходить к развитию естественных наук, обратимся еще раз к математике. На протяжении своей истории математика постоянно формировала новые, все более емкие понятия и поднималась, таким образом, на новые уровни абстрактности. Область чисел расширилась, включив в себя иррациональные числа, а затем комплексные числа. Понятие функции открыло доступ в царство высшего анализа, дифференциального и интегрального исчисления. Понятие группы оказалось продуктивным в алгебре, геометрии и теории функций. Оно навело на мысль о том, что на высшем уровне абстрактности удастся, быть может, упорядочить и понять всю математику, во всем многообразии ее дисциплин с единой точки зрения. В качестве абстрактной основы такого объединения всей математики была разработана теория множеств. Трудности теории множеств вынудили в итоге перейти от математики к математической логике, которая нашла свое развитие в 20-х годах, особенно в работах Давида Гильберта и его сотрудников в Геттингене[89]. Каждый раз приходилось подниматься с достигнутого уровня абстрактности на следующий, поскольку в той ограниченной области, где проблемы первоначально возникли, их нельзя было не только по-настоящему решить, но даже и как следует осмыслить. Лишь включение их в контекст более широких проблем открывало возможность по-новому понять их, а это в свою очередь позволяло формировать новые, еще более емкие понятия. Стоило убедиться, к примеру, что аксиому параллельных в евклидовой геометрии доказать невозможно, как была разработана неевклидова геометрия. Но действительное понимание пришло только после того, как был поставлен гораздо более общий вопрос: можно ли доказать в данной системе аксиом, что она не содержит противоречия?[90] Только когда вопрос был поставлен таким образом, была затронута сама суть проблемы. В конце концов развитие математики привело к тому, что основания ее могут обсуждаться только в чрезвычайно абстрактных понятиях, которые, кажется, полностью утратили какую бы то ни было связь с миром предметного опыта. Математик и философ Бертран Рассел высказался так: «Математика — это занятие, в котором никогда не известно, ни о чем говорят, ни истинно ли то, что говорят». (Поясним вторую часть высказывания: всегда можно убедиться в том, что математические формулы правильны, но не в том, существуют ли в действительности объекты, к которым они могли бы относиться.) Но история математики служит нам здесь всего лишь примером, позволяющим признать неизбежность движения к большей абстрактности и к унифицированности. Теперь следует задаться вопросом, происходит ли что-нибудь подобное в естественных науках.