Рис. 6
Новое число составим так. Двигаясь по диагонали от числа к числу, будем вписывать в новое число 0, если видим любую другую цифру от 1 до 9, а если видим 0, то пишем 1. Полученное число будет выглядеть так же, как и все остальные, но при этом оно будет отличаться от каждого из них по крайней мере в одном знаке. А значит, такого числа не могло быть в списке изначально. Следовательно, континуум С невозможно пересчитать, приписав ему мощность . Отсюда Кантор высказал свою континуум-гипотезу (СН), которую Гильберт поставил на первое место в своих знаменитых проблемах. Ее смысл заключался в том, что между счетностью (дискретностью) и несчетностью (континуальностью) нет промежуточных мощностей, а значит, между ними невозможно установить изоморфизм, невозможно редуцировать континуум С до N.
Обратим внимание на то, что в таком понимании континуума несчетность оказывается синонимом неупорядоченности: если С невозможно упорядочить – значит, его мощность превосходит счетную. Но по сути уже пересчет рациональных чисел создает хаос: их номера в пересчете по n будут, конечно, иметь естественный порядок следования <, но сами рациональные числа окажутся в разбросе. Если при этом мы полагаем, что процесс их создания в континууме должен быть последовательным, то пересчет Кантора никуда не годится. Он лишает континуум порядка уже на уровне рациональных чисел.
Лемма 3. Несчетность = Неупорядоченность
Фактически именно это и доказал Кантор. За изначально постулированный порядок в С несет ответственность аксиома выбора (АС). Она утверждает, что в любом множестве можно выбрать любую точку, не предлагая конструктивной процедуры, кроме одной – ткнуть пальцем. И поэтому последовательным случайным перебором можно исчерпать любое множество. Искусственность этой аксиомы вызвала у многих математиков сомнения в ее правомочности, хотя законов дедукции АС не нарушает. Так или иначе, мы ведь тоже убеждены, что можем своим умом локализовать любую точку в прошлом или будущем. Что нам мешает мысленно заглянуть в Юрский период или в сингулярность Большого взрыва? Или хотя бы в завтрашний день, который мы себе уже заранее расписали по часам и даже минутам?
Лемма 3 основывается на тезисе о том, что дискретность (счетность) всегда тождественна детерминизму (порядку). Этого же требует и физический релятивизм: причинность обеспечивается конечной скоростью передачи сигнала, а реальность внутри светового конуса должна быть дискретной (квантовой). То, что ОТО требует квантованного времени, вытекает из ее внутренней противоречивости, поскольку, основываясь на континуальной геометрии, она позволяет сформулировать внутри себя некую единицу длины – гравитационный радиус для масс покоя. Поэтому естественным продолжением ОТО считается квантовая гравитация (КГ), в которой вводится Планковская длина вместе с Планковским временем (1). Это делает дискретность несомненной. При этом СТО, основываясь лишь на одной фундаментальной величине – скорости света, на первый взгляд противоречия не создает. Тем не менее мы приходим к логическому выводу, что СТО так же требует дискретной геометрии. Достаточно признать, что скорость света является отношением фундаментальных единиц пространства и времени.
Лемма 4. Дискретность = Релятивизм = Причинность
Но возможно ли, чтобы мир был квантовым, а причинность в нем нарушалась? Применительно к математическому континууму это значило бы, что он не превосходит по мощности , но в отличие от натурального ряда почему-то не может считаться строго детерминированным, являясь хаотическим или содержа в себе нечто неуловимое. Результат Кантора следует тогда толковать не количественном смысле, а в качественном. Континуум С больше множества натуральных чисел N не потому, что за бесконечностью находятся новые числа: и т.д. (как это, например, было допущено в так называемой «теории трансфинитов», играющей на актуальной и потенциальной бесконечности и порождающей череду несчетных мощностей). Мы имеем одну-единственную бесконечность. Все зависит от того, как мы не нее «смотрим». Мы видим бесконечность по-разному. Это скорее вопрос для теории сознания, чем для математики.