Философия математики Г.Кантора

В этом разделе мы специально обсудим канторовскую философию математики. Несмотря на то, что выше уже приводилось немало цитат, прояснявших взгляды Кантора в этом отношении, все же его философия математики, — и философия науки, вообще, — представляет собой чрезвычайно важный для нашей темы комплекс взглядов, который необходимо обсудить отдельно. Эти взгляды интересны и сами по себе, но в особенности в связи с теорией множеств.

Если многие математики прошлого века (как, например, Кронекер) и настоящего не любили и боялись связывать математику и философию, то для Кантора, напротив, эта связь была как бы самоочевидной. Он высказывался по этому поводу постоянно, многоречиво и определенно. Так в 1884 году, отвечая на рецензию (положительную) его ранних работ по теории множеств французского математика Жюля Таннери, Кантор писал: “Я чувствую себя обязанным г-ну Таннери за то, что в различных местах его критического обзора он придает моим исследованиям философское и даже метафизическое значение; я рассматриваю это как похвалу и честь. Действительно я не принадлежу к числу тех, кто из-за различных неудач, постигших метафизику вследствие ошибок некоторых ее представителей, особенно в нынешнем и прошлом столетиях, невысоко ценит эту науку. Я считаю, что метафизика и математика по праву должны находиться во взаимосвязи и что в периоды их решающих успехов они находятся в братском единении. Затем, как показывала история до сих пор, к несчастью, между ними, обычно очень скоро, начинается ссора, которая длится в течение ряда поколений и которая может разрастись до того, что враждующие братья уже не знают, да и не хотят знать, что они всем обязаны друг другу”^[26].

Нужда в философском обосновании математических построений проявилась в особенности в канторовской борьбе за легализацию его трансфинитных конструкций. Многие его работы, как мы уже отмечали, представляют собой смесь математических и философских параграфов, что, конечно, очень раздражало в большинстве своем позитивистски настроенную научную среду его (да и, наверно, любого) времени. Таковой является и работа “Основы общего учения о многообразиях” (1883), из которой мы уже приводили немало характерных цитат. В ней Кантор обсуждает также и основные пункты своей философии математики. Говоря о реальности чисел. Кантор отмечал, что понимает это в двух смыслах. Эти два смысла являются определяющими и в отношении любых идей (или общих понятий). Числа можно рассматривать, с одной стороны, как существующие в нашем рассудке, со всеми их соответствующими свойствами, как в себе, так и по отношению к другим понятиям. Такую реальность чисел Кантор называет интрасубъективной или имманентной реальностью ^[27]. Но, кроме того, числа можно рассматривать, поскольку они являются отображением “внешнего мира”, поскольку они выражают числовую определенность природы и ее процессов. Причем, что было для Кантора очень важно, он настойчиво подчеркивал определенность как через конечные, так и через бесконечные (трансфинитные) числа. Этот второй вид реальности чисел Кантор и называет транссубъективной или транзиентной реальностью. Как же соотносятся эти две реальности? “При вполне реалистической, но в то же время и не менее идеалистической основе моих размышлений для меня не подлежит никакому сомнению, что оба эти вида реальности всегда совпадают в том смысле, что какое-нибудь понятие, принимаемое за существующее в первом отношении, обладает в известных, даже бесконечно многих отношениях и транзиентной реальностью. Правда, установление этой последней по большей части принадлежит к самым трудным и утомительным задачам метафизики и часто должно быть оставлено до тех времен, когда естественное развитие одной из прочих наук раскроет транзиентное значение рассматриваемого понятия”^[28]. Это по своему выраженное тождество мышления и бытия, как известно их истории философии, можно понимать разным образом. Как же понимает его Кантор? Он делает следующие пояснения к разбираемому месту: “Это убеждение в основном совпадает как с принципами платоновской системы, так и с одной существенной чертой системы Спинозы”. Для объяснения первого тезиса Кантор дает цитату из Целлеровской “Философии греков”: “Только познание при помощи понятий может доставлять (по Платону) истинное знание. Но поскольку нашим представлениям присуща истина — эту предпосылку Платон разделяет с другими (Парменид), — постольку предмету их должна быть присуща действительность, и наоборот. То, что можно познать, есть; того, чего нельзя познать, нет; и в той же мере, в какой нечто есть, оно и познаваемо”^[29]. Что же касается Спинозы, то Кантор ссылается на теорему из “Этики”: “Порядок и связь идей суть те же, что и порядок и связь вещей” (Часть II. Теорема VII). Лейбниц, по мнению Кантора, также придерживался аналогичного теоретико-познавательного принципа. Лишь с развитием в новейшее время эмпиризма, сенсуализма и скептицизма и в особенности после разработки кантовской теории познания источник знания и достоверности стали искать в чувственном познании или в его априорных формах. “По моему убеждению, — пишет Кантор, — эти элементы вовсе не доставляют надежного познания, ибо последнее может быть получено лишь с помощью понятий и идей; внешний опыт может, самое большее, дать лишь толчок к созданию этих идей, по существу же они образуются при помощи внутренней индукции и дедукции, как нечто, что до известной степени уже лежало в нас и лишь было пробуждено и доведено до сознания”^[30].

