Морис Клайн - Математика. Утрата определенности.

Читать онлайн «Математика. Утрата определенности.». Страница 92

Автор Морис Клайн

4. Объединение любого множества множеств есть множество.

5. Существуют бесконечные множества. (Пятая аксиома делает допустимыми трансфинитные кардинальные числа. Это имеет решающее значение, поскольку не подлежит проверке опытом.)

6. Любое свойство, формализуемое на языке теории, может быть использовано для определения множества.

7. Допускается образование множества подмножеств любого множества, т.е. набор всех подмножеств данного множества есть множество. (Процесс образования множества подмножеств можно повторять любое число раз, т.е. рассматривать множество всех подмножеств любого данного множества как некое новое множество; множество подмножеств этого множества также является множеством и т.д).

8. Аксиома выбора.

9. x не принадлежит x.

Нельзя не отметить одну замечательную особенность аксиом Цермело — Френкеля: они не допускают к рассмотрению множество, которое содержит все множества, и тем самым, возможно, позволяют избежать парадоксов. В то же время аксиомы Цермело — Френкеля вместе со следствиями из них адекватно отражают все понятия и теоремы теории множеств, необходимые для построения классического математического анализа. Построить теории натуральных чисел на основе теории множеств несложно. Кантор утверждал в 1885 г., что чистая математика сводится к теории множеств, и канторовская программа была осуществлена Расселом и Уайтхедом, хотя их подход к теории множеств отличался гораздо большей сложностью. А если воспользоваться методом координат, то из математики чисел (т.е. из арифметики) следует вся математика, включая геометрию. Тем самым теория множеств становится основанием всей математики.{132}

Можно сказать, что надежда избежать противоречий в случае аксиоматизации теории множеств была основана на ограничении типов допустимых множеств, причем если налагаемые ограничения не слишком жестки, то система аксиом оказывается достаточной для обоснования математического анализа. Аксиомы теории множеств позволили до такой степени избежать парадоксов, что никому не удавалось получить их в рамках теории. Цермело заявил, что ни один парадокс не может возникнуть в аксиоматической теории множеств. Более поздние представители теоретико-множественного направления пребывали и продолжают пребывать в полной уверенности, что ни один парадокс не может быть выведен в теории, поскольку Цермело и Френкель тщательно построили иерархию множеств, исключив все неоднозначности, существовавшие в более ранних работах о множествах и их свойствах. К подобным заявлениям представителей теоретико-множественной школы никто из их идейных противников не относился всерьез. Пуанкаре не без сарказма заметил: «Мы возвели ограду вокруг стада, чтобы защитить его от волков, но нам не известно, нет ли волков внутри ограды».

Теоретико-множественное направление, как, впрочем, и все другие направления в основаниях математики, также не избежало критики. Многие считали недопустимым использование аксиомы выбора. Другие критики усматривали признак слабости теоретико-множественного направления в том, что его представители обходили молчанием вопрос о логических основах своей теории. Сама логика и ее отношение к математике явились предметом подробного обсуждения уже в первом десятилетии XX в. Представители же теоретико-множественного направления довольно небрежно обращались с логическими принципами. Их уверенность в непротиворечивости аксиоматической теории множеств считалась проявлением наивности (критики не без яда напоминали, что и Кантор был наивен до тех пор, пока не столкнулся с трудностями, гл. IX). Некоторые критики находили, что аксиомы теории множеств весьма произвольны и носят искусственный характер. Аксиомы Цермело — Френкеля предназначены для того, чтобы избежать парадоксов, но некоторые из этих аксиом неестественны или не основаны на интуитивных представлениях. Коль скоро представители теоретико-множественного направления принимают логические принципы как нечто очевидное, то почему бы не начать с арифметики, спрашивали критики.

