Интересно, какие такие неопровержимые факты в ячейках памяти «Генукса-Б» позволяют ему опровергнуть утверждение о том, что Суза не существует?
— Скорее всего, — обратился Стаффорд к инженеру, — он рассуждает так: если предположить, что истинно Х (Сузы никогда не существовало), то истинно должно быть и Y (неизвестного нам содержания). Однако Y остается ложным. Хотел бы я знать, какой из миллиона усвоенных им фактов он принимает за Y…
Они вернулись к тому, с чего начали. Кто такой Герб Суза и что он такого натворил, если «Генукс-Б» вдруг развернул такую суровую карательную операцию?
— Спросите его, — подсказал инженер.
— Что спросить? — не понял Стаффорд.
— Прикажите ему выдать всю имеющуюся информацию по Гербу Сузе. Весь массив, — терпеливо разъяснил инженер. — Одному богу известно, что у него там накопилось. Мы получим, просмотрим и, может быть, заметим то же, что и он.
Стаффорд напечатал запрос и скормил карточку «Генуксу-Б».
— Вспоминается курс философии, который нам читали в Калифорнийском, — протянул задумчиво один из агентов. — Там было про онтологическое доказательство существования бога. Нужно представить, каким он был бы, если бы существовал — всемогущим, вездесущим, всезнающим, бессмертным и еще способным на безграничную справедливость и милосердие.
— И? — не выдержал инженер.
— И вот, вообразив его со всеми этими идеальными качествами, вы замечаете, что кое-чего не хватает. Самой малости, того, чем обладает любой микроб, любой камень, любой мусор на обочине. Существования. И вы делаете вывод: если ему присуще все перечисленные невероятные способности, то уж такая мелочь наверняка должна быть, значит, он существует. Если это под силу камню, то под силу и ему. Теория, конечно, ущербная, ее развенчали еще в Средневековье, но занятная.
— И к чему вы ее вспомнили? — спросил инженер.
— Может быть, — пояснил ФБРовец, — доказательством существования Сузы для «Генукса-Б» служит не один конкретный факт или даже совокупность фактов, а весь массив. Может, их просто слишком много. Компьютер пришел к выводу на основании своего предыдущего опыта, что, когда на одного человека имеется столько данных, этот человек должен существовать. В компьютерах такого калибра, как «Генукс-Б», заложена способность к самообучению, для этого мы его и создавали.
— Тогда у меня для него есть еще один факт, — сказал инженер. — Я сейчас напечатаю, а вы прочтете.
Усевшись за машинку, он набил короткое предложение и, выхватив карточку из каретки, продемонстрировал остальным.
«Компьютер „Генукс-Б“ не существует», — значилось на ней.
Все озадаченно молчали.
— Если ему не составило труда сопоставить вводную насчет Герберта Сузы с уже имеющимися сведениями, здесь он тем более не запутается.
— В чем смысл? Я не понимаю, что это нам даст, — высказался один из агентов.
— Если «Генукс-Б» не существует, — понимающе кивнул Стаффорд, — значит, он не может объявить боевую тревогу — логическое противоречие.
— Но он уже ее объявил, — напомнил коротышка. — И знает об этом, поэтому в два счета установит факт своего существования.
— Давайте проверим, — настаивал инженер. — Мне просто любопытно. И насколько я могу прогнозировать, вреда не будет. Если что, вымысел всегда можно удалить.
— По идее, — рассуждал вслух Стаффорд, — получив эту карточку, он должен прийти к заключению, что не мог бы ничего получить, если бы не существовал? И сразу отметет утверждаемое? Так?
— Не знаю, — признался инженер. — Я никогда даже в теории не обсуждал вероятность отрицания себя компьютером калибра «Б».
Он вставил карту в картоприемник и отошел. Все напряженно ждали. После долгой паузы по исходящему кабелю пошел сигнал. Инженер, надев наушники, расшифровывал ответ компьютера для остальных.
«Анализ информационной составляющей, отрицающей существование многофакторного вычислительного прибора „Генукс-Б“. Если составляющая 340s70 истинна, то я не существую. Если я не существую, то меня нельзя проинформировать о несуществовании моего обобщенного класса. Если меня нельзя об этом проинформировать, то вам не удалось это осуществить и составляющая 340s70 для меня не существует. Следовательно, я существую».
— Во дает! — восхищенно присвистнул коротышка. — Справился. Разложил по полочкам. Он, то есть она, эта машина, доказала, что данные неверны, поэтому их можно не рассматривать. И продолжать начатое.
— То же самое, — заявил Стаффорд мрачно, — он проделал с карточками, отрицающими существование Герба Сузы.
Все посмотрели на него.
— Логическая цепочка та же самая, — пояснил Стаффорд. — Должно быть что-то общее, какое-то объединяющее звено между данностью под названием «Генукс-Б» и данностью по имени Герб Суза. У вас есть при себе какие-нибудь безделушки, призы или что там из сузовских автоматов? — спросил он фэбээровцев. — Я бы хотел взглянуть…
Самый внушительный из агентов послушно расстегнул портфель и, вытащив пластиковый пакет лабораторного вида, высыпал на соседний стол кучку блестящих побрякушек.
— Зачем они вам? — удивился инженер. — Их уже проверяли в лаборатории. Мы ведь говорили.