Страница 24 из 42
Так что два нынешних советника уже образуют некоторый базис, а не дублируют друг друга. Но пронзила ещё одна мысль: «А ведь чтобы представить Системе теорию, надо было иметь не мой примитивный текстовый терминал, а полнотекстовый и, возможно, с чем-то типа языка доказательных спецификаций Agda. Последним физик наверняка не воспользовался. А первым практически точно! И я решился на опасный шаг. Войдя в системный терминал, написал:
Требование. Терминал с полной математической издательской системой TeX и с языком доказательного программирования Agda или другим.
Обоснование. Готовить Системе обоснования советов в виде прикладных математических теорий, если это адекватно. Предлагать теоретический базис моделей для реализации советов.
Ответ последовал почти немедленно.
Требование признано обоснованным. Ресурсы, снимаемые за затребованные дополнительные возможности:
30 очков советов;
0,30 очков жизни;
100 игровых очков.
Ты согласен?
Да
Результатами предоставленного модуля можно пользоваться для записи, оформления и проверки своих идей и для оформления советов Системе, а также для ответов на запросы Системы. Нецелевое использование терминала штрафуется немедленным его изъятием без предупреждения.
Итак, обмениваться своими работами с другими фанатиками науки я не смогу, даже когда установлю с ними контакт. Печально! Но это проблема, которую надо будет решать позже. И ещё. Чувствую, что способ, которым Система удовлетворила моё требование, как-то связан с глобальной проблемой устройства будущего общества. Но это подождёт.
А сам по себе модуль оказался выше моих требований. Тут была не только издательская система и несколько языков доказательного программирования вместе с доступом ко всем имевшимся в хранилище Системы программам и пакетам на этих языках, но и доступ к базе публикаций по математике, логике и информатике, сохранившимся в Системе.