Лейбниц был ошеломлен: перед ним математическая аналогия тайны творения! Похоже, это уравнение доказывает, что Нечто в самом деле можно создать из Ничто!
Увы, он обманулся. Вскоре математики осознали, что подобные ряды имеют смысл, только если они сходятся, т. е. в конце концов бесконечная сумма имеет предел, определенное число. Знакочередующийся ряд Лейбница предела не имеет, так как его частичные суммы все время прыгают от 0 к 1 и обратно. Таким образом, «доказательство» Лейбница неверно; и как математик он наверняка подозревал это, хотя как метафизик поначалу возликовал.
А не удастся ли нам спасти хоть что-нибудь из обломков этой гипотезы? Давайте рассмотрим простое равенство:
0 = 1–1.
Что оно может обозначать? Разумеется, оно обозначает, что при сложении 1 и -1 получается 0. И вот это уже интересно! Представьте себе обратный процесс: не сложение 1 и -1, чтобы получить 0, а разделение 0 на 1 и -1. Если сначала у нас не было ничего, то теперь вдруг появились два нечто! Очевидно, противоположных друг другу – как положительная и отрицательная энергия, материя и антиматерия, инь и ян39.
Еще более интересная идея, за которую ухватился оксфордский химик (и страстный атеист) Питер Эткинс, состоит в том, что —1 есть то же самое, что 1, только движущаяся из будущего в прошлое. По словам Эткинса, «противоположности различаются направлением движения во времени». При отсутствии времени -1 и 1 взаимоуничтожаются, объединяясь в ноль. Время позволяет двум противоположностям отделиться друг от друга, что таким образом и отмечает появление времени. Эткинс предполагает, что именно так спонтанно зародилась Вселенная. (Джон Апдайк был настолько поражен этой идеей, что использовал ее в романе «Россказни Роджера» в качестве альтернативы теистическому объяснению бытия.)
И все это из 0=1–1! В этом уравнении гораздо больше онтологического смысла, чем кажется.
Математика может перекинуть мостик от Ничто к Нечто не только с помощью простой арифметики, но и через теорию множеств. На довольно раннем этапе обучения, часто еще в средней школе, дети знакомятся с интересным понятием под названием «пустое множество». Пустое множество не содержит ни одного элемента: например, множество президентов США женского пола, предшествовавших Бараку Обаме. Пустое множество принято обозначать {}, т. е. пустыми фигурными скобками, или символом 0. Иногда дети встречают понятие пустого множества в штыки: как может быть множеством то, что ничего не содержит? И не только дети реагируют подобным образом: один из величайших математиков XIX века Рихард Дедекинд отказался признавать пустое множество чем-либо, кроме удобной выдумки. Эрнст Цермело, создатель теории множеств, называл пустое множество «неприличным».
Позднее великий американский философ Дэвид Льюис насмехался над пустым множеством, называя его «песчинка в абсолютной пустоте, вроде черной дыры в самой ткани реальности… особая индивидуальность, попахивающая ничем»40.
Существует ли пустое множество? Может ли существовать нечто, что заключается в – и чьей единственной определяющей чертой является – Ничто? Ни сторонники, ни противники не сумели привести весомых аргументов за или против пустого множества. В математике оно просто принимается как данность: его существование может быть доказано на основе аксиом теории множеств, если предположить, что во Вселенной существует хотя бы еще одно множество, помимо пустого.
Давайте проявим метафизическое свободомыслие и скажем, что пустое множество в самом деле существует. Даже если нет ничего, то должно быть пустое множество, его содержащее. В результате такого допущения разворачивается целая онтологическая оргия: если существует пустое множество Ø, то существует и множество {Ø}, содержащее его; тогда существует и множество, содержащее как Ø, так и {Ø}: {Ø, {Ø}}; а также множество, содержащее это новое множество плюс Ø и {Ø}: {Ø, {Ø}, {Ø, {Ø}}}, и так далее.
Из абсолютной пустоты вдруг возникает невероятное количество сущностей! Эти сущности не состоят из чего-то, а представляют собой чисто абстрактные структуры и могут имитировать структуру чисел: в предыдущем параграфе мы «создали» цифры 1, 2 и 3 из пустого множества. А числа, благодаря своим широким взаимосвязям, могут имитировать всю Вселенную. По крайней мере, они способны на это, если Вселенная состоит из математически структурированной информации, как полагают некоторые мыслители, например Джон Арчибальд Уилер. Взгляды Уилера отражает лозунг «всё из бита» («it from bit»). Вся феерия реальности может быть создана из пустого множества – из Ничто.
