Нил Стивенсон - Анафем

В периоде 1953 по 1959 год Гёдель усиленно работал над статьёй, в которой он «пытается доказать, что математика — не синтаксис языка, и ратует за некую форму платонизма», и что в 1959 году он приступил к изучению работ Э. Гуссерля (1859–1938), которым продолжал заниматься до конца жизни. Значение Гуссерля для метафизической программы Гёделя Хао Ван суммирует так: «Чтобы выполнить свою программу [найти точную теорию метафизики, построенную на Лейбницевой монадологии. — Н.С.], Гёдель должен был принять в расчёт Кантову критику Лейбница. В методе Гуссерля он видел путь к преодолению возражений Канта».

Гуссерль славится своей неудобочитаемостью (мне, во всяком случае, в жизни не доводилось читать ничего труднее), но через его тексты немного легче продраться, если считать процесс своего рода детективным расследованием, попыткой выяснить, что именно на этих страницах Гёдель счёл полезным для решения своих метафизических задач. Область поисков, по счастью, немного сужается словами Гёделя о том, что в трудах Гуссерля особенно важны «Идеи к чистой феноменологии и феноменологической философии» и «Картезианские размышления».

Даже в этой суженной области искать существенное в нашем контексте — занятие почти безнадёжное. Примечательно, впрочем, что в пятом и последнем из картезианских размышлений Гуссерль заводит речь о монадах и вспоминает Лейбница. Как именно он к этому пришёл и что хочет сказать, не понять, если не погрузиться в Гуссерля с головой. Однако бритва Оккама подсказывает, что именно здесь таится ключ к упомянутой детективной загадке.

Гуссерль закончил «Картезианские размышления» примерно в 1933 году, а Гёдель опубликовал последнюю работу в 1974-м, за четыре года до смерти. Естественно, возникает вопрос: что происходило в этой области на протяжении следующих тридцати лет? Поскольку я писал роман, а не проводил серьёзное философское исследование, не стану утверждать, будто досконально проштудировал всю доступную литературу. Однако труды Эдварда Н. Залты из Стэнфордского университета и его соавторов представляют собой серьёзное метафизическое исследование, затрагивающее многие из упомянутых тем. Залта и его коллеги — практикующие философы и могут развивать и совершенствовать идеи, о которых я лишь читаю как об исторических памятниках. Статьи, автором и соавтором которых выступает Залта, посвящены в основном Платону, Лейбницевой теории концепций, феноменологии Гуссерля и математическому платонизму Гёделя, так что когда Стивен Хорст указал мне на Залту, я, признаюсь, испытал безграничный восторг землепроходца, перед которым открылись новые горизонты. Это довольно большой корпус статей, и я не стану их пересказывать, а привлеку внимание читателя к двум важным вопросам.

Вычислительная метафизика. Залта твёрдо верит в формализацию философии, то есть в то, что философские утверждения можно перевести в символы формальной логики. Когда это сделано, можно сравнивать идеи разных философов, как физик сравнивает две разные теории, записывая их в виде уравнений и проверяя, противоречат ли они друг другу или сводятся к одному тому же. Залта использует для решения таких задач компьютерную программу — «систему автоматических рассуждений» PROVER9. Это очень напоминает Лейбницев замысел универсальной символической логики. Кстати, вычислительная метафизика подсказала идею музыки, упоминаемой в «Анафеме». В частности, живущие на деревьях, одетые в набедренники фраа, которые появляются на актале инбраса в Тредегаре, выполняют — хоть и очень медленно — вычисления в духе PROVER9. Они пытаются решить важную метафизическую проблему, что требует очень долгого времени, поскольку у них нет компьютеров.

Дэвид Льюис и множественность миров. Залта много занимался формами утверждений, что заставило его обратиться к трудам покойного философа Дэвида Льюиса. Льюис написал книгу «О множественности миров» — название покажется знакомым читателям «Анафема», поскольку так же звался мессал, в котором участвовал фраа Эразмас. В ней Льюис закладывает основы модального реализма, метафизики, которая (если очень грубо её обобщить) утверждает, что все возможные миры существуют и не менее реальны, чем наш. Значение модального реализма для «Анафема» очевидно. Дэвид Дойч упоминает труды Льюиса в своих работах о многомировой интерпретации квантовой механики.

Стоит упомянуть, что на работы Дойча и Залты я наткнулся, занимаясь совершенно разными линиями исследования. К первому меня привёл интерес к физике, ко второму — интерес к преемству Платон-Лейбниц-Гуссерль-Гёдель. Когда обнаружилось, что оба они пишут об одном философе, Дэвиде Льюисе, у меня возникло чувство (быть может, ложное), что круг волшебным образом замкнулся.