Условный переход (Дело интуиционистов) - Максим Дегтярев

— Станет интересной, если мы ее решим.

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

— Вы не сказали, в чем будет заключаться дилемма.

— Я еще сам этого не знаю. Условный переход должен быть сформулирован в понятных роботам терминах. Думаю, надо взять что-нибудь садоводческое. Я просмотрю локус «Деметры» и найду подходящую тему. На подготовку файла с заданием уйдет три-четыре часа. Монт не станет нас беспокоить, я сказал ему, что до вечера мы будем отдыхать.

— Он не удивится, когда кто-то из роботов укажет свои координаты?

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

После того, что я услышал сначала от Эйтведа, а затем от Изиды, меня перестало удовлетворять ларсонское объяснение, почему роботы вдруг передумали исключать третье. Хотелось узнать, что по этому поводу думает Гроссман.

К счастью, он подтвердил мнение Ларсона:

— Логическая ошибка возникает в результате того, что в нейросимулятор внедрена программа, которой там быть не должно.

— Прошу прощение за дилетантство. Скажите, нейросимулятор робота является квантовым объектом?

— Все мы квантовые объекты.

— Я имел в виду аналогию с квантовым процессором у обычного компьютера.

— Аналогия, конечно, есть. В качестве нейронов в искусственной нейросети используются атомы, находящиеся в том или ином квантовом состоянии.

— Квантовый процессор, квантовая логика, нарушение закона исключения третьего… Тут нет никакой закономерности?

— Нет, конечно. Не надо смешивать название и содержание. Кроме того, закон исключения третьего работает и в квантовой логике. Разумеется, я говорю о трактовке фон Неймана, которая единственная из всех так называемых «квантовых логик» правильно отражает то, что происходит в квантовом процессоре. А роботы, кстати говоря, оперируют не квантовой логикой и не классической, а вероятностной. В вероятностной логике суждения не делятся на истинные и ложные. Вместо этого им приписывается определенный вес, то есть, число, заключенное между нулем и единицей. Чем больше вес, тем ближе данное суждение к истине. Если вес равен нулю, то суждение считается абсолютно ложным, если единице — абсолютно истинным. Поэтому вероятностная логика является обобщением классической, где суждения либо истинны, либо ложны. Под законом исключения третьего можно подразумевать правило, согласно которому сумма весов противоположных суждений должна равняться единице. Именно в этом месте у роботов и происходит ошибка. Грубо говоря, они неверно суммируют веса. Чисто вычислительная ошибка приводит к логическому парадоксу. Помнится, когда я учился в школе, мне предложили проверить доказательство того, что ноль равен единице. На первый взгляд оно было безошибочным. Я испытал почти мистическое потрясение. Ноль равен единице, истина неотличима от лжи… казалось, что придется пересмотреть свой взгляд на какие-то глубокие истины, хотя на самом деле в доказательстве содержался элементарный обман, шулерство, если угодно.

— Какой же?

— Обе части неравенства скрытно умножались на ноль. Неравенство превращалось в равенство. От этого ноль становился равным единице.

Аналогия напрашивалась сама собой. Я заметил:

— Умноженные на ноль, мы оказываемся по ту сторону добра и зла. Не думал, что это всего лишь математическая уловка.

— Все уловки — человеческие и похожи одна на другую. Каков человек, таковы и уловки.

Чтобы усвоить эту новую истину, мозгам требовалась передышка.

Чем я никогда не страдал, так это послеобеденной бессонницей. Разбудив меня в полпятого, Гроссман сказал, что файл готов и что теперь все зависит от меня. Я поинтересовался, чем он озадачит роботов.

— Измерением завтрашней температуры воздуха. Либо завтра в полдень температура будет выше двадцати по Цельсию, либо ниже, в любом случае приказ сообщить координаты отменяется. Робот-интуиционист подождет до завтра или, в худшем для нас случае, сообщит о причинно-следственной некорректности заданий. Он не впадет в ступор, поскольку дилемма, формально, не является для него неразрешимой. Трудность возникнет не с решением дилеммы, а с тем, что проверка условия назначена на срок более поздний, чем условный переход. На всякий случай, я поместил в программу еще одно условие: если задание по какой-то причине невыполнимо, то отменяется все, за исключением приказа сообщить координаты.

Гроссман позвонил Монту, и диспетчер сам пригласил нас на центральный пост. Гроссман поможет ему проверить работу «дистанционного контроля над манипуляциями». Отправляясь в диспетчерскую, я не забыл прихватить упаковку тянучек, купленную (для себя) на Терминале Лагуны.

— Как отдохнули? — спросил Монт.

— Прекрасно, — ответил Гроссман.

— Выспались, — добавил я. Диспетчер растянулся в улыбке:

— На Лагуне удивительно здоровый сон!

Устроившись у пульта, они стали обсуждать что-то касающееся роботов. В отличие от Лиззи, я им не мешал. Гроссману часто приходилось переспрашивать Монта, потому что он, к примеру, не понимал, что значит «прополоть долговременную память» или «вытравить полифагов из управляющей программы». Монта интересовало, как привить новым роботам полезные свойства старых и опытных роботов.

— Окулировка не подойдет, — освоившись с терминологией, пробормотал Гроссман и с этого момента начал периодически бросать в мою сторону обеспокоенные взгляды. Я понял, что настала пора действовать. На столе, примыкавшем к правому торцу центрального пульта, лежал чей-то комлог. Скорее всего, он принадлежал Монту. Я незаметно взял комлог со стола, открыл, засунул под крышку шоколадную тянучку и плотно закрыл. Все эти действия я производил на глазах у Лиззи, подманив ее упаковкой тянучек. Не получив тянучки, Лиззи вцепилась в прибор.

— Господин Монт, — окликнул я диспетчера, — вы разрешаете ей с этим играть?

Монт пришел в негодование:

— Отдай сейчас же!

Лиззи была согласна выполнить требование, но только после того, как доберется до лакомства. Знаками она показывала, что это я дал ей комлог с тянучкой. Я сделал вид, что собираюсь отобрать сладкую игрушку, но лишь напугал обезьянку. Взяв комлог в зубы, она помчалась вниз по лестнице, ведущей в оранжерею.