Двери запираются изнутри, поэтому никаких проблем не возникнет.
— Наверное, ты ему плохо объяснил, — заступился за робота Петито.
Бармен не стал спорить с хозяином. Гроссман подошел к Другичу. — Мне все понятно. Не будем больше задерживать господина Петито.
Отчаянно жестикулируя, Петито начал уговаривать их остаться обедать. Гроссман сказал, что они не голодны и увел Другича из кафе. Детектив был разочарован не меньше хозяина, поскольку Гроссман так и не объяснил ему, что за идея его посетила.
— А тебе это понятно? — спросил я Ларсона.
— Ты просмотрел налоговую декларацию Петерсонов?
— Издеваешься? Я свою-то ни разу не заполнял сам.
— В этом году попробуй обойтись без чужой помощи. Очень полезное занятие для детектива. Петерсон тебе сказал, что льгота, о которую запнулся Краб, может как уменьшить, так и увеличить итоговую сумму. В случае с Петерсонами, она ничего не меняла. Вне зависимости от того, будет ли она использована, Петерсонам предстояло заплатить вполне определенную сумму. Странно, что Краб этого не заметил. Сталкиваясь с какой-либо альтернативой, роботы проверяют все возможности. Если результат не зависит от выбора, они игнорируют эту альтернативу. В противном случае, они бы замучили своих хозяев бессмысленными вопросами или все время находились бы в ступоре. Еще удивительней, что ошибка Краба очень близка к той, которую допустил Ленивец, но на примере Ленивца лучше видна ее суть. Какие-то они, не побоюсь этого слова, интуиционисты.
Незнакомое слово вызвало у меня две догадки:
— Это секта или сексуальное киберменьшинство?
— Ни то, ни другое. Это направление в логике. Интуиционизм накладывает ограничения на использование закона исключения третьего. Понимаешь, к чему я клоню?
— Я понимаю, что ты умничаешь. Давай помедленней и с примерами. Детективы бывают интуиционистами?
— Крайне редко. Но из юристов почти все. В юриспруденции нельзя использовать закон исключения третьего. Нельзя обвинить человека в преступлении только на том основании, что из числа подозреваемых исключены все, кроме него. Пусть хоть все население галактики, включая роботов, имеет стопроцентное алиби, а у него алиби нет, это еще не повод, чтобы засадить его за решетку. Иными словами, доказательство методом «от противного» не допускается. Согласно интуиционизму, ложность утверждения Х не означает автоматически, что верно утверждение не-Х, в то время как закон исключения третьего недвусмысленно говорит, что всегда что-то истинно — либо Х, либо не-Х. Поэтому, если утверждение Y следует и из Х и из не-Х, то для интуициониста еще не факт, что Y всегда верно. Чтобы доказать истинность Y, ему необходимо прежде удостовериться, что либо Х, либо не-Х действительно верно. Это и имел в виду Ленивец, говоря посетителю, что у него недостает данных. Несмотря на то, что и мужчин и женщин он должен был отправлять по одному адресу, ему требовалось решить, кто перед ним, мужчина или женщина.
— По-моему, интуиционизм сильно усложняет жизнь.
— Окажешься на скамье подсудимых, изменишь мнение. Впрочем, я не отношу себя к его сторонникам. Ученым, в отличие от преступников, он действительно усложняет жизнь. Слишком много теорем требуют доказательства «от противного». Иначе их попросту не докажешь.
— И что, часто роботы бывают интуиционистами?
— Ни одного не встречал. В обыденной жизни роботы умеют пользоваться законом исключения третьего не хуже иного математика-формалиста. К твоему сведению, формалисты — это те, которые не интуиционисты. Краб и Ленивец выпадают из общего числа роботов. В их нейросимуляторе произошел какой-то сбой, который сделал их приверженцами нетрадиционной логики.
— У них сбой похуже — они убивают. Ты не думаешь, что их интуиционизм как-то связан с убийствами?
— Как философское учение, он, уверяю тебя, безвреден. Дело тут может быть в другом. Роботы не предназначены для нанесения вреда человеку. Более того, они напичканы таким количеством закодированного пацифизма, что Далай-лама по сравнению с роботом — сущий монстр. Специальные программные установки не допустят, чтобы робот взял в руки нож и, тем более, ударил им человека. Несмотря на это Краб и Ленивец совершили убийства. Следовательно, кто-то должен был очень постараться, чтобы обойти эти установки. Убить сложнее, чем стереть память, поэтому программа-убийца должна не только обходить защитные барьеры, но и уметь манипулировать накопленными навыками, принуждая робота совершать действия, непредусмотренные командами, поступившими извне, то есть, от человека. Фигурально выражаясь, у робота появляется неподконтрольное человеку alter ego, руководимое вирусной программой, срабатывающей по какому-то неизвестному нам сигналу. Это раздвоение не могло не вызвать побочных эффектов в нейросетях роботов. Когда какое-либо устройство начинают использовать не по назначению, оно перестает выполнять свои основные функции. За примерами далеко ходить не надо. На прошлой неделе ты стащил у меня ручку, а вчера я увидел, как ты размешивал ею сахар в кофе. Во-первых, это не гигиенично…
— Я вытер ее салфеткой с антисептиком…
— Во-вторых, — невозмутимо продолжал Ларсон, — она теперь пишет азбукой Морзе. Идея ясна?
— Да, как и то, что ты залез ко мне в стол.
— Я забрал свою вещь. А тебе надо прекращать воровать чужие ручки.
— Не мне, а моим врожденным низкоуровневым настройкам.
— Неужели у тебя клептомания?! — возликовал Ларсон, ибо я сам напросился на этот диагноз. Ничего не ответив, я пошел готовиться к опровержению слухов о моей новой болезни.
Я колебался между «аргументом к милосердию» и «аргументом силы», когда Шеф вызвал всех на совещание.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141