Жизнь Георга Кантора
Шрифт:
Более внимательного рассмотрения заслуживают также философские интересы Кантора, его математическое мировоззрение, отчасти связанное с ними, и его отношение к религии.
Из написанных им в 80-ые годы работ [3] (часть 5) и “"Uber die verschiedenen Standpunkte in Besug auf das aktuelle Unendliede”, “Mitteilungen zur Lehre vom Transfiniten” видно поразительное знакомство Кантора с философской литературой, и притом не только с обширными частями современных и несколько более старых сочинений, но и с классиками философии предыдущих столетий, и в особенности с важнейшими философско-тео-логическими авторами схоластики и с Аристотелем. Мы находим у него глубокое изучение философии, почти всегда восходящее к источникам, но привлекающее также обширную историко-философскую литературу; круг его интересов распространяется на представителей древнегреческой атомистики и их противников, Платона и Аристотеля, Августина и других отцов церкви, Боэция, Фому Аквинского и многих других схоластов, Николая Кузанского и Джордано Бруно, Декарта, Спинозу, Локка, Лейбница, Канта и Фриса; даже за полстолетия до нас это было редким исключением для исследователя, специальностью которого не является философия. Сверх того, Кантор находился в тесных научных, а также в личных дружеских отношениях с его младшими коллегами Эдмундом Гуссерлем и Германом Шварцем, защищавших в Галле диссертации по философий. Напротив, к устремлениям «математической логики» (Шредер, Фреге и т.д.) он относился отрицательно. По проницательному замечанию Феликса Клейна [37] , нельзя считать случайностью, что Кантор прошел также схоластическую школу; более, чем в других математических дисциплинах, где на передний план выступают систематически-конструктивное, а часто специфически-вычислительное,
37
«Лекции о развитии математики в XIX веке», ч. 1, Берлин, 1926. Приведем оттуда следующее место: «Если освободить схоластические рассуждения от этой мистико-метафизически окрашенной оболочки, в которой они представляются поверхностному взгляду чисто теологическими тонкостями, то они часто оказываются вполне правильными подходами к тому, что мы теперь называем теорией множеств». Что касается Больцано, то схоластика очевидным образом была отправным пунктом его исследований о бесконечности
Из отдельных мест, имеющих философское значение, упомянем замечание в работе [13], ч. 5, о формировании понятий; в противоположность «субстанциальному» пониманию Аристотеля, здесь изображается функциональный процесс в том смысле, как он утвердился в современном учении о формировании понятий у Риккерта, Кассирера и др. Далее, следует отметить, что Кантор упорно и неоднократно боролся (против Гамильтона, Когена и др.) с еще и ныне высказываемой точкой зрения, согласно которой число или понятие величины основывается на понятии времени; в работе [13], ч. 5, он в особенности возражает против учения о времени Канта.
Для общего понимания математики Кантором существенно представление о реальности научных идей (например, целых - конечных и бесконечных - чисел); эта реальность имеет для него двоякий смысл: с одной стороны, как интрасубъективная или имманентная реальность, закрепленная определениями, отводящими соответствующему понятию определенное, отдельное от других понятий место в человеческом мышлении, благодаря чему это понятие «некоторым образом модифицирует субстанцию нашего разума»; с другой же стороны, как транссубъективная или трансиентная реальность, когда понятие является «отражением процессов и отношений в противостоящем интеллекту внешнем мире» (См. [13], ч. 5).
Для Кантора оба вида реальности совпадают, вследствие единства содержащего нас самих всеобщего, и он полагает, что каждому понятию, реальному в первом смысле, присуща также и трансиентная реальность, установление которой составляет часто труднейшую задачу метафизики. Характерное же преимущество математики он усматривает в том, что она «при разработке своего идейного материала должна принимать во внимание исключительно одну лишь имманентную реальность ее понятий, вовсе не будучи при том обязана подвергать их испытанию также в отношении их трансиентной реальности» [38] . На этой характеристике, объясняющей, как ему кажется, «относительную легкость и беспрепятственность занятий математикой, он основывает свое предложение присвоить ее почетное наименование «свободной математики».
38
Возникает вопрос, сознательно или несознательно примыкает здесь Кантор к Г. Ганкелю, уже в 1867 г. в своей “Theorie der komplexen Zalensysteme” («Теории комплексных числовых систем»), указавшему в качестве предмета математики «интеллектуальные объекты», которым действительные объекты или их отношения могут но не обязаны соответствовать»
Кантор описывает здесь своеобразие и значение математики (и тем самым, можно было бы добавить, также теоретической логики) в чисто рациональном плане, определяя ее, коротко говоря, как ту науку, которая не содержит метафизики; это вовсе не значит, однако, что его отношение к математике было односторонним. Уже два первых тезиса его диссертации показывают, как высоко он ценил ее еще в юношеские годы в эстетическом и этическом отношении: “Eodem modo literis atque arte animos delectari posse” и “Jure Spinosza mathesi eam tribuit, ut hominibus norma et regula veri in omnibus rebus indagandi sit”
Вопреки той уверенности, с которой Кантор усматривал сущность математики в ее свободе, следует заметить, что эмоционально он отнюдь не был склонен признать непротиворечивость единственным критерием существования математических объектов. В самом деле, ведь он пришел к трансфинитным порядковым числам не «свободным путем работы [13], ч. 5, а в некотором смысле вынужденный к этому итерацией построения производных множеств, в частности, стремлением к созданию их общей символики. Точно так же, его чрезмерно резкое отрицание «бесконечно малых», без сомнения, объясняется ощущением преимущества трансфинитных чисел - выводимых из «данных» множеств [39]– по сравнению с общими неархимедовыми системами величин.
39
Ср. следующее место в работе “"Uber die verschiedenen Standpunkte in Besug auf das aktuelle Unendliede”: «Если бы первое (множество) не противостояло нам как объект, то чт'o могло бы последнее (соответствующее кардинальное число) отражать в качестве абстрактного образа в нашем разуме?»
Мы упомянули выше убеждение Кантона, что математическим понятиям, наряду с имманентной реальностью, только и касающейся математика, сама собою присуща также транссубъективная реальность; с этим теснейшим образом связано представление Кантора, которое можно в несколько заостренной форме выразить словами: математик не изобретает предметы своей науки, но открывает их. Это воззрение, выраженное уже в третьем тезисе его диссертации, снова подчеркивается в конце его творчества, когда он предпосылает завершающему изложению [18] эпиграфы:
“Hypothesis non fingo” («Гипотез я не выдумываю») и “Neque enim leges intellectui aut rebus datum arbitrium nostrum, sed tanquam scribae fideles ab ipsius naturae voce latas et prolatas excipimus et describimus” («Ибо мы не даем законов разуму и вещам по нашему произволу, но, словно верные писцы, схватываем и записываем их с голоса самой природы»). Вообще говоря, для творческой деятельности математика безразлично, рассматривает ли он свои понятия как платоновские идеи, как произвольные создания рассудка или примиряя эти точки зрения (Гессенберг), как создания независимо творящего разума, замечательно, однако, что именно в проблематике теории множеств, касающейся несчетного, эти различия в мировоззрении могут играть иногда существенную роль [40] . То обстоятельство, что для Кантора (и, очевидным образом, также для Больцано) понятия математики обладали существованием, независимым от их открытия и вообще от нашего мышления, а в некотором смысле ему предшествующим, весьма существенно для понимания подхода Кантора к занимавшим его проблемам (например, к проблеме континуума). Это убеждение поддерживало также упрямство, с которым он в течение двух десятилетий почти в одиночестве отстаивал свои идеи И следующее ниже место из письма Миттаг-Лефлеру в начале 1884 г. не только свидетельствует о скромности, но скорее должно рассматриваться как выражение этой метафизической точки зрения: «..что касается остального (кроме стиля и сжатости
40
Ср. мою книгу и Einleitung in die Mengenlehre («Введение в теорию множеств») (3-е изд., Берлин, 1928), стр. 325-322
Далеко не так отчетливо известны нам взгляды и интересы Кантора в области естествознания и, в особенности, физики. В противоположность «свободной математике», он рассматривает физику как «метафизическую науку» [41] , и для нее он признает оправданными и необходимыми те самые оковы, от которых столь решительно освобождает математику; причиной этого является стимулирующая естественную науку трансиентная реальность. Он высказывается, впрочем, не в очень тесной связи с предыдущим ([13], ч. 5), против точки зрения «знаменитого физика» (имеется в виду, конечно, Кирхгоф, «Механика» которого вышла в 1874 г.), согласно которой физика есть «описание природы»; по его мнению, это представление «лишено и свободного веяния математической мысли, и силы объяснения и обоснования явлений природы». О естественно-научных взглядах Кантора свидетельствует еще высказанная им в конце работы [16], весьма далекая от нынешних представлений атомистическая гипотеза [42] , согласно которой атомы материи составляют множество первой мощности, атомы же эфира - второй [43] . Известно также о его занятиях «естественным учением об организмах..., к которому неприменимы имеющиеся механические принципы...», и для которого ему нужны были новые, в частности, теоретико-множественные средства (письмо Миттаг-Лефлеру от 22 сентября 1884 г.; ср. также [13], ч. 5); трудно уяснить себе, какие методы и цели при этом имелись в виду, но можно предположить, что главную роль должна была здесь играть (до сих пор едва начатая) теория многократно упорядоченных множеств. Наконец, заслуживает упоминания рассмотрение в [13], ч. З, отношений между арифметическим пространством и тем пространством, которое мы кладем в основу описания явлений действительности; обычно предполагаемое соответствие между этими понятиями «само по себе произвольно» и обеспечивается лишь требованием отобразимости (а не только, например, условием непрерывной подвижности).
41
Впрочем, слово «метафизика» часто применяется у Кантора (как и у Гaycca) не в принятом ныне смысле, а вслед за французским словоупотреблением приблизительно в смысле «философской критики» (некоторой науки); ср. заключение работы
42
Ср. также восходящие к «Сообщениям» Кантора ссылки в Ztschr. F. Philos. u. philos. Kritik, N. F., 88, стр. 192 и далее (1886); там же, стр. 229. С этими физическими взглядами следует сравнить, наряду с Коши, на которого Кантор ссылается в “"Uber die verschiedenen Standpunkte in Besug auf das aktuelle Unendliede” и в “Mitteilungen zur Lehre vom Transfiniten”, также объяснение природы в книге Р. Грассмана “Die Lebenslehre oder Biologie” [«Учение о жизни или биология»]. (Штеттин, 1882/83)
43
Приложения теории точечных множеств к математической физике, намеченные в этом месте и, видимо, очень близкие сердцу Кантона, на нынешней стадии развития физики представляются бесперспективными; однако, физические приложения иного рода действительно имеются. В [13], ч. 5, Кантор особенно подчеркивает свою враждебность обычной атомистике
Религиозные интересы Кантора часто проявляются в его статьях философского характера (а также в предисловии к Confessio fidei [«Исповедание веры»] Бекона); характерно, что работа “"Uber die verschiedenen Standpunkte in Besug auf das aktuelle Unendliede” была опубликована в журнале “Natur und Offenbarung” («Природа и откровение»). Со стороны отца он был еврейского происхождения, сам был воспитан в евангелическом исповедании, к которому отец его принадлежал уже до рождения сына, наконец, он испытал сильное влияние католической атмосферы материнской семьи; он не разделил, однако, судьбы многих, у кого «подобные столкновения приводят к далеко заходящему равнодушию в религиозных вопросах. Напротив, уже упомянутая вначале религиозная сторона его воспитания очевидно произвела на него продолжительное и прочное воздействие. И если он с особым вниманием изучает позицию отцов церкви и схоластических философов по отношению к актуальной бесконечности [44] и вообще отношение ее к понятию бога, вступая по этому поводу в полемику, то, безусловно, наряду со стремлением защитить свои построения от возражений теологического характера он проявляет этом и свои внутренние побуждения. Для его религиозной установки характерны, прежде всего, его опубликованные в статье “Mitteilungen zur Lehre vom Transfiniten” письма (неназванным адресатом которых был кардинал Францелин); в этих письмах он пытается доказать существование “Infinitum creatum” («Сотворенного бесконечного»), прямо опираясь на понятие бога. Далее, в том же смысле примечательно место из письма Кантора Г. Энестрему, опубликованное в работе “"Uber die verschiedenen Standpunkte in Besug auf das aktuelle Unendliede”. Вследствие своей заинтересованности в теологической трактовке проблемы бесконечного, Кантор переписывался с несколькими иезуитами [45] , как, например, с изгнанным из Германии о. Тильманом Пешем, автором высоко ценимой Кантором книги “Institutiones phlosophiae naturalis”(«Лекции по натуральной философии»), которого он лично посетил в Блинбеке (Голландия), а также с кардиналом Францелином, который, примыкая к учению Августина, защищал понятие актуально-бесконечного многообразия; пространное письмо его содержится в работе “Mitteilungen zur Lehre vom Transfiniten” («К учению о трансфинитном»). Особенно оживленной была переписка с К. Гутберле, профессором философии и математики духовной семинарии в Фульде, в течение десятилетий бывшего издателем Philosophisches Jahrbuch der G"orres – Gesellschaft. В 1878 г. Гутберле опубликовал сочинение “Das Unendliche mathematisch und methafisisch betrachtet («Бесконечное с математической и метафизической точки зрения»), в котором выступил против исходящих из теологии и философии тезисов о невозможности бесконечной величины; впрочем, он утверждает не существование актуально-бесконечного, как Кантор, а лишь возможность его. Кантор видел в Гутберле, навлекшем на себя своей книгой много возражений и даже насмешек, товарища по борьбе; он посетил его в Фульде и объяснил свой интерес к нему не только деловыми причинами, но и собственным отношением к католицизму с материнской стороны [46] . При содействии Гутберле Кантор глубоко проник в идеи средневековых мыслителей о бесконечном, что отразилось в его работах; в свою очередь, Гутберле познакомил с построениями канторовой теории множеств более широкий круг читателей с философскими интересами и защищал их, в частности, от возражений школы Гербарта [47] .
44
В новейшей литературе по поводу этих отношений между теологией и актуальной бесконечностью см., напр., сочинение А. Демпфа “Das Unendliche in der mittelalterlichen Metaphisik und in der Kantischen Dialektik” «Бесконечное в средневековой метафизике и в диалектике Канта (Мюнстер, 1926) и статью И. Тернуса (Общ-во Иисуса) «К философии математики», (Philos. Jahrb. Der G"orresgeselschaft, 39, 217-231, 1926)
45
Как сообщает Тернус (loc.cit., 221), в библиотеке нижненемецкой провинции иезуитов сохранилось еще много сочинений за 80-е года с надписью Hommages respectueux de l’auteur George Cantor” («С почтением от автора Георга Кантора»)
46
Ср. “Philosophisches Jahrbuch der G"orres – Gesellschaft”, 32, 366 (1919) и 41, 262 (1928)
47
«О проблеме бесконечного», Ztschr. F. Philos. u. philos. Kritik, N. F., 88, 179-223 (1886), ч.1. Ср. также Кантор, ibid., стр. 232 и подстрочное примечание к работе «Учение о трансфинитном» , согласно которому Гутберле включил в свою статью места из рукописи Кантора (по его желанию); см. далее, возражения Кантора в той же работе