Десять великих идей науки. Как устроен наш мир.

натуральных чисел? Возможно, вы думаете, что их тоже бесконечное число. Вы, вероятно, правы. Но то, чего вы, вероятно, не знаете (если вы, конечно, не знали ответ заранее), это то, что иррациональные числа более бесконечны, чем натуральные. То есть иррациональные числа имеют большую мощность, чем натуральные числа: их количество более бесконечно. Красивую аргументацию, впервые выявившую эту странную черту, предложил космополит от рождения Георг Фердинанд Людвиг Филлип Кантор (1845-1918), рожденный от датчанина и русской в Санкт-Петербурге, но проживший большую часть жизни в Германии. Его жизнь была полна разочарований, главным образом потому, что он работал на переднем крае современной ему математики и внес в поле рассмотрения бесконечность. Отчасти в результате стресса, создаваемого неприятием его работы со стороны консервативной части математического истеблишмента, в частности, влиятельного Леопольда Кронекера (1823-91), который был предубежден против всех разновидностей чисел, кроме рациональных, Кантор начал страдать серьезным умственным расстройством, все более обращаясь к религии, ибо он считал, что бесконечные множества объектов, которые он рассматривает, существуют как реализованные сущности разума Бога, и что он, Кантор, есть сосуд, избранный для того, чтобы явить их, некто вроде математического Иоанна Крестителя. Между приступами своей навязчивой идеи о том, что автором Шекспира был Бэкон, Кантор проводил все более длительные периоды в психиатрических клиниках, исследуя пограничные области религии, такие как масонство, теософия и учение розенкрейцеров, в точности так же, как он исследовал пограничные области математики, но с меньшим результатом. Определенно рискуют стать безумными те, кто всматривается в бездну бесконечности, что, возможно, начнете понимать и вы по мере развертывания этой главы.

В 1874 г. Кантор обнаружил простой аргумент, показывающий, что иррациональные числа более многочисленны, чем рациональные. Мы будем использовать этот аргумент и его видоизменения в других контекстах, поэтому стоит на нем задержаться. Начнем выписывать список случайно выбранных чисел, лежащих между 0 и 1, и последовательно их пронумеровывать (в левой колонке):

1	0,198 402 957 820…
2	0,438 291 057 381…
3	0,684 930 175 839…
4	0,782 948 261 859…
5	0,500 000 000 000…
6	0,483 913 562 785…
…

Теперь покажем, что каким бы длинным ни был список, включая бесконечную длину, существуют числа, которых в нем нет. Чтобы проделать это, построим новое число, выбирая первую цифру после десятичной точки в первом числе списка, вторую во втором числе и так далее и записывая в новом числе на соответствующем месте другую цифру, замена жирных цифр, например, даст нам новое число 0,134 903…. Этого числа определенно нет в списке, поскольку оно отличается от первого числа, оно отличается от второго числа и так далее. Отсюда следует, что количество действительных чисел (рациональные вместе с иррациональными) больше, чем количество натуральных чисел, потому что, как бы ни был длинен список, мы всегда можем построить число, которого в нем нет. Мы говорим, что действительные числа несчетны.

Давайте посмотрим на это заключение немного более пристально. Мы только что видели, что действительные числа (натуральные числа плюс рациональные числа и иррациональные числа) являются несчетными. Однако мы видели, что натуральные числа, рациональные числа и алгебраические числа все счетны. Мы можем сделать вывод, что числа, которые делают действительные числа несчетными, все являются трансцендентными (такими, как π и e).

Сделаем паузу, чтобы осознать значение этого необычного вывода. Он означает, что огромное большинство чисел — на самом деле, бесконечно преобладающее большинство — являются трансцендентными. Это весьма удивительно, особенно потому, что трансцендентные числа гораздо менее нам знакомы, чем «обычные» числа, и вы даже могли никогда о них раньше не слышать. Тот факт, что трансцендентные числа в преобладающей степени более многочисленны, чем другие виды чисел, явился основанием для моего замечания в начале главы, что удивительным является то, что мы вообще можем считать: натуральные числа крайне редко распределены среди действительных чисел, и каждое из них окружено бесконечностью трансцендентных чисел. Эдвард Темпл Белл выразил это графически, когда написал

Алгебраические числа [включающие натуральные числа] разбросаны по плоскости как звезды по черному небу; плотная чернота является небом трансцендентности.

Кантор обозначил мощность — полное количество — натуральных чисел буквой древнееврейского алфавита N₀ (алеф-ноль), первым из ряда трансфинитных чисел N₀, N₁, N₂, …  расположенных в порядке возрастания. Мы можем представлять себе N₀ как наименьшую версию бесконечности, N₁ как следующую, большую версию, и так далее. Вопрос, с которым столкнулся Кантор, заключается в том, является ли мощность действительных чисел, которая, как мы видели, больше, чем мощность натуральных чисел, равной N₁, или она равна более высокому трансфинитному числу. Знаменитая континуум-гипотеза состоит в том, что мощность действительных чисел — число точек на прямой — равна N₁ первому после N₀ количественному числу, а не N₅, например, или какому-нибудь другому трансфинитному числу. Как рассказывают, Кантор почти сошел с ума от своих непрерывных, но разочаровывающих попыток доказать континуум-гипотезу. Доживи он до 1963 г., он понял бы причину своего разочарования или, по крайней мере, ему бы ее продемонстрировали, так как в этом году американский логик Пауль Коэн (р. 1934) показал, что эта задача неразрешима: невозможно доказать истинность или ложность континуум-гипотезы, и мощность действительных чисел может быть любой из величин N₁, N₂, …, а возможно, и всеми ими.