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

В 1963 г. профессор математики Станфордского университета Пол Коэн (р. 1934) доказал, что и аксиома выбора, и гипотеза континуума независимы от остальных аксиом Цермело — Френкеля, если те непротиворечивы, т.е. иначе говоря, аксиома выбора и гипотеза континуума не могут быть доказаны на основе остальных аксиом Цермело — Френкеля. Более того, гипотеза континуума и тем более обобщенная гипотеза континуума не могут быть доказаны в системе Цермело — Френкеля, даже если ее дополнить аксиомой выбора. (Аксиома выбора следует из системы аксиом Цермело — Френкеля, не содержащей аксиомы выбора, но дополненной обобщенной гипотезой континуума.) Эти два результата по независимости означают, что в системе Цермело — Френкеля аксиома выбора и гипотеза континуума неразрешимы. В частности, для гипотезы континуума результат Коэна означает, что может существовать трансфинитное число, заключенное между N₀ и 2^N0 (или

c), хотя такое трансфинитное число не соответствует ни одному известному множеству.

В принципе метод Коэна, получивший название метода форсинга, не отличался от других доказательств независимости.{143} Напомним, что для доказательства независимости аксиомы Евклида о параллельных на основе остальных аксиом евклидовой геометрии требуется найти интерпретацию, или модель, которая удовлетворяла бы всем остальным аксиомам, кроме аксиомы о параллельных.{144}

Такая модель должна быть непротиворечивой, так как в противном случае она может также удовлетворять аксиоме, независимость которой нас интересует. В своем доказательстве Коэн усовершенствовал более ранние работы Френкеля, Гёделя и других авторов, использовав без каких-либо вспомогательных условий только аксиомы Цермело — Френкеля. Доказательства независимости аксиомы выбора, хотя и менее удовлетворительные, были известны до Коэна, но вопрос о независимости гипотезы континуума до появления его работы оставался открытым.

Приступая к построению математики на основе теории множеств (или даже на логистической или формалистской основе), можно выбрать ту или иную из возможных исходных позиций. Можно запретить себе использовать аксиому выбора и гипотезу континуума. Приняв такое решение, мы ограничим круг теорем, доказываемых в рамках системы. «Основания математики» не включают аксиому выбора в число основных логических принципов, но при доказательстве теорем используют ее, формулируя в явном виде. В современной математике это главное. Можно поступить иначе и включить в число аксиом системы либо аксиому выбора, либо гипотезу континуума, либо оба утверждения вместе. Можно заменить отрицаниями либо одно утверждение, либо другое, либо оба. Отрицая аксиому выбора, можно отказаться от процедуры явного выбора представителей даже для счетной совокупности множеств. Отрицая гипотезу континуума, можно предположить, что 2^N0 = N₂ или что 2

^N0 = N₃. Именно так, по существу, и поступил Коэн при построении своей модели.

Сказанное означает, что существует не одна, а много математик. Теория множеств (рассматриваемая отдельно от остальных оснований математики) может развиваться во многих направлениях (ср. [17]*). Кроме того, аксиому выбора можно использовать либо лишь для конечного числа множеств, либо для конечной, или счетной, совокупности множеств, либо для любой совокупности множеств. Все эти возможные варианты были реализованы разными математиками.

С появлением коэновских доказательств независимости математика оказалась в еще более затруднительном положении, чем это было при создании неевклидовой геометрии. Как мы уже говорили (гл. VIII), осознав независимость аксиомы Евклида о параллельных от остальных аксиом евклидовой геометрии, математики сумели построить несколько неевклидовых геометрий. Результаты Коэна поставили математиков перед проблемой выбора: какому из многочисленных вариантов двух аксиом (аксиомы выбора и гипотезы континуума) следует отдать предпочтение перед другими? Даже если ограничиться теоретико-множественным подходом к математике, число возможных вариантов оказывается ошеломляюще большим.

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