Читаем Жар холодных числ и пафос бесстрастной логики полностью

Кибернетику не могли единолично создать ни Н. Винер, ни К. Шеннон, ни Дж. фон Нейман, поскольку необходимая для этого мыслительная работа во много раз превосходит возможности даже самого одаренного человека. Она явилась итогом и завершением длительного пути развития теоретической мысли и практики. Ближайшие предвестники и предшественники кибернетики прослеживаются с такой ясностью и определенностью, что могут быть названы точно; кстати, они меньше всего имеют отношение к древнегреческим идеям об управлении и взглядам Ампера. Это прежде всего две области: «чистая» математика — математика в ее наиболее «абстрактных» разделах — и экспериментально-теоретическая нейрофизиология. В этой книге мы будем говорить только о первой предпосылке кибернетики — об отрасли математики, которая изучает построение формальных дедуктивных теорий и обычно называется математической логикой. Без интенсивного развития этой науки, начавшегося еще на пороге нашего столетия, без серии блестящих результатов, полученных логиками в тридцатых годах, без создания символического логического аппарата и детальной разработки методов логики нечего было бы и думать о кибернетике.

Замечательно в этой преемственности вот что. Люди, закладывавшие основы современной формальной логики и теории логического вывода, были типичными «кабинетными» учеными, не помышлявшими ни о каких практических приложениях своих теорий. Готлоб Фреге, Давид Гильберт, Алан Тьюринг, как и их предшественники — Вильгельм Лейбниц, Джордж Буль и другие, были бы, вероятно, удивлены, если бы им в свое время сказали, что их абстрактные результаты в конечном счете трансформируются в фактическое сооружение гигантских и дорогостоящих приборов, занимающих огромные, специально построенные здания, приборов, составляющих гордость и надежду промышленных фирм и организаций, которые ставят превыше всего отнюдь не теории, A практические, деловые и финансовые вопросы.

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

На последующих страницах мы постараемся раскрыть связь между работами в области оснований математики и становлением кибернетики как можно полнее. Нас будет интересовать в основном последний период развития математической логики и теории логического вывода, начавшийся с нашим столетием. Однако мы не сочли возможным обойти молчанием и предысторию формальной логики — «общеязыковую» логику, заложенную еще Аристотелем и получившую сильное развитие в средние века.

Разумеется, говоря о преемственности между абстрактнейшими математическими теориями и промышленной кибернетикой, мы не открываем Америки. Специалисты хорошо знают о дальнем происхождении идей кибернетики, об абстрактно-теоретических корнях даже таких, казалось бы, технических дисциплин кибернетики, как разработка языков программирования. Во многих работах говорится об этом с полной определенностью. Например, Э. Николау в книге «Введение в кибернетику» пишет: «Было бы, однако, ошибочным считать, что эта новая и исключительно важная для дальнейшего развития общества наука появилась сразу, без длительной исторической подготовки»[1].

Утвержденные XXV съездом КПСС Основные направления развития народного хозяйства СССР на 1976— 1980 годы в качестве главной задачи десятой пятилетки устанавливают подъем материального и культурного уровня жизни народа на основе динамичного и пропорционального развития общественного производства и повышения его эффективности, ускорения научно-технического прогресса, роста производительности труда, всемерного улучшения качества работы во всех звеньях народного хозяйства. При этом ускорение темпов научно-технического развития рассматривается в качестве «решающего условия повышения эффективности общественного производства и улучшения качества продукции»[2]. Это придает огромное значение техническому перевооружению промышленности. В связи с этим решения съезда предусматривают развитие работ, направленных на «совершенствование и эффективное применение в народном хозяйстве электронной вычислительной техники»[3]. А это, несомненно, должно привести к дальнейшему росту интереса к логическим основам кибернетики и к истории ее становления со стороны многих людей, которые работают в самых разных областях. В первую очередь к ним, а не к специалистам по счетно-решающим устройствам, и обращена книга.