Из этих двух идей возникли современный математический анализ и современная символическая логика. И как в арифметическом исчислении была заложена возможность развития его механизации от абака и арифмометра до современных сверхбыстрых вычислительных машин, так в calculus ratiocinator[219] Лейбница содержится в зародыше machina rationatrix — думающая машина. Сам Лейбниц, подобно своему предшественнику Паскалю, интересовался созданием вычислительных машин в металле. Поэтому совсем неудивительно, что тот же самый умственный толчок, который привел к развитию математической логики, одновременно привел к гипотетической или действительной механизации процессов мышления.
Всякое математическое доказательство, за которым мы можем следить, выразимо конечным числом символов. Эти символы, правда, могут быть связаны с понятием бесконечности, но связь эта такова, что ее можно установить за конечное число шагов. Так, когда в случае математической индукции мы доказываем теорему, зависящую от параметра n, мы доказываем ее сначала для n = 0 и затем устанавливаем, что случай, когда параметр имеет значение n + 1, вытекает из случая, когда параметр имеет значение n. Тем самым мы убеждаемся в правильности теоремы для всех положительных значений параметра n. Более того, число правил действия в нашем дедуктивном механизме должно быть конечным, даже если оно кажется неограниченным из-за ссылки на понятие бесконечности. Ведь и само понятие бесконечности выразимо в конечных терминах. Короче говоря, как номиналистам (Гильберт), так и интуиционистам (Вейль) стало совершенно очевидно, что развитие той или иной математико-логической теории подчиняется ограничениям того же рода, что и работа вычислительной машины. Как мы увидим позже, можно даже интерпретировать с этой точки зрения парадоксы Кантора и Расселла.
Я сам в прошлом ученик Расселла и многим обязан его влиянию. Д-р Шеннон взял как тему своей докторской диссертации в Массачусетском технологическом институте применение методов классической булевой алгебры классов к изучению переключательных систем в электротехнике[220]. Тьюринг был, пожалуй, первым среди ученых, исследовавших логические возможности машин с помощью мысленных экспериментов. Во время войны он работал для английского правительства в области электроники. В настоящее время он возглавляет программу по созданию вычислительных машин современного образца, принятую Национальной физической лабораторией в Теддингтоне.
Другим молодым ученым, перешедшим из математической логики в кибернетику, был Уолтер Питтс. Он был учеником Карнапа в Чикаго и был связан с проф. Рашевским и его школой биофизиков. Заметим попутно, что эта последняя группа сделала очень много для того, чтобы направить внимание ученых-математиков на возможности биологических наук. Правда, некоторым из нас кажется, что она находится под слишком большим влиянием задач об энергии и потенциалах и методов классической физики, чтобы наилучшим образом решать задачи по изучению систем, подобных нервной системе, которые весьма далеки от энергетической замкнутости.
Г-н Питтс весьма удачно попал под влияние Мак-Каллоха; они вместе начали работать над проблемами, связанными с соединением нервных волокон синапсами в системы, обладающие заданными общими свойствами. Независимо от Шеннона они использовали аппарат математической логики для решения проблем, являющихся прежде всего переключательными проблемами. Мак-Каллох и Питтс ввели принципы, остававшиеся в тени в ранней работе Шеннона, хотя и вытекающие, несомненно, из идей Тьюринга; использование времени как параметра, рассмотрение сетей, содержащих циклы, и рассмотрение синаптических и других задержек[221].
Летом 1943 г. я встретил д-ра Дж. Леттвина из Бостонской городской больницы, весьма интересовавшегося вопросами, связанными с нервными механизмами. Он был близким другом г-на Питтса и познакомил меня с его работой[222]. Он убедил Питтса приехать в Бостон и встретиться с д-ром Розенблютом и со мной. Мы с радостью пригласили его в нашу группу. Г-н Питтс перешел в Массачусетский технологический институт осенью 1943 г., чтобы работать вместе со мной и чтобы углубить свою математическую подготовку для исследований в этой науке — кибернетике, к тому времени уже родившейся, но еще не окрещенной.
Тем временем оказалось, что создание вычислительных машин имеет гораздо более важное значение для военных целей, чем предполагал ранее д-р Буш. Строительство новых машин развернулось в нескольких центрах, и притом в направлении, которое не очень отличалось от указанного в моем первом докладе. Гарвардский университет, испытательный полигон в Абердине и Пенсильванский университет уже построили вычислительные машины, а Институт высших исследований в Принстоне и Массачусетский технологический институт должны были к этому вскоре приступить. В программе строительства вычислительных машин наблюдался постепенный переход от механических систем к электрическим, от десятичной системы счисления к двоичной, от механического реле к электрическому, от ручного управления операциями к автоматическому управлению. Короче говоря, каждая новая машина все более и более походила на образец, описанный в том докладе, который я в свое время направил д-ру Бушу. Множество народа жадно интересовалось этими вопросами; у нас была возможность передавать свои идеи коллегам, в частности, д-ру Эйкену из Гарвардского университета, д-ру фон Нейману из Института высших исследований и д-ру Голдстайну, работавшему над машинами ЭНИАК[223] и ЭДВАК[224] в Пенсильванском университете. Везде нас внимательно выслушивали, и скоро словарь инженеров стал пестреть выражениями, употребляемыми нейрофизиологами и психологами.
На этой стадии работ д-р фон Нейман и я сочли необходимым провести объединенное совещание всех интересующихся тем, что мы сейчас называем кибернетикой. Такое совещание было организовано в Принстоне в конце зимы 1943–1944 гг. Присутствовали инженеры, и физиологи, и математики. Д-р Розенблют не мог быть среди нас, так как он только что принял приглашение на должность заведующего лабораторией физиологии в Национальном институте кардиологии в Мексике; но от физиологов присутствовали д-р Мак-Каллох и д-р Лоренте де Но из Рокфеллеровского института. Д-р Эйкен не смог присутствовать, но в совещании участвовало несколько конструкторов вычислительных машин и среди них д-р Голдстайн. Д-р фон Нейман, д-р Питтс и я представляли математиков. Физиологи сделали совместное изложение задач кибернетики с их точки зрения. Аналогичным образом конструкторы вычислительных машин изложили свои цели и методы. В конце совещания всем стало ясно, что существует значительная идейная общность между работниками разных специальностей, что представители каждой группы уже могут пользоваться понятиями, выработанными представителями других групп, и что поэтому необходимо попытаться создать общую для всех терминологию.
Значительно раньше военная исследовательская группа, руководимая д-ром Уорреном Уивером, выпустила отчет, сначала секретный, а затем для ограниченного пользования, где излагалась работа г-на Бигелоу и моя по предсказывающим приборам и волновым фильтрам[225]. Было установлено, что конструирование специальных приборов для криволинейного предсказания не оправдывается условиями ведения зенитного огня. Но принципы оказались верными и были использованы государственными органами при решении задач на сглаживание и в некоторых смежных областях. В частности оказалось, что интегральное уравнение того типа, к которому сводится рассматриваемая нами задача вариационного исчисления, появляется в проблемах волноводов и во многих других проблемах прикладной математики. Таким образом, к концу войны идеи теории предсказания, идеи статистического подхода к технике связи так или иначе стали уже знакомы значительной части статистиков и инженеров-связистов в Соединенных Штатах и Великобритании. Кроме моего военного отчета, ныне совершенно разошедшегося, к этому времени вышло большое число объяснительных статей, написанных Левинсоном, Уоллменом, Дэниеллом, Филлипсом и другими[226] для заполнения пробела. Сам я в течение нескольких лет готовил большую математическую статью с целью окончательно зафиксировать проделанную работу, но затем независящие от меня обстоятельства воспрепятствовали быстрой публикации этой статьи. Наконец, после совместного совещания Американского математического общества и Института математической статистики, организованного в Нью-Йорке весной 1947 г. (оно было посвящено изучению стохастических процессов с точки зрения весьма близкой к кибернетике), я переслал проф. Дубу из Иллинойсского университета готовую часть рукописи с тем, чтобы он переработал ее в своих обозначениях и в соответствии со своими идеями для книги, которая должна выйти в серии математических обзоров Американского математического общества[227]. Часть работы уже излагалась в курсе лекций, читанном мною на математическом отделении МТИ летом 1945 г. После этого вернулся из Китая мой старый ученик и сотрудник д-р Ю.В. Ли[228]. Осенью 1947 г. он читает лекции о новых методах проектирования волновых фильтров и других аналогичных приборов в МТИ на электротехническом отделении. На основе этого курса лекций он собирается издавать книгу. В то же время намечается переиздание моего военного отчета, разошедшегося полностью[229].
Как я уже сказал, д-р Розенблют вернулся в начале 1944 г. в Мексику. Весной 1945 г. я получил приглашение от Мексиканского математического общества принять участие в совещании, которое должно было состояться в июне в Гвадалахаре. К этому приглашению присоединилась Комиссия по поощрению и координации научных исследований, руководимая д-ром Мануэлем Сандовалем Вальяртой, о котором я уже говорил. Д-р Розенблют предложил мне провести совместно какое-либо исследование, и Национальный институт кардиологии, где директором был д-р Игнасио Чавес, оказал мне свое гостеприимство.