Грег Иган - Диаспора

Ятима усмехнулся торжественно, и рассказал цепочку рассуждений. Радия спокойно сказал: "Хорошо. Вы только что открыли теорему Гаусса, связывающую число Эйлера и общую кривизну".

"Неужели?" Ятима почувствовал прилив гордости; Эйлер и Гаусс были легендами давно умерших флешеров, но их уровня редко кто достигал.

"Не совсем." Радия легко улыбнулся. "Вы должны посмотреть точную формулировку, хотя, я думаю, вы готовы для официального включения в римановы пространства. Но если все это начинает казаться слишком абстрактными, не бойтесь отступить и посмотреть некоторые дополнительные примеры".

"Хорошо". Ятиме не нужно было объяснять, что урок окончен. Он поднял руку в знак благодарности, а затем исчез из пространства..

На мгновение Ятима был в тишине, наедине со своими мыслями. Он знал, что он до сих пор не понимает понятия полной кривизны, но были десятки других способов об этом думать, но по крайней мере он постиг еще один фрагмент картины мира.

Тогда он прыгнул к Источникам Истины.

Он прибыл в похожее на пещеру пространство со стенами из темного камня, с включениями из серых вулканических минералов, грязновато-коричневых глин, пронизанных ржавыми красными полосами. В пол пещеры был внедрен странный, светящийся объект: дюжина плавающих искр света, вложенных в сложный набор эфемерных мембран. Мембраны формировались вложенными, концентрическими сериями, слоями Далиэскью — каждая серия, образовывала в высшей точке пузырь вокруг единственной искры, или случайной группы двух или трех искр. Так как искры дрейфовали, мембраны как бы текли, размещаясь таким образом, чтобы никакая искра не избегала вложения в свой пузырь.

В определенном смысле, Источники Истин были просто еще одним индексным пространством. Сотни тысяч видов специализированных выборов содержимого библиотеки были доступны здесь в аналоговом виде — и Ятима поднимался на Эволюционное Дерево, колесил по Периодический Таблице, шел по подобным проспектам Линиям Жизни для историй флешеров, глейснеров, и граждан полисов. Половиной мегатау ранее, он плавал по Эукариотической Клетке; каждый белок, каждый нуклеотид, углевод дрейфующий через цитоплазму имел широковещательные метки со ссылками на всю библиотеку, чтобы ответить на любой вопрос о молекуле.

В Источниках Истины, все-же, метки были не просто ссылками; они включили полные утверждения конкретных определений, аксиом, или теорем объективно представленные. Источники были замкнутыми: каждый математический результат, который флешеры и их потомки когда-либо доказали, находился в одном месте. Библиотечные комментарии были весьма полезными — но и сами истиной были полностью здесь.

Светящийся объект погруженный в пол пещеры представлял из себя толкование топологического пространства: набор точек(искр), сгруппированный в "открытые подмножества" (содержимое одной или более мембран), которые определяли как точки были подключены друг к другу — без необходимости обращаться к понятиям подобным "расстояние" или "измерение." Не достигнув чернового набора, не имея структуры вообще, это пространство было почти таким базовым какое только было возможно получить: общий предок виртуальности, каждой сущности достойный именоваться "пространством," оно было, тем не менее, экзотическим. Единственный туннель вел в пещеру, обеспечивая связь с необходимыми предшествующими концепциями, и полдюжина туннелей выходили, с небольшим уклоном "вниз" в материковую породу, преследуя различные последствия концепций. Предположим, что T — топологическое пространство… что из этого следует? Эти туннели были замощены небольшими драгоценными камнями, каждый из них транслировал промежуточный результат по пути доказательства теоремы. Каждый туннель в Источниках был построен из шагов неопровержимого доказательства; каждая теорема, тем не менее глубоко похороненная, могла быть прослежена до каждого своего исходного предположения. И для того, чтобы определить точно что означало "доказательство," каждая область математики использовала собственный набор формальных систем: комплекты аксиом, определений, и правила вычисления, вместе со специализированным словарем, нужным для того чтобы корректно обосновывать теоремы и предположения.

Когда он впервые встретил Радию в Источниках, Ятима спросил его, почему какие-нибудь не разумные программы не могут просто взять формальную систему, используемую потребителями Источников и быстро доказать все свои теоремы, обходясь без граждан в своих усилиях.

Радия ответил, "Две — легко. Три — легко. Пять — легко. Семь — легко. Одиннадцать — легко. Тринадцать — легко. Семнадцать — …"

"Стоп!"

"Если бы не было скучно, я мог бы продолжать так до Большого Сжатия и ничего не обнаружить."

"Но мы могли бы запустить несколько миллиардов программ одновременно, для поиска в различных направлениях. Это не имеет значения, если некоторые из них так и не нашли бы ничего интересного."

"Какое из различных направлениях вы бы выбрали?"

"Я не знаю." Все? "

Несколько миллиард слепых агентов не позволят вы это сделать. Предположим, у вас только одна аксиома, взятая как данность, и 10 правильных шагов, которые можно использовать для создания нового утверждения. После первого шага, у вас появится десять истин для изучения." Радия продемонстрировал ветвь дерева решений, построив его в миниатюре перед Ятимой. "После десяти шагов, у вас будет десять миллиардов, десять в десятой степени." Веер туннелей в игрушечной сокровищнице был плохо освещен — но Радия заполнил его десятью миллиардами светящихся искр, заставив каменную облицовку светится сильнее. "После двадцати шагов, у вас будет десять в двадцатой. Десять миллиардов слишком много для изучения. Как сделать правильный выбор? Или вы поделите время — распределив искры между всеми этими путями — замедляясь вплоть до полной бесполезности?" Искры распространялись вширь, свет от них убывал пропорционально — и свечение становилось малоэффективным. "Экспоненциальный рост является проклятием во всех своих формах. Вы знаете, что это почти истребило флешеров? Если бы мы были достаточно сумасшедшими, мы могли бы попробовать превратить всю планету — или даже галактику целиком — в некоторый вид машины способной сделать необходимое вычислительное усилие… но даже тогда, я сомневаюсь что мы бы достигли решения Последней Теоремы Ферма за все время оставшееся до конца вселенной."

Ятима не отступал. "Вы могли бы сделать программы более высокого уровня. Более узкой специализации. Пусть обобщают примеры, формируют гипотезы… имеют цель для доказательства.