Логическая мина Шурика

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


Рецензии