 |
 |
 |
 |
|
 |
 |
ее можно установить за конечное число шагов. Так, когда в случае математической индукции мы
доказываем теорему, зависящую от параметра п, мы доказываем ее сначала для n=0 и затем
устанавливаем, что случай, когда параметр имеет значение n+1, вытекает из случая, когда параметр
имеет значение п. Тем самым мы убеждаемся [c.58] в правильности теоремы для всех положительных
значений параметра n. Более того, число правил действия в нашем дедуктивном механизме должно
быть конечным, даже если оно кажется неограниченным из-за ссылки на понятие бесконечности. Ведь и
само понятие бесконечности выразимо в конечных терминах. Короче говоря, как номиналистам
(Гильберт), так и интуиционистам (Вейль) стало совершенно очевидно, что развитие той или иной
математико-логической теории подчиняется ограничениям того же рода, что и работа вычислительной
машины. Как мы увидим позже, можно даже интерпретировать с этой точки зрения парадоксы Кантора
и Рассела.
Я сам в прошлом ученик Рассела и многим обязан его влиянию. Д-р Шеннон взял как тему своей
докторской диссертации в Массачусетсском технологическом институте применение методов
классической булевой алгебры классов к изучению переключательных систем в электротехнике
.
Тьюринг был, пожалуй, первым среди ученых, исследовавших логические возможности машин с
помощью мысленных экспериментов. Во время войны он работал для английского правительства в
области электроники. В настоящее время он возглавляет программу по созданию вычислительных
машин современного образца, принятую Национальной физической лабораторией в Теддингтоне.
Другим молодым ученым, перешедшим из математической логики в кибернетику, был Уолтер Питтс.
Он был учеником Карнапа в Чикаго и был связан с проф. Рашевским и его школой биофизиков.
Заметим попутно, что эта последняя группа сделала очень много для того, чтобы направить внимание
ученых-математиков на возможности биологических наук. Правда, некоторым из нас кажется, что она
находится под слишком большим влиянием задач об энергии и потенциалах и методов классической
физики, чтобы наилучшим образом решать задачи по изучению систем, подобных нервной системе,
которые весьма далеки от энергетической замкнутости. [c.59]
Г-н Питтс весьма удачно попал под влияние Мак-Каллоха; они вместе начали работать над проблемами,
связанными с соединением нервных волокон синапсами в системы, обладающие заданными общими
свойствами. Независимо от Шеннона они использовали аппарат математической логики для решения
проблем, являющихся прежде всего переключательными проблемами. Мак-Каллох и Питтс ввели
принципы, остававшиеся в тени в ранней работе Шеннона, хотя и вытекающие, несомненно, из идей
Тьюринга: использование времени как параметра, рассмотрение сетей, содержащих циклы, и
рассмотрение синаптических и других задержек
.
Летом 1943 г. я встретил д-ра Дж. Леттвина из Бостонской городской больницы, весьма
интересовавшегося вопросами, связанными с нервными механизмами. Он был близким другом г-на
Питтса и познакомил меня с его работой
. Он убедил Питтса приехать в Бостон и встретиться с д-ром
Розенблютом и со мной. Мы с радостью пригласили его в нашу группу. Г-н Питтс перешел в
Массачусетсский технологический институт осенью 1943 г., чтобы работать вместе со мной и чтобы
углубить свою математическую подготовку для исследований в этой науке – кибернетике, к тому
времени уже родившейся, но еще не окрещенной.
Г-н Питтс был тогда основательно знаком с математической логикой и нейрофизиологией, но не имел
случая сколько-нибудь близко соприкасаться с техникой. В частности, он не был знаком с работой д-ра
Шеннона и недостаточно ясно представлял себе возможности электроники. Он очень заинтересовался,
когда я показал ему образцы современных вакуумных ламп и объяснил, что они являются идеальным
средством для реализации в металле эквивалентов рассматриваемых им нейронных сетей и систем. С
этого времени нам стало [c.60] ясно, что сверхбыстрая вычислительная машина, поскольку вся она
строится на последовательном соединении переключательных устройств, является идеальной моделью
для решения задач, возникающих при изучении нервной системы. Возбуждение нейронов по принципу
“все или ничего” в точности подобно однократному выбору, производимому при определении разряда
двоичного числа; а двоичная система счисления уже признавалась не одним из нас за наиболее
удовлетворительную основу для проектирования вычислительных машин. Синапс есть не что иное, как
механизм, определяющий, будет ли некоторая комбинация выходных сигналов от данных предыдущих