Высказывая все это, Кантор описывает свои философские убеждения, в которые с необходимостью входит определенный элемент веры. Для него не служит тайной, что как близкие, так и противоположные ему философские воззрения суть не результат некоторого научного вывода, а представляют собой конкурирующие в истории культуры философские программы, борющиеся за выживание с бесконечной изобретательностью. Кантор лишь описывает, таким образом, свои философские ориентации. Как ни различны сами по себе объективный идеализм Платона, пантеизм Спинозы и монадология Лейбница, для Кантора во всех них важно одно: обоснование “непостижимой эффективности”^[31] математического знания. Связь имманентной и транзиентной реальности чисел и понятий служит базисом для существования науки вообще и математики в частности: “Эта связь обеих реальностей имеет свой собственный корень в единстве всего, к которому мы сами принадлежим. Указание на эту связь имеет здесь целью вывести отсюда одно важное, на мой взгляд, следствие для математики, а именно, что последняя при развитии своих идей должна считаться единственно лишь с имманентной реальностью своих понятий и поэтому не обязана вовсе проверять также их транзиентную реальность. В силу этого исключительного положения, отличающего ее от всех других наук и объясняющего сравнительную легкость и отсутствие принуждений в занятии ею, она заслуживает совершенно особенным образом имени свободной математики — название, которое будь мне предоставлен выбор, я дал бы охотнее, чем ставшее обычным наименование “чистая” математика”^[32]. Математика, по Кантору, свободна в том смысле, что для законного введения математического понятия достаточно лишь его “легальности” внутри самой математики. Последнее означает, что: 1) понятие должно быть непротиворечивым, и 2) необходимо определить связи этого понятия с уже существующими математическими конструкциями. Этого достаточно. Как только это осуществлено, можно законно работать с этим понятием в математике, можно его изучать, развивать соответствующие теории. Никакие вопросы, связанные с обсуждением реальности этого понятия в физикалистском мире не касаются, по Кантору, собственно математической деятельности. В то же время в этой свободе нет никакой угрозы науке. Опыт математики, подчеркивает Кантор, показывает, что произвол в образовании понятий, который будто бы разрешается здесь, на самом деле ничтожен. Новый математический конструкт связан со всем корпусом математического знания. Если этот конструкт слишком искусственен, неплодотворен, то при работе математика это вскоре обнаруживается и его отбрасывают как непригодный. Гораздо большая опасность заключена, по Кантору, во всякого рода внешних ограничениях математическому творчеству. Если бы Гаусс, Коши, Абель, Якоби, Дирихле, Вейерштрасс, Эрмит и Риман должны бы были всегда подвергать свои новые математические идеи метафизическому контролю, то современная теория функции никогда не была бы построена. Созданная как свободное творение человеческого разума^[33], эта теория через ее эффективное применение в механике и астрономии уже частично доказала свое транзиентное значение. Внешние ограничения математического творчества не имеют никакого основания в самой природе науки, настаивает Кантор. “Ведь сущность математики заключается именно в ее свободе” ^[34].

Эти взгляды удивительно перекликаются с господствующим самоощущением в сегодняшней математике. Математика в XX веке стала в высшей степени формальной наукой. Она занимается не исследованием природы, а исследованием формальных структур, которые она сама же и вводит^[35]. Поэтому ее и нельзя относить к естествознанию. Но если сегодня это — господствующее мнение, то Кантору нужно было еще объяснять и доказывать эту точку зрения. Собственно Кантор, его теория множеств, вся его научная деятельность и были одним из решающих моментов, сформировавших подобную точку зрения. Но парадокс состоит в том, что именно Кантор и не “вкладывается” целиком в эту точку зрения. Провозглашая свободу математики от всякой метафизики, он в то же самое время посвятил десятки страниц именно метафизическому, естественнонаучному, философскому и даже богословскому оправданию теории множеств! Издателям его работ в математических журналах приходилось решать задачу: как уговорить Кантора убрать из его трудов философские рассуждения. Конечно, в этом сказывался и характер самой личности Кантора: волевой, целеустремленный, с неудержимым стремлением к успеху, настойчиво ищущий подтверждения своей точки зрения во всех доступных ему областях... Г.Мешковски, обсуждая эту парадоксальную судьбу канторовского научного наследия, писал: “К трагическим моментам этой, столь богатой разочарованиями жизни ученого, принадлежало и то, что сам Кантор твердо держался платоновских представлений на отношение математики к метафизике. Он не видел того, что как раз его исследования должны были послужить поводом к некому изменению характера математической мысли”^[36].

