Детективы бывают интуиционистами?
— Крайне редко. Но из юристов почти все. В юриспруденции нельзя использовать закон исключения третьего. Нельзя обвинить человека в преступлении только на том основании, что из числа подозреваемых исключены все, кроме него. Пусть хоть все население галактики, включая роботов, имеет стопроцентное алиби, а у него алиби нет, это еще не повод, чтобы засадить его за решетку. Иными словами, доказательство методом «от противного» не допускается. Согласно интуиционизму, ложность утверждения Х не означает автоматически, что верно утверждение не-Х, в то время как закон исключения третьего недвусмысленно говорит, что всегда что-то истинно — либо Х, либо не-Х. Поэтому, если утверждение 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
— Крайне редко. Но из юристов почти все. В юриспруденции нельзя использовать закон исключения третьего. Нельзя обвинить человека в преступлении только на том основании, что из числа подозреваемых исключены все, кроме него. Пусть хоть все население галактики, включая роботов, имеет стопроцентное алиби, а у него алиби нет, это еще не повод, чтобы засадить его за решетку. Иными словами, доказательство методом «от противного» не допускается. Согласно интуиционизму, ложность утверждения Х не означает автоматически, что верно утверждение не-Х, в то время как закон исключения третьего недвусмысленно говорит, что всегда что-то истинно — либо Х, либо не-Х. Поэтому, если утверждение 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