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

Так откуда же взялась эта новая сила? Ясно, что она не спустилась с неба, что ее создали люди. Но какие люди и когда создали ее? Распространено мнение: кибернетика возникла в 40-х годах на базе развитого приборостроения и развитой электроники, благодаря идеям Норберта Винера, занимавшегося в то время вопросами управления артиллерийской стрельбой. Из этой схемы вытекают два главных вывода: во-первых, кибернетика есть типичное дитя нашего времени, во-вторых, ее появление на свет обязано в основном непосредственным требованиям практики. Даже те, кто знает о древнегреческом корне слова «кибернетика» и о том, что это слово употреблял уже Ампер в своей классификации наук (причем в смысле, имеющем параллель с его современным значением), нередко воспринимают кибернетику как явление новейшее. В действительности же эта область знания и практической деятельности слишком глубока и серьезна, чтобы принадлежать лишь ультрасовременности.

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

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

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

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

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