Но помимо личных особенностей Кантора, “запечатлевших” научную судьбу теории множеств, есть и объективные причины, связанные с природой самой математики, которые неожиданно и выпукло выступили в дискуссиях о теории множеств. “Сущность математики заключается в ее свободе”. Однако как понимать саму свободу? Значит ли это высказывание, что математика может брать любую сколь угодно искусственную абстрактную конструкцию и изучать ее свойства? История математики показывает, что так никогда не было. Что связь математики и “жизни” гораздо теснее. Что все на первый взгляд столь далекие от эмпирии конструкции — и бесконечно малые дифференциалы Лейбница, и бесконечно удаленные точки Дезарга, и комплексные числа, и идеальные числа Куммера, и аппарат обобщенных функций, — были всегда либо прямым ответом на некоторые задачи “прикладной математики”, либо создавались специально, чтобы осмыслить некоторые уже “созревшие” внутриматематические проблемы. Никогда эти новые конструкции не брались, как говорится, “с потолка”, произвольно. Сам Кантор также считал, что сами условия математической деятельности “представляют лишь ничтожный простор произволу”^[37]. Но весь вопрос в том и состоит — какой произвол считать еще ничтожным, а какой уже нет и, следовательно, считать недопустимым. Вся весомость этого вопроса обусловлена также и природой самой свободы. Что есть свобода? Или это есть голый произвол, или же так называемая положительная свобода, служение высшим ценностям? И если последнее, то где же здесь место собственно свободе как независимости, спонтанности, творчеству? Вопрос о природе свободы есть глубоко религиозный вопрос. Он прямо и состоит в том, насколько бытие человеческого духа независимо от всей природной детерминации и, следовательно, вопрос этот обращает внимание к тому, что находится вне природы, что низводит бытие последней до условного... Здесь возможны разные ответы и XX век продемонстрировал это во всей полноте: от традиционно христианских концепций свободы до агрессивно-атеистических (марксизм, сартризм). Сказав “сущность математики состоит в ее свободе”, Кантор volens nolens вызвал все эти “проклятые вопросы” о свободе, ставшей одним из главных — если не наиглавнейшим — предметом философского осмысления в XX столетии^[38]. В этом смысле канторовская теория множеств по своему духу оказывается очень созвучной общекультурному модернистскому направлению, возникшему на рубеже XIX—XX веков и достигшему поры своей зрелости в период до II мировой войны (модернизм в искусстве, марксизм в социологии, фрейдизм в психологии и т.д.).

Но парадокс, повторяю, заключался в том, что, призывая к свободе математики, сам Кантор отнюдь не считал эту свободу абсолютной, и тщательно старался выявить связи математики с философией и богословием. В этом смысле математика конца XX века, руководствующаяся в основном чисто формалистским “уставом”, оказывается, конечно, беднее того ее образа, который вдохновлял творца теории множеств. Современная математика взяла у Кантора только формальное и поверхностное, оставив весь исходный платонистский пафос его теории за пределами науки...

Канторовское видение математики было богаче и... противоречивее. Призывая к “свободе математики”, он в то же время ориентировался на платонистские традиции в понимании науки. Однако платонизм не знает свободы, вообще говоря. Платонизм в математике есть видение (qewr…a), умозрение идеальных структур^[39]. Это видение или дано, или нет. Мы привели выше немало цитат, в которых Кантор говорит об этих “органических единствах единиц”, представляющих умственный образ множества. Но речь идет постоянно о бесконечных множествах, когда это видение становится в высшей степени проблематичным. И тогда в дело вступает конструктивная часть разума. С помощью символов, аналогий, отрицаний разум старается овладеть своим предметом. Разум действует здесь как бы вслепую, как бы ощупью, надеясь только на свою внимательность и последовательность. Здесь как раз и проявляется свобода, настойчивая и изобретательная. Именно в этом ее сила и именно в этом ее соблазн... К этой двойственности Кантора мы вернемся еще позднее.