2. Пенроуз предложил новый способ графической записи математических выражений, использующий тензоры (математические объекты, широко применяемые в теории относительности и других разделах современной физики). Смолин и Ровелли обобщили схемы Пенроуза в спиновые сети и спиновую пену, которые легли в основу бескоординатной формулировки физики.

3. Пенроуз — убеждённый математический платоник, много думающий и говорящий о своем платонизме. В «Пути к реальности» он даже изложил свои взгляды в художественной форме (книга обрамляется двумя рассказами). Я обнаружил их в начале работы над «Анафемом» и очень обрадовался, поняв, что я не совсем сумасшедший, если хочу написать роман о платонизме. Я признателен Пенроузу за короткий, но (для меня) очень информативный разговор на эту тему в Сиэтле в январе 2007 года.

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

5. В «Новом уме короля» Пенроуз очень ясно изложил концепцию фазового пространства.

Все остальные влияния, перечисленные в этом послесловии, связывает между собой фигура Курта Гёделя. Гёдель (как и Пенроуз) был математическим платоником до мозга костей; он отдавал много времени и усилий размышлениям о своём платонизме и старался подвести под него прочное метафизическое основание. Вторую половину жизни — всё время, проведённое в Институте перспективных исследований начиная с 1940 года, — он посвящал этому вопросу значительную часть рабочего времени. Общий план состоял в том, чтобы выстроить строгую метафизику, основанную на монадологии Лейбница. Поскольку Кант выдвинул возражения против монадологии, Гёдель, уважавший Канта (хотя и не соглашавшийся с ним), должен был для начала опровергнуть возражения Канта. В конце сороковых Гёдель решил уравнения Эйнштейна и доказал, что во вращающейся вселенной физически возможно путешествие назад во времени. По-видимому, им двигал не только интерес к физике, но и желание опровергнуть взгляды Канта на пространство и время, почти как если бы решение для вращающейся вселенной было леммой, с которой надо разобраться, прежде чем перейти костальной части проекта. Фримен Дайсон рассказывал, что Гёдель под конец жизни время от времени звонил ему и спрашивал: «Ну как, нашли?» — подразумевая «Нашли ли астрономы доказательства, что вселенная вращается?» Фримен Дайсон был одним из главных участников проекта «Орион». Если вселенная и впрямь вращается, то при наличии достаточно мощного космического корабля решение Гёделя позволяет отправиться в прошлое. В то время такой корабль можно было построить только с помощью технологий, подобных той, на которую опирался проект «Орион». Поразительно, что Курт Гёдель, доказавший, что путешествия в прошлое физически возможны (если, конечно, вселенная и впрямь вращается), работал в одном институте с Фрименом Дайсоном — одним из тех, кто придумал корабль, необходимый для такого путешествия, — и что он иногда спрашивал Дайсона, найдены ли факты, подтверждающие вращение вселенной. Это стечение обстоятельств — одна из затравок, вокруг которых вырос «Анафем».

Гёделевы представления о математическом платонизме сводятся к следующей модели:

1. Сущности, которыми занимается математика, существуют независимо от человеческого восприятия, определений и построений.

2.