Akademik

(Cantor), Георг (3 марта 1845 – 6 янв. 1918) – математик и мыслитель, создатель множеств теории, имеющей своим осн. объектом бесконечные множества. Род. в Петербурге. С 1872 – проф. ун-та в Галле. Умер в Галле в психиатрич. клинике. К созданию теории множеств (1870) его привели исследования тригонометрич. рядов. Творческий период в жизни К., продолжавшийся до 1897 (прерван душевным кризисом 1885), отмечен соч. "О бесконечных линейных точечных многообразиях" ("Über unendliche, lineare Punktmannigfaltigkeiten", 1879–84), "К обоснованию теории о трансфинитных множествах" ("Beiträge zur Begründung der transfiniten Mengenlehre", 1895–97) и др. К. заложил основы как абстрактной теории множеств [ изучающей множества лишь с т. зр. их "численности" (мощности множества) и отношений порядка между их элементами (порядковых типов множеств) ], так и теории точечных множеств (т.е. множеств, состоящих из точек числовой прямой и вообще числового n-мерного пространства). Одним из первых К. построил теорию действительных чисел, к-рая до сих пор (наравне с теориями немецких ученых Р. Дедекинда и К. Вейерштрасса) кладется обычно в основание построения математич. анализа. Теория множеств Кантора означала важный шаг вперед в изучении понятия бесконечности; ее создание явилось революцией во всем математич. знании. В нач. 20 в. вся математика была перестроена на основе теории множеств; ее развитие и проникновение в различные области математики привели к возникновению новых науч. дисциплин, напр. топологии, абстрактной алгебры и др. В дальнейшем в теории множеств были обнаружены парадоксы, что дало новый толчок исследованиям логич. оснований математики и привело к появлению новых течений в ее филос. истолковании (напр., интуиционизма). Один из первых парадоксов этого рода (связанный с понятием мощности множества всех множеств) был открыт самим К. в 1899. Математика, основанная на безоговорочном применении теории множеств К., в наст. время часто называется классической. См. Математика, Множеств теория, Математическая бесконечность.

Филос. аспект идей К. состоял в признании полной законности понятия актуально бесконечного. К. различал два вида математич. бесконечности: несобственно бесконечное (потенциальное, или синкатегорематическое, бесконечное) и собственно бесконечное (актуально бесконечное), понимавшееся К. как нечто законченное, как строго ограниченное целое. В связи с вопросом о реальности математич. понятий К. различал: их интрасубъективную, или имманентную, реальность (их внутреннюю логич. непротиворечивость) и их транссубъективную, или транзиентную, реальность, под к-рой он понимал соответствие между математич. понятиями и процессами реального мира. В противовес Кронекеру, отвергавшему те способы доказательства существования математич. объектов, к-рые не связаны с их построением или вычислением, К. выдвинул тезис: "сущность математики – в ее свободе", осн. смысл к-рого сводился к допущению построения любых логически непротиворечивых абстрактных математич. систем, вопрос о "транзиентной реальности" к-рых решается сравнением их с процессами действительности. Плодотворность этой мысли К. была подтверждена развитием математики в 20 в., принесшим много примеров приложения вновь возникавших абстрактных математич. и логич. теорий в физике, технике, лингвистике и др. областях.

По своим филос. взглядам К. был объективным идеалистом. Актуально бесконечное в математике он считал лишь одной из форм существования актуально бесконечного вообще; последнее приобретает "высочайшую завершенность" в полностью не зависимом ни от чего, внемировом бытии – в боге; бог – это абсолютно бесконечное, или абсолют; кроме того, актуально бесконечное, по К., объективно существует во внешнем мире. К. критиковал Гегеля, отвергая его диалектику на том основании, что ее ядром является противоречие. Значит, внимание, особенно в последний период своей жизни, К. уделял вопросам теологии. Его религиозно-филос. взгляды оформились под влиянием Аристотеля, Платона и схоластов.

