Эйнштейн был занят выяснением вопроса о пространстве — времени, которое, как он показал, искривлено. А что насчет кривизны нашей Вселенной, если не рассматривать время как еще одно измерение? Чтобы узнать, какая же геометрия более всего отвечает поведению наших трех пространственных измерений на больших масштабах, надо понять, как линии и формы ведут себя на экстремально больших расстояниях. Ученые надеются узнать это из данных, которые в настоящее время собирает спутник «Планк», запущенный в мае 2009 года и измеряющий реликтовое излучение космоса — так называемый «последний отблеск» Большого взрыва, — и делает это с более высоким разрешением и чувствительностью, чем были доступны когда-либо ранее. Среди рассматриваемых возможностей обсуждается Вселенная или плоская, или сферическая (но достаточно плоская), хотя все еще не исключено, что она может оказаться гиперболической. Есть немалая доля иронии в том, что геометрия, исходно считавшаяся лишенной смысла, оказалась пригодной для описания самого что ни на есть реального положения вещей.
Примерно в то же самое время, когда математики исследовали противоречащие здравому смыслу неевклидовы пространства, великий немецкий ученый Георг Кантор (1845–1918) перевернул вверх ногами наше понимание другого математического понятия — бесконечности. Кантор преподавал в Университете Галле-Виттенберг в Германии, где он и развил новаторскую теорию чисел, в которой бесконечность может иметь более одного размера. Идеи Кантора были столь необычны, что поначалу вызывали лишь насмешки. Многие математики того времени их совершенно не воспринимали. Анри Пуанкаре, например, отзывался о работах Кантора как о «заболевании, позорной болезни, от которой математика когда-нибудь излечится», а Леопольд Кронекер — профессор математики в Берлинском университете, учитель Кантора, — отвергал его как «шарлатана» и «развратителя юношества». Эта словесная война, надо думать, не прошла для Кантора даром и во многом обусловила нервный срыв, случившийся с ним в 1884 году, когда ему было 39 лет. То был первый из многочисленных эпизодов в его жизни, связанных с глубокой депрессией и пребыванием в клиниках. В своей книге о Канторе «Всё и более» Дэвид Фостер Уолис пишет: «В наши дни Психически Больной Математик занимает, по всей видимости, место, в предыдущие эпохи зарезервированное за Странствующим Рыцарем, Святым Мучеником, Терзающимся Художником и Сумасшедшим Ученым, представляя собой некое подобие Прометея, который отправляется в запретные края и возвращается с дарами, которыми готовы воспользоваться все, но за которые платит он один». Литература и кино во многом ответственны за придание связи между математикой и безумием этакого налета романтизма. Подобное клише удовлетворяет сюжетно-тематическим требованиям, предъявляемым к голливудскому сценарию (основной пример — «Игры разума»), но, конечно, представляет собой некорректное обобщение; и тем не менее великим математиком, стоящим за этим архетипом, вполне мог бы быть Кантор. Данный стереотип подходит к нему особенно хорошо, поскольку он вступил в схватку с бесконечностью — концепцией, связывающей математику, философию и религию. Он не только бросал вызов математическим доктринам, но и создавал основы абсолютно новой теории познания, которая для него была еще и способом понять Бога; неудивительно, что в процессе этих свершений он серьезно задел некоторых людей.
Бесконечность — это одна из самых головоломных концепций в математике. Мы уже видели ранее, при обсуждении парадоксов Зенона, что попытка представить себе бесконечное число все уменьшающихся расстояний полна математических и философских ловушек. Греки изо всех сил старались избегать бесконечностей. Евклид выражал идеи математической бесконечности через отрицательные утверждения. Например, его доказательство того, что имеется бесконечное число простых чисел, есть по существу доказательство отсутствия самого большого простого числа. Древние стеснительно избегали обращаться с бесконечностью как с самодостаточной концепцией, и именно поэтому бесконечный ряд, неизменно присутствующий во всех парадоксах Зенона, до такой степени ставил их в тупик.
К XVII столетию математики возжелали освоить операции, включающие бесконечно много шагов. Работы Джона Уоллеса, который в 1655 году ввел символ ∞ для бесконечности, чтобы использовать его в своей работе о бесконечно малых, расчистил дорогу для математического анализа Исаака Ньютона. Открытие полезных соотношений, включающих в себя бесконечное число членов, например, π/4 = 1 - 1/3 + 1/5 - 1/7 + …, показало, что бесконечность не так уж враждебна, и тем не менее ученые все равно относились к ней с осмотрительностью и подозрением. В 1831 году Гаусс проявил житейскую мудрость, заметив, что бесконечность — это «просто способ говорить» о пределе, который никогда не достигается, просто идея, выражающая потенцию продолжать действия бесконечно. Канторова же ересь состояла в рассмотрении бесконечности как вещи в себе.