не существует. И хотя счет вы в принципе можете вести бесконечно, при каждом отдельном шаге вы достигаете конечных чисел. «Конечный» здесь означает, что до него можно досчитать и окончить счет.
Как сказали бы философы, счет – это образец потенциальной бесконечности. Это процесс, который может длиться вечно (или, по крайней мере, так кажется нашему наивному разуму, воспринимающему образы), но никогда этой «вечности» не достигает.
Развитие новых математических идей обычно следует некоторым закономерностям. Если бы математики строили дом, они бы начали со стен первого этажа, подвесив их в воздухе в футе над гидроизоляционным слоем… или тем уровнем, где он должен находиться. В доме не будет ни окон, ни дверей, только проемы соответствующего размера. Ко времени пристройки второго этажа качество кладки заметно улучшится, внутренние поверхности стен будут оштукатурены, двери и окна займут свои места, а пол станет достаточно прочным, чтобы по нему можно было ходить. Третий этаж будет просторным и совершенным, весь устланный коврами, заставленный огромным количеством мебели с интересным, но неподходящим дизайном, и с шестью видами обоев в каждой комнате… Чердак, наоборот, – скромным, но элегантным – минималистичный дизайн, ничего лишнего и все по делу. Тогда – и только тогда – они спустятся на нулевую отметку, чтобы выкопать фундамент, залить его бетоном, сделать гидроизоляцию и продлить стены вниз, пока те не встретятся с основанием.
В итоге получится вполне устойчивый дом. Но в процессе строительства бóльшую часть времени он будет выглядеть как нечто неправдоподобное. Но строители, увлеченные возведением стен к небесам и внутренним оформлением комнат, будут слишком заняты, чтобы это заметить, пока инспектора по строительству не ткнут их носом в недостатки конструкции.
Когда вспыхивает новая математическая идея, никто не может ее как следует понять – и это естественно, раз уж она новая. И никто особо не старается разобраться во всех логических тонкостях и понять ее смысл, пока не убедится, что она того стоит. Поэтому основной упор делается на том, что исследователи развивают эти идеи и смотрят, приведут ли они к чему-нибудь интересному. У математиков понятие «интересного», как правило, сопряжено с ответом на вопрос: «Смогу ли я развить ее дальше?» – но решающее значение имеет другой: «Какие проблемы она поможет решить?». Лишь получив на них удовлетворительные ответы, несколько дерзких и придирчивых душ спускаются в подвал и добавляют подобающий фундамент.
Математики применяли бесконечность задолго до того, как поняли, что это такое или как с ней правильно обращаться. В 500 году до н. э. Архимед, величайший греческий математик и серьезный претендент на место в тройке лучших математиков всех времен, вычислил объем сферы путем ее (мысленного) деления на бесконечное множество бесконечно тонких дисков – наподобие тончайше нарезанной буханки хлеба, – и их уравновешивания для сравнения их общего объема с объемом соответствующей фигуры, объем которой был известен ему заранее. Получив ответ благодаря этому поразительному методу, он посчитал по новой и обнаружил, как ему можно должным образом доказать свою правоту. Но без всей этой возни с бесконечностью он не знал бы даже, с чего начать, а его логичное доказательство не сдвинулось бы и с места.
Во времена Леонарда Эйлера – столь плодовитого деятеля, что его можно было бы назвать Терри Пратчеттом математики XVIII века, – многие из ведущих ученых увлекались «бесконечными рядами» – ставшими потом кошмарами школьников в виде сумм, не имеющих конца. Вот, например:
1 + 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + …
где «…» означает «и так далее». Математики заключили, что если эта бесконечная сумма и складывается во что-нибудь разумное, то это просто число два[46]. Если вы остановитесь в любой определенный момент, то у вас получится чуть-чуть меньше двух. При этом разница между двумя и вашим числом с каждым шагом будет уменьшаться. Сумма как бы подкрадывается к правильному ответу, но не добирает до нее, а вот недостающее число можно уменьшать столько, сколько хотите, добавляя новые слагаемые.
Ничего не напоминает? Это выглядит подозрительно похожим на один из парадоксов Зенона Элейского/Эфебского. Ведь именно таким образом стрела приближается к жертве, а Ахиллес – к черепахе. Именно так можно совершить бесконечно много дел за конечный промежуток времени. Сделайте одно дело, через минуту сделайте второе, третье сделайте через полминуты, четвертое – через четверть минуты… и так далее. Спустя две минуты вы уже переделаете бесконечное множество дел.
Понимание того, что бесконечные суммы могут иметь осмысленное значение, – это только начало. Но оно еще не избавляет нас от всех парадоксов. Более того, в основном это их обостряет. Математики пришли к выводу, что бесконечности могут быть как безвредными, так и наоборот.
После такого блестящего озарения остался лишь один вопрос: как их различить? Ответ таков: если ваше понимание бесконечности не ведет к логическим противоречиям, значит, она безопасна, и если же ведет – то нет. Ваша задача – дать подходящее определение тому, чем вас интересует «бесконечность». Нельзя просто принять, что она имеет смысл по умолчанию.
В течение XVIII и начала XIX столетия математики вывели много понятий «бесконечности» – и все они были потенциальными. В проективной геометрии «бесконечно удаленной точкой» называют ту, что находится на пересечении двух параллельных линий, которые уходят вдаль, как железнодорожные пути, и будто встречаются на горизонте. Но если поезд движется по плоскости, горизонт оказывается бесконечно далеким и вообще не лежит в плоскости – это зрительный обман. То есть бесконечно удаленные точки определяются процессом бесконечного перемещения по железнодорожным путям. Поезд никогда ее не достигает. В алгебраической геометрии окружность определена как «коническое сечение, проходящее через две воображаемые бесконечно удаленные циклические точки» – это можно легко воспроизвести с помощью пары циркулей.
Математики пришли к единому мнению, и вот к чему оно сводилось. Используя термин «бесконечность», вы всегда подразумеваете процесс. Если он приводит к точно определенному результату, как бы запутанно вы бы его ни объяснили, этот результат придает тот смысл, который вы вкладываете в слово «бесконечность» в данном контексте.
Бесконечность – это контекстозависимый процесс. Она потенциальна.
Но дальше так продолжаться не могло.
Давид Гильберт был одним из двух лучших математиков планеты в конце XIX века и одним из великих энтузиастов нового подхода к бесконечности, в котором – в отличие от описанного нами ранее – она рассматривалась не как процесс, а как объект. Этот новый подход был детищем Георга Кантора, немецкого математика, чья работа завела его на территорию, чреватую своими логическими ловушками. Почти целое столетие вся эта область пребывала в полном беспорядке (что, впрочем, отнюдь не являлось редкостью). В конце концов он решил покончить с этим раз и навсегда, вырыв яму для еще не существующего основания, а не начав с возведения стен. Он был не единственным, кто это предпринимал, зато оказался одним из самых радикальных из всех. Ему удалось разобраться в этой области, но только создав при этом новые проблемы в других.
Многие математики ненавидели идеи Кантора, но Гильберту они нравились, и он их рьяно защищал. «Никто, – заявлял он, – не изгонит нас из рая, созданного Кантором». Хотя, сказать по правде, это был не столько рай, сколько парадокс. Гильберт объяснил некоторые свойства парадокса бесконечности по Кантору с помощью вымышленного отеля, получившего известность как отель Гильберта.
В этом отеле бесконечно много номеров. Они пронумерованы: 1, 2, 3, 4 и далее до бесконечности. Здесь мы видим образец актуальной бесконечности: все его номера существуют уже сейчас, и никто не достраивает nn-сиксиллиарднопервый номер. Но когда вы приезжаете в него воскресным утром, все номера оказываются занятыми.
В отеле с конечным числом номеров – будь там хоть nn-сиксиллиардов один номер – вы бы попали в засаду. Никакие переселения постояльцев не позволят освободить лишнюю комнату. (Для простоты условимся на том, что подселения в занятые номера здесь исключены: в каждом номере живет по одному постояльцу, не больше – иначе нарушаются санитарные правила).
Однако в отеле Гильберта всегда найдется место для неожиданного гостя. Конечно, не в комнате номер бесконечность – ведь такого номера не бывает. В комнате номер один.
Но что делать с беднягой, занимавшим первый номер? Его можно переселить во второй. Того, кто во втором, – в третий. И так далее. Постояльца из nn-сиксиллиардного номера в nn-сиксиллиарднопервый. А из nn-сиксиллиарднопервого – в nn-сиксиллиардновторой.
В каждом из случаев постоялец из номера n переселяется в номер n+1.
В отеле с конечным числом номеров – nn-сиксиллиардами одной комнатой – это мероприятие столкнется с препятствием. В нем нет nn-сиксиллиардновторого номера, чтобы поселить туда постояльца из предыдущей комнаты. А в отеле Гильберта они не заканчиваются, и каждого можно переселить в следующую. Как только все это будет проделано, отель снова будет забит до отказа.
Но это еще не все. В понедельник к заполненному отелю Гильберта подъезжает автобус с 50 людьми. Да пожалуйста. Управляющий переселяет всех на 50 номеров вперед: из 1-го в 51-й, из 2-го в 52-й и так далее. И номера с 1-го по 50-й освобождаются для группы из автобуса.
Во вторник прибывает автобус компании «Бесконечные туры» с бесконечным числом туристов, для упрощения пронумерованных A1, A2, A3… Для них-то наверняка мест не будет? Как бы не так! Прежних постояльцев переселяют в четные номера: из 1-го во 2-й, из 2-го в 4-й, из 3-го в 6-й и так далее. Нечетные номера освобождаются, и турист A1 заселяется в 1-й номер, A2 – в 3-й, A3 – в 5-й… Все просто.