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

На следующий день после консилиума Другич и Гроссман отправились в «Дориду», чтобы поговорить с ее хозяином, господином Петито. Они застали его в крайне благочестивом настроении. Петито славил Господа за то, что убийство произошло в межсезонье, и просил его сделать следующий шаг, а именно: не допустить, чтобы слухи об убийстве дожили до следующего сезона. Собравшись с духом, Петито поставил перед Всевышним еще более сложную задачу: сделать так, чтобы через год-полтора люди снова вспомнили о трагедии, но уже как о неком легендарном событии, которое привлечет в его кафе падких на трагические легенды туристов. Петито посоветовался с Другичем, как бы почетче сформулировать эту просьбу, дабы наверху не возникло недопонимания. Пока они советовались, Гроссман осматривал место преступления. Наконец, земляки отбили-таки телеграмму и перевели разговор на Ленивца. Гроссман навострил уши.

Петито приобрел робота в мае этого года. («Ага!», — узнав об этом, поднимет палец Ларсон. Он хотел сказать, что Ленивца купили примерно в тоже время, что и Краба.) Вообще-то, с Фаона на Землю роботов не экспортируют — на Земле своих роботов достаточно, но этого каким-то ветром занесло в Браску. Нареканий по службе он не вызывал, — так иной раз ошибется по мелочи, но, в общем, робот хороший, исполнительный и вежливый. Петито ставил его в пример какому-то олуху или, быть может, Олуху, который работал здесь до Ленивца. Конечно, как и все роботы, он иногда впадал в ступор, но лечилось это обычным путем: снимаешь последнее задание или, в крайнем случае, перегружаешь нейросимулятор. Случались, правда, и смешные казусы…

— Например, — спросил Другич.

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

— Почему сразу оскорбление?

— Кажется, он был трансвеститом.

— Простительная ошибка, — извинил робота Другич. — Вы согласны, доктор? — обернулся он к Гроссману, стоявшему у стойки бара.

— В общем, пожалуй, да…

— Как бы не так, — проворчал бармен, до этого момента интересовавшийся только стаканами. Гроссман оживился:

— Что, простите, не так?

— Женский туалет был на ремонте. Я ясно сказал ему, чтобы и женщин он отсылал в мужской. Двери запираются изнутри, поэтому никаких проблем не возникнет.

— Наверное, ты ему плохо объяснил, — заступился за робота Петито.

Бармен не стал спорить с хозяином. Гроссман подошел к Другичу. — Мне все понятно. Не будем больше задерживать господина Петито.

Отчаянно жестикулируя, Петито начал уговаривать их остаться обедать. Гроссман сказал, что они не голодны и увел Другича из кафе. Детектив был разочарован не меньше хозяина, поскольку Гроссман так и не объяснил ему, что за идея его посетила.

— А тебе это понятно? — спросил я Ларсона.

— Ты просмотрел налоговую декларацию Петерсонов?

— Издеваешься? Я свою-то ни разу не заполнял сам.

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

Незнакомое слово вызвало у меня две догадки:

— Это секта или сексуальное киберменьшинство?

— Ни то, ни другое. Это направление в логике. Интуиционизм накладывает ограничения на использование закона исключения третьего. Понимаешь, к чему я клоню?

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

— Крайне редко. Но из юристов почти все. В юриспруденции нельзя использовать закон исключения третьего. Нельзя обвинить человека в преступлении только на том основании, что из числа подозреваемых исключены все, кроме него. Пусть хоть все население галактики, включая роботов, имеет стопроцентное алиби, а у него алиби нет, это еще не повод, чтобы засадить его за решетку. Иными словами, доказательство методом «от противного» не допускается. Согласно интуиционизму, ложность утверждения Х не означает автоматически, что верно утверждение не-Х, в то время как закон исключения третьего недвусмысленно говорит, что всегда что-то истинно — либо Х, либо не-Х. Поэтому, если утверждение Y следует и из Х и из не-Х, то для интуициониста еще не факт, что Y всегда верно. Чтобы доказать истинность Y, ему необходимо прежде удостовериться, что либо Х, либо не-Х действительно верно. Это и имел в виду Ленивец, говоря посетителю, что у него недостает данных. Несмотря на то, что и мужчин и женщин он должен был отправлять по одному адресу, ему требовалось решить, кто перед ним, мужчина или женщина.

— По-моему, интуиционизм сильно усложняет жизнь.

— Окажешься на скамье подсудимых, изменишь мнение. Впрочем, я не отношу себя к его сторонникам. Ученым, в отличие от преступников, он действительно усложняет жизнь. Слишком много теорем требуют доказательства «от противного». Иначе их попросту не докажешь.

— И что, часто роботы бывают интуиционистами?

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

— У них сбой похуже — они убивают. Ты не думаешь, что их интуиционизм как-то связан с убийствами?

— Как философское учение, он, уверяю тебя, безвреден. Дело тут может быть в другом. Роботы не предназначены для нанесения вреда человеку. Более того, они напичканы таким количеством закодированного пацифизма, что Далай-лама по сравнению с роботом — сущий монстр. Специальные программные установки не допустят, чтобы робот взял в руки нож и, тем более, ударил им человека. Несмотря на это Краб и Ленивец совершили убийства. Следовательно, кто-то должен был очень постараться, чтобы обойти эти установки. Убить сложнее, чем стереть память, поэтому программа-убийца должна не только обходить защитные барьеры, но и уметь манипулировать накопленными навыками, принуждая робота совершать действия, непредусмотренные командами, поступившими извне, то есть, от человека. Фигурально выражаясь, у робота появляется неподконтрольное человеку alter ego, руководимое вирусной программой, срабатывающей по какому-то неизвестному нам сигналу. Это раздвоение не могло не вызвать побочных эффектов в нейросетях роботов. Когда какое-либо устройство начинают использовать не по назначению, оно перестает выполнять свои основные функции. За примерами далеко ходить не надо. На прошлой неделе ты стащил у меня ручку, а вчера я увидел, как ты размешивал ею сахар в кофе. Во-первых, это не гигиенично…