Кибернетика или управление и связь в животном и машине

Таким образом, четыре года назад группа ученых, объединенных вокруг д-ра Розенблюта и меня, уже понимала принципиальное единство ряда задач, в центре которых находились вопросы связи, управления и статистической механики, и притом как в машине, так и в живой ткани. Но наша работа затруднялась отсутствием единства в литературе, где эти задачи трактовались, и отсутствием общей терминологии или хотя бы единого названия для этой области. После продолжительного обсуждения мы пришли к выводу, что вся [c.56] существующая терминология так или иначе слишком однобока и не может способствовать в надлежащей степени развитию этой области. По примеру других ученых, нам пришлось придумать хотя бы одно искусственное неогреческое выражение для устранения пробела. Было решено назвать всю теорию управления и связи в машинах и живых организмах кибернетикой, от греческого — «кормчий»[96]. Выбирая этот термин, мы тем самым признавали, что первой значительной работой по механизмам с обратной связью была статья о регуляторах, опубликованная Кларком Максвеллом в 1868 г.[97], и что слово «governor», которым Максвелл обозначал регулятор, происходит от латинского искажения слова «». Мы хотели также отметить, что судовые рулевые машины были действительно одними из самых первых хорошо разработанных устройств с обратной связью[98].

Несмотря на то, что термин «кибернетика» появился только летом 1947 г., мы сочли удобным использовать его в ссылках, относящихся к более ранним периодам развития этой области науки. Приблизительно с 1942 г. развитие кибернетики проходило по нескольким направлениям. Сначала идеи совместной статьи Бигелоу, Розенблюта и Винера были изложены д-ром Розенблютом [c.57] на совещании, проведенном фондом Джосайи Мейси в Нью-Йорке в 1942 г. Совещание было посвящено проблемам центрального торможения в нервной системе. На совещании присутствовал д-р Уоррен Мак-Каллох из Медицинской школы Иллинойсского университета, уже давно поддерживавший связь с д-ром Розенблютом и со мною и интересовавшийся изучением организации коры головного мозга.

Примерно в это же время на сцену выступает фактор, который неоднократно появляется в истории кибернетики, — влияние математической логики. Если бы мне пришлось выбирать в анналах истории наук святого — покровителя кибернетики, то я выбрал бы Лейбница. Философия Лейбница концентрируется вокруг двух основных идей, тесно связанных между собой: идеи универсальной символики и идеи логического исчисления.

Из этих двух идей возникли современный математический анализ и современная символическая логика. И как в арифметическом исчислении была заложена возможность развития его механизации от абака и арифмометра до современных сверхбыстрых вычислительных машин, так в calculus ratiocinator[99] Лейбница содержится в зародыше machina rationatrix — думающая машина. Сам Лейбниц, подобно своему предшественнику Паскалю, интересовался созданием вычислительных машин в металле. Поэтому совсем неудивительно, что тот же самый умственный толчок, который привел к развитию математической логики, одновременно привел к гипотетической или действительной механизации процессов мышления.

Всякое математическое доказательство, за которым мы можем следить, выразимо конечным числом символов. Эти символы, правда, могут быть связаны с понятием бесконечности, но связь эта такова, что ее можно установить за конечное число шагов. Так, когда в случае математической индукции мы доказываем теорему, зависящую от параметра n, мы доказываем ее сначала для n=0 и затем устанавливаем, что случай, когда параметр имеет значение n+1, вытекает из случая, когда параметр имеет значение n. Тем самым мы убеждаемся [c.58] в правильности теоремы для всех положительных значений параметра n. Более того, число правил действия в нашем дедуктивном механизме должно быть конечным, даже если оно кажется неограниченным из-за ссылки на понятие бесконечности. Ведь и само понятие бесконечности выразимо в конечных терминах. Короче говоря, как номиналистам (Гильберт), так и интуиционистам (Вейль) стало совершенно очевидно, что развитие той или иной математико-логической теории подчиняется ограничениям того же рода, что и работа вычислительной машины. Как мы увидим позже, можно даже интерпретировать с этой точки зрения парадоксы Кантора и Рассела.

Я сам в прошлом ученик Рассела и многим обязан его влиянию. Д-р Шеннон взял как тему своей докторской диссертации в Массачусетсском технологическом институте применение методов классической булевой алгебры классов к изучению переключательных систем в электротехнике[100]. Тьюринг был, пожалуй, первым среди ученых, исследовавших логические возможности машин с помощью мысленных экспериментов. Во время войны он работал для английского правительства в области электроники. В настоящее время он возглавляет программу по созданию вычислительных машин современного образца, принятую Национальной физической лабораторией в Теддингтоне.