Соч.: Gesammelte Abhandlungen..., В., 1932. Лит.: Fraenkel Α., Georg Cantor, Lpz., 1930.

    КАНТОР (Cantor) Георг Фердинанд Людвиг Филипп (3 марта 1845, Санкт-Петербург — 6 января 1918, Галле) — немецкий математик, создатель множеств теории. Учился в Высшей технической школе в Цюрихе, затем в Гёттингенском и Берлинском университетах. Был учеником К. Вейерштрасса, привившего ему интерес к основаниям математики. С 1879 по 1913 — профессор университета в Галле. Его теория знаменовала собой эпоху в легализации в математике актуальной бесконечности, что ранее вызывало возражения многих мыслителей, в т. ч. Аристотеля.

    Основным достижением Кантора было создание им первой в истории науки осознанно выдвинутой программы возрождения единства математики, создание условий, при которых самые разнообразные по своему характеру разделы математики можно было бы строить по единому плану, на достаточно прочном “фундаменте”. Таким фундаментом и должна была служить теория множеств (сам Кантор пользовался термином “учение о множествах”, Mengenlehre). “Надстраивать” математику над этой теорией следовало так, чтобы все без исключения математические понятия определялись в ее терминах. В результате всякий математический объект в конечном счете оказывался множеством, удовлетворяющим некоторому условию. Что же касается аппарата логической дедукции, то в качестве него неизбежным по тому времени образом бралась традиционная аристотелевская логика с ее исключенного третьего законом, влекущим за собой рассуждения методом “от противного”, а значит, и неконструктивное понимание экзистенциальных высказываний. Поначалу этой особенности программы Кантора не было придано должного внимания.

    В современных терминах можно сказать, что Кантором была предложена теоретико-множественная модель самой математики. Его подход обеспечивал единообразие в структуре математических теорий, и сложившаяся ситуация воспринималась многими современными ему специалистами как “рай, созданный Кантором для математиков” (Д. Гильберт, доклад “О бесконечном”). Уже при жизни Кантора в разработку и реализацию его программы включился ряд крупнейших математиков того времени. В дальнейшем она сыграла в развитии математики, — несмотря на все впоследствии обнаружившиеся связанные с ней драматические трудности, — выдающуюся роль, которую продолжает играть (пусть, может быть, в несколько меньшем масштабе) и в наши дни, представляя собой важное методическое и эвристическое средство, удобное в педагогическом отношении, а также (как ориентир) и для построения теоретико-множественных моделей в других отраслях знания, лежащих за пределами математики (в кибернетике, лингвистике, биологии и т. п.).

    И тем не менее, трудности, о которых было упомянуто выше, носили принципиальный характер. Исторически первой из них было обнаружение т. н. теоретико-множественных парадоксов. или антиномий, наиболее известным из которых стал “парадокс Рассела”, обнаруженный в 1902 Б. Расселом и независимо от него Э. Цермело (см. Парадокс логический. Парадокс семантический). Гильберт вынужден был признать, что “опубликование противоречия, найденного Цермело и Расселом, оказало на математический мир прямо-таки катастрофическое воздействие. [...] Перед лицом этих парадоксов надо согласиться, что положение, в котором мы пребываем сейчас, на длительное время невыносимо”. В результате обсуждения парадоксов было осознано, что программа Кантора в чистом ее виде реализована быть не может.

    В начале 20 в. с критикой программы Кантора выступил Л. Э. Я. Брауэр, предложивший альтернативную программу иятучционизма. Кроме того, рядом математиков (Цермело и особенно Гильбертом) были предприняты меры, направленные на устранение из теории множеств обнаруженных в ней парадоксов, во-первых, определенной регламентацией теории множеств и, во-вторых, последующей ее аксиоматизацией и доказательством непротиворечивости возникающей системы аксиом (в этом последнем, собственно, и состояла идея знаменитой доказательств теории Гильберта). К сожалению, все эти усилия до сих пор не дали положительных результатов: вопрос о непротиворечивости аксиоматической теории множеств остается открытым. Установление непротиворечивости этой теории повлекло бы за собой (наподобие тому, как это случилось с теоремой Геделя о неполноте арифметики) неполноту этой теории во многих важных ее пунктах (и по-видимому, более того — ее непополнимость).

    Однако, может быть, главная из трудностей теории множеств состоит в том, что в ней отсутствует сколько-нибудь точное определение основного представления этой теории — представления о множестве. Оно иллюстрируется здесь лишь на примерах. И т. к. всякое математическое высказывание, сформулированное в рамках канторовской программы, в конечном счете оказывается высказыванием о множествах, то смысл этого высказывания остается неясным. В этом свете термин “теория множеств”, получивший среди сторонников Кантора широкое распространение, не вполне правомерен, равно как и отнесение этой теории к числу математических дисциплин. Более оправданным представляется первоначальный термин самого Кантора — “учение о множествах”. Это учение, несмотря на все его недостатки (и может быть, даже благодаря им) оказало сильное воздействие на развитие математики и ее оснований, а затем и более широкого комплекса наук нашего времени.

    Соч.: Труды по теории множеств. М., 1985. Лит.: Медведев Ф. А. Развитие теории множеств в XIX в. М., 1965; Meschkowski H. Probleme des Unendlichen: Werk und Leben Georg Cantors. Braunschweig, 1967.

    H. M. Нагорный