Несмотря на все критические замечания, аксиоматика Цермело — Френкеля до сих пор используется некоторыми математиками как надежное основание для построения всей математики. Теория множеств Цермело — Френкеля — самая общая и фундаментальная теория, на которой и ныне строятся математический анализ и геометрия. Число приверженцев других направлений в основаниях математики возрастало по мере того, как их лидеры развивали и пропагандировали свои взгляды. Аналогичная история произошла и с теоретико-множественным подходом. Некоторые логицисты, например, Уиллард Ван Орман Куайн, выступили в поддержку теории множеств. В этой связи нельзя не упомянуть (нарушая хронологическую последовательность изложения) о группе известных и весьма уважаемых математиков, объединившихся под коллективным псевдонимом Никола Бурбаки. В 1936 г. эта группа поставила перед собой задачу доказать во всех деталях то, в чем были глубоко убеждены многие математики: если принять аксиоматику теории множеств Цермело — Френкеля (в переработке Бернайса и Гёделя) и некоторые принципы логики, то на них можно построить всю математику. Но для бурбакистов логика подчинена аксиомам собственно математики. Логика не определяет ни того, что такое математика, ни того, чем занимаются математики.

Свои взгляды на логику бурбакисты выразили в статье, опубликованной в Journal of Symbolic Logic (1949): «Иначе говоря, логика, если говорить о математиках, представляет собой не больше и не меньше, как грамматику языка, которым мы пользуемся, языка, который должен был существовать еще до того, как могла быть построена грамматика». Последующее развитие математики может потребовать новых модификаций логики. Так случилось с введением бесконечных множеств и, как мы увидим при обсуждении нестандартного анализа (гл. XIII), будет происходить в дальнейшем. Школа Бурбаки отвергла Фреге, Рассела, Брауэра и Гильберта. Ее представители используют аксиому выбора и закон исключенного третьего, хотя выводят его с помощью приема, предложенного Гильбертом. Группу Бурбаки не заботит проблема непротиворечивости. По поводу нее бурбакисты утверждают: «Мы просто отмечаем, что все эти трудности могут быть преодолены способом, позволяющим избежать всех возражений и не оставляющим сомнений в правильности рассуждений». Противоречия возникали в прошлом, и каждый раз их удавалось успешно разрешить. То же будет происходить и впредь. «Вот уже двадцать пять веков математики имеют обыкновение исправлять свои ошибки и видеть в этом обогащение, а не обеднение своей науки; это дает им право смотреть в будущее спокойно» ([2], с. 30). Бурбаки выпустил около тридцати томов «Элементов математики», построенных на основе теоретико-множественного подхода.{133}

Итак, к тридцатым годам XX в. сложились четыре различных, так или иначе конфликтующих подхода к математике, и сторонники различных направлений, не будет преувеличением сказать, вели между собой ожесточенную борьбу. Никто не мог более утверждать, что такая-то и такая-то теорема доказана правильно: в 30-е годы непременно следовало пояснить, каким стандартам правильности удовлетворяет данное доказательство. Проблема непротиворечивости математики — основная проблема, стимулировавшая появление и развитие не одного нового подхода, — не ставилась совсем (исключение, быть может, составляют интунционисты, считавшие, что человеческая интуиция служит надежной гарантией непротиворечивости).

Та самая наука, которая в начале XIX в., несмотря на все зигзаги логического развития, была провозглашена совершеннейшей из наук, та самая наука, в которой теоремы доказывались с помощью неопровержимых, безупречных рассуждений, та самая наука, утверждения которой были не только неопровержимыми, но и считались истинами об окружающем нас мире и, по мнению некоторых, остались бы истинами в любом из возможных миров, не только отказалась от всяческих притязаний на истину, но и запятнала себя конфликтами между различными школами в основаниях и взаимоисключающими утверждениями о правильных принципах логики. Гордость человеческого разума была глубоко уязвлена.

Положение, сложившееся в 30-е годы, красочно описал математик Эрик Темпл Белл:

Как известно большинству математиков по собственному опыту, многое из того, что одно поколение математиков считает надежным и удовлетворительным, имеет шанс обратиться в тончайшую паутину под пристальным взором следующего поколения… Знания как в некотором смысле разумного общего соглашения по вопросам обоснования математики, по-видимому, не существует… Ясно одно: одинаково компетентные специалисты разошлись и продолжают расходиться во мнениях по поводу простейших рассуждений, хоть в малейшей степени явно или неявно претендующих на универсальность, общность или неоспоримость.