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