Том 13. Сумма технологии

Если полиция намерена арестовать преступника и знает о нем лишь, что его фамилия Смит и что он живет в известном городке, то количество информации, полученное благодаря знанию фамилии, зависит от того, сколько жителей городка носят фамилию Смит. Если число Смитов равно единице, то выбор отсутствует и информация равна единице. Если все жители городка имеют фамилию Смит, то для данной системы известие о том, что фамилия преступника Смит, содержит нуль информации[126]. Заметим, кстати, что некоторые допускают существование отрицательной информации; в нашем случае примером такой информации было бы сообщение в полицию, что фамилия преступника — Браун.

Таким образом, мера информации относительна и зависит от предварительно принятого ансамбля возможностей (состояний). Данное явление может быть символом (носителем информации) по отношению к определенному ансамблю потенциальных, возможных разновидностей этого явления, и может не быть таким символом, если этот ансамбль (или соотнесенная с ним система) будет изменен. Природа крайне редко однозначно определяет ансамбль возможных состояний. Человек, более или менее отдавая себе в этом отчет, выбирает ансамбль, подходящий для поставленной цели, и поэтому полученная информация является не отражением подлинного состояния мира, а лишь функцией такого состояния, и значение ее зависит как от Природы (от исследуемой ее части), так и соотнесенного с ней ансамбля, автором которого является человек {VII}.

Сомнения и антиномии

1. Смелая «программа-максимум», намеченная уже создателями кибернетики, в последние годы неоднократно подвергалась критике, зачастую весьма резкой; последняя объявляла эту программу утопической или вообще мифической, как об этом свидетельствует хотя бы подзаголовок книги Мортимера Таубе — «Миф о думающих машинах».

«Заметим... — пишет Таубе, — что гигантский искусственный мозг, машины-переводчики, обучающиеся машины, машины, играющие в шахматы, понимающие машины и т. п., заполнившие нашу литературу, обязаны своим „существованием“ людям, пренебрегающим сослагательным наклонением. В эту игру играют так. Сначала заявляют, что, если не учитывать незначительные детали инженерного характера, машинную программу можно приравнять самой машине. Затем блок-схему программы приравнивают самой программе. И наконец, заявление, что можно составить блок-схему несуществующей программы для несуществующей машины, означает уже существование этой машины. Точно таким путем были „созданы“ машины условной вероятности Аттли, „перцептрон“ Розенблатта, анализатор общих проблем Симона, Шоу и Ньювела и многое другие несуществующие машины, на которые в литературе делаются ссылки как на существующие»[127].

А несколько далее, в связи с вопросом об отношениях в системе «человек — машина», М. Таубе пишет: «...классический порочный круг:

1) предлагается конструкция машины, предназначенной для моделирования человеческого мозга, который не описан;

2) подробно описанные характеристики машины полагаются аналогичными характеристикам мозга;

3) затем делается «открытие», что машина ведет себя подобно мозгу; порочность состоит в «открытии» того, что было постулировано».

В той мере, в какой технический прогресс опроверг некоторые выводы Таубе, полемика с его книгой, английское издание которой вышло в 1961 г., является сейчас излишней. Существует уже не только перцептрон, но и действующие реальные программы для машинной игры в шахматы, правда, пока только на уровне среднего шахматиста. Непонятно, однако, почему признание факта, что существуют машины, играющие в шахматы, следует отложить до той минуты, когда последний еще не побежденный чемпион мира получит мат от электронной машины, — ведь огромное большинство людей не умеет играть даже на упомянутом среднем уровне (к их числу, хотя это и не довод, увы, относится и автор этих строк)[128].

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