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