Целью Кантора было понять смысл пространства и определить его составляющие. Как таковые его рассуждения касались тех же проблем, какие пытался решать за 150 лет до него Лейбниц, когда изобрел монаду как основной строительный блок физического пространства, духовной и метафизической реальности. Кантора тоже отличал, помимо чисто математического, духовный подход к проблеме. Ученый был глубоко верующим лютеранином с еврейскими корнями, его предки были родом из Дании и Санкт-Петербурга. Кантор был убежден, что Бог «указал» ему: «гипотеза континуума верна», а это означает, что после бесконечного множества целых чисел (и правильных дробей) сразу идет бесконечность действительных чисел.
На самом деле мы не в состоянии наглядно представить себе пространство и составляющее его бесконечное множество точек. Этот факт имеет отношение к физике и космологии, так как заставляет предположить, что реальное пространство, в котором мы живем, отнюдь не является «ничем», а обладает загадочной глубинной структурой. Поскольку, как мы увидим, нам никогда не удастся (пользуясь нашим математическим аппаратом) доказать справедливость гипотезы континуума, постольку у человечества нет надежды когда-либо полностью понять природу пространства. Физики же пока не вполне осознали, до какой степени проблемы чистой математики, не поддающиеся решению, могут влиять на наши знания о пространстве, времени, Вселенной и ее происхождении.
Для того чтобы приблизиться к лучшему пониманию Вселенной, нам следовало бы узнать, точно ли математическое пространство отображает реальное физическое пространство-время, или существуют другие возможности его описания. Вполне допустимо, например, что квантовые эффекты делают пространство и время «зернистыми» (то есть состоящими из мельчайших, подобных песчинкам элементов), а не континуальными. Как бы то ни было, исследование пространства и его точек выводит нас в царство бесконечности, суть которой мы не в состоянии постичь полностью.
Рассуждая с философской точки зрения, можно сказать, что бесконечность принадлежит Богу, ибо людям не дано ни понять, ни воспринять ее каким-либо осмысленным способом, несмотря на прогресс в математике, достигнутый Кантором и его последователями. Для таких религиозных мыслителей, как Кантор, Бог и
Находясь в ссылке в Арчетри, Галилей посвятил много времени размышлениям о бесконечности и постиг глубокую истину: множество всех положительных целых чисел имеет тот же порядок, что и множество квадратов всех целых чисел. Галилей показал это, ставя в соответствие 1 и 1, 2 и 4, 3 и 9 и т. д. То, что бесконечное множество можно поставить во взаимно однозначное соответствие с подходящим его же подмножеством, иллюстрирует свойство,
Простой, но удивительный пример, показывающий необычные свойства бесконечных множеств – это мысленный эксперимент, названный бесконечной гостиницей или гостиницей Гильберта (по имени великого немецкого математика Давида Гильберта, который его описал). Предположим, что после долгого и утомительного перелета вы прибыли в один странный город и, к своему огорчению, обнаружили, что в гостиницах города нет ни одного свободного места. Наконец вы узнаете, что в городе есть гостиница, которая называется «Бесконечной гостиницей», поэтому вы можете пойти туда и попытать счастья. Вы спрашиваете у портье, есть ли в гостинице свободные номера, но он в ответ лишь с сожалением качает головой. «Извините, – говорит он, – у нас действительно бесконечное число номеров, но все они заняты». Вы взвешиваете ответ: удивительно, в гостинице бесконечное число номеров, но они все до одного заняты. Вдруг вам в голову приходит замечательная идея. «Послушайте, – говорите вы, – мне, действительно необходим номер. Вы не можете оказать мне одну любезность?» «Я постараюсь, – отвечает портье». «Отлично, – говорите вы. – Тогда переселите постояльца из первого номера во второй, из второго в третий, из третьего в четвертый и так далее до бесконечности. Сделав это, вы освободите для меня первый номер».
Эта история демонстрирует невероятное свойство бесконечных множеств: вы ставите во взаимно однозначное соответствие все номера, начиная со второго, со всеми номерами, начиная с первого, показав, что в обоих множествах одинаковое количество чисел (это бесконечность низшего порядка – множество целых и рациональных чисел).
Кантор обозначил свои порядки бесконечности, мощности бесконечных множеств, буквой