да, ординал Чёрча – Клини (впервые описанный американским математиком Алонзо Чёрчем и его студентом Стивеном Клини). Чтобы толком рассказать про любой из них, потребуется отдельная книга – настолько сложные и запутанные расчеты лежат в их основе. Ординал Чёрча – Клини, например, столь непостижимо велик, что для него просто не существует способа обозначения.
Перечисленные ординалы редко встречаются даже в практике профессиональных математиков, не говоря уже о неспециалистах. Объединяет их то, что все они счетные. Другими словами, все бесконечные ординалы, о которых мы говорили до сих пор, начиная с ω, можно поставить в соответствие натуральным числам, один к одному, что логично, поскольку все эти последовательности – лишь результат перегруппировки тех же натуральных чисел. Иначе говоря, все эти множества имеют одинаковую мощность, или размер, – алеф-ноль. Какие из порядковых чисел ни возьми, хоть эпсилон-ноль, хоть даже непомерно большой ординал Чёрча – Клини, они ни на миллиметр не приблизят нас к “большей” бесконечности: ведь это просто разные способы упорядочивания натуральных чисел. Бо́льшая бесконечность – это та, что лежит за пределами алеф-нуля. Но как такое возможно?
Алеф-ноль ведет себя не так, как привычные нам числа. Если 1 + 1 дает в результате 2, то алеф-ноль + 1 – все равно алеф-ноль. Алеф-ноль плюс любое конечное число или минус любое конечное число остается алеф-нулем. Известная детская песенка при этом приобретает новый, более оптимистичный характер: “Алеф-ноль поросят резвились на просторе, / Алеф-ноль поросят пошли купаться в море. / Один из них утоп, ему сложили гроб, / И вот вам результат: / Эх, алеф-ноль поросят” (повторять бесконечно). Алеф-ноль невозможно изменить вычитанием, сложением или умножением на какое бы то ни было конечное число и даже на само себя. Но Кантору удалось доказать с помощью теоремы, носящей сегодня его имя, что все бесконечности выстраиваются в иерархию и алеф-ноль – самая маленькая из них. Следующее бесконечное кардинальное число, алеф-один, гораздо больше и равно размеру множества всех счетных ординалов, а именно тех, которым соответствует кардинальное число алеф-ноль. Наглядно продемонстрировать ординалы, соответствующие мощности алеф-один, в виде последовательности непросто. В качестве примера можно привести множество {0, 1, 2, …, ω, ω + 1, …, ω × 2, …, ω2, …, ωω, …, ε0, …}, включающее все счетные ординалы (то есть все различные возможные “длины”, которые можно получить путем перестановки натуральных чисел). Ординал такого множества, его порядковое число – омега-один (наименьший ординал, соответствующий алефу-один).
Напомним, что значит “счетный”: это попросту последовательность или множество, элементы которых можно посчитать, пронумеровать. Иными словами, “счетным” мы вправе назвать то, из чего можно составить последовательность, пусть и не обязательно упорядоченную привычным образом. Иногда для этого требуется некоторая перестановка, как в случае с отелем Гильберта. Поскольку все натуральные числа счетные, алеф-ноль, то есть мощность множества натуральных чисел, называют счетно-бесконечным кардинальным числом. Ему соответствует наименьший бесконечный счетный ординал ω, а также бесконечно много других счетно-бесконечных ординалов. Существование этого бесконечного количества счетных ординалов обусловлено тем, что в случае порядковых чисел существенную роль, как подсказывает их название, играет порядок элементов, а потому между ординалами требуется проводить более тонкое различие, чем между кардинальными числами. Несмотря на это, все счетные ординалы, начиная с ω и дальше, включая числа эпсилон и остальные, соответствуют одному и тому же кардинальному числу – алеф-нулю. Но вот с переходом к алефу-один все разительно меняется. Алеф-один не только неописуемо больше, чем алеф-ноль, он еще и несчетный. Ему соответствует наименьший несчетный ординал: омега-один (ω1).
Мы уже говорили, что алеф-один – это размер множества счетных ординалов, но можно ли его описать как-то по-другому? С алефом-ноль все понятно: это мощность множества натуральных чисел. А нельзя ли и алефу-один поставить в соответствие что-нибудь знакомое, доступное для понимания? Кантор считал, что можно. Он утверждал, что алеф-один идентичен общему количеству точек на математической прямой, которое, как он установил, в свою очередь, равно количеству точек на плоскости (как бы невероятно это ни звучало) или в пространстве любой другой размерности. Эта бесконечность пространственных точек, называемая континуумом и обозначаемая буквой c, является также множеством всех действительных чисел (включающим в себя все рациональные числа плюс все иррациональные). Действительные числа, в отличие от натуральных, сосчитать невозможно. Предположим, вас спросили бы, какое число следует в ряду действительных чисел за 357. Как бы вы ни тасовали действительные числа, какими бы способами ни пытались их пронумеровать, все равно останутся те, что вы никогда не сумеете сосчитать, даже если заниматься этим вечно.
Кантор выдвинул предположение, получившее известность как “континуум-гипотеза”. Согласно ей, c равно алефу-один, или, другими словами, не существует бесконечного множества с мощностью, занимающей промежуточное положение между мощностями множества натуральных чисел и множества действительных чисел. Однако, несмотря на все старания, Кантору так и не удалось ни доказать, ни опровергнуть свою гипотезу. Сегодня мы уже знаем почему – и ответ на этот вопрос расшатывает самые основы математической науки.
В 1930-х годах ученый-логик австрийского происхождения Курт Гёдель доказал, что континуум-гипотезу невозможно опровергнуть исходя из стандартных аксиом теории множеств. Для этого он построил систему, состоящую из однозначно определенных множеств, – “конструктивный универсум” – и доказал, что все аксиомы внутри нее выполняются, а континуум-гипотеза истинна (хотя из этого и не следует, что конструктивный универсум – единственная такая система). Три десятилетия спустя американский математик Пол Коэн доказал, что и подтвердить истинность континуум-гипотезы в той же системе аксиом тоже невозможно. Иными словами, в рамках привычной для математиков системы эта гипотеза имела неопределенный статус. Возможность возникновения подобной ситуации была предсказана еще в знаменитой теореме Гёделя о неполноте, о которой мы говорили в пятой главе. Она гласит, что в любой достаточно сложной системе аксиом, если она полна, существуют утверждения, которые невозможно ни доказать, ни опровергнуть (мы еще поговорим об этом подробнее, когда вернемся к теореме о неполноте в последней главе). И тем не менее факт независимости континуум-гипотезы заставил математиков понервничать, поскольку то был первый конкретный пример, когда важный для науки вопрос невозможно было разрешить, пользуясь общепринятой системой аксиом, на которой построена вся математика.
Споры о том, верна ли континуум-гипотеза и даже есть ли в ней вообще смысл, не утихают среди математиков и философов до сих пор. Что же касается характера различных видов бесконечности, да и самого существования бесконечных множеств, здесь все зависит от того, какой теорией чисел пользоваться. Разные аксиомы и правила дают разные ответы на вопрос “Что же лежит за пределами всех целых чисел?”. Из-за этого довольно трудно, а то и просто бессмысленно сравнивать различные виды бесконечности и пытаться определить их относительный размер, хотя в пределах конкретной системы чисел бесконечности обычно можно без труда расположить в четком порядке.
За пределами алеф-нуля существует внушительная иерархия кардинальных чисел. Если предположить, что континуум-гипотеза верна (а с этим предположением по умолчанию согласны большинство математиков, поскольку из него можно вывести полезные следствия), то следующим по величине бесконечным кардинальным числом будет алеф-один, равный мощности множества всех действительных чисел, или, иначе говоря, общему количеству возможных способов, какими можно упорядочить элементы множества мощностью алеф-ноль. За ним следует алеф-два (равный числу способов упорядочить элементы множества мощностью алеф-один), затем алеф-три, алеф-четыре и так далее, без конца. Каждому алефу соответствует бесконечное число ординалов, наименьший из которых для алеф-нуля – ω, для алефа-один – ω1, для алефа-два – ω2 и так дальше. Хотя число алефов бесконечно и каждый следующий бесконечно больше предыдущего, это не мешает математикам задумываться о кардинальных числах, величина которых превосходит величину любого мыслимого алефа. Для этого они вынуждены выходить за пределы привычных теоретических основ своей дисциплины и прибегать к так называемым аксиомам форсинга. Метод форсинга (или вынуждения) был впервые применен уже упоминавшимся выше Полом Коэном. Его использование привело к возникновению понятия “больших кардинальных чисел”. Несмотря на скромное название, в реальности они чудовищно велики. Некоторые из них даже имеют собственные имена, такие как кардиналы Мало или сверхкомпактные кардиналы.
И наконец (по крайней мере, на сегодня), существует понятие “абсолютной бесконечности”, иногда обозначаемой прописной буквой омега (Ω), – бесконечности, которая превосходит все остальные. О ней говорил и сам Кантор, но больше в религиозном контексте. Он был убежденным лютеранином, чьи христианские принципы подчас находили отражение в научных трудах. Для него Омега (если она существовала) могла воплощаться только в божественном разуме, в который он верил. При таком подходе Омега – чистая метафизическая абстракция. С математической точки зрения абсолютная бесконечность не может иметь строгого определения, а потому математики (если только их не потянуло на философию) обычно ее игнорируют. Есть соблазн охарактеризовать ее как количество элементов в универсуме всех множеств – так называемом универсуме фон Неймана. Но этот универсум на самом деле не множество (скорее класс множеств), поэтому с его помощью невозможно дать определение конкретному виду бесконечности, будь то кардинальное число или ординал. Споры вызывают также попытки рассматривать Омегу как наиболее осмысленный результат деления единицы на ноль. Математика эту процедуру не признает, хотя в некоторых видах геометрии, например в проективной геометрии, такое возможно – отсюда возникают понятия “бесконечно удаленной точки” и “бесконечно удаленной прямой”. Поиск Омеги продолжат будущие поколения математиков, логиков и философов. Ну а нам пока тоже есть чем заняться: бесконечностей у нас более чем достаточно, одна бесконечно больше другой.