Жар холодных числ и пафос бесстрастной логики [Борис Владимирович Бирюков] (fb2) читать постранично, страница - 2

математика — математика в ее наиболее «абстрактных» разделах — и экспериментально-теоретическая нейрофизиология. В этой книге мы будем говорить только о первой предпосылке кибернетики — об отрасли математики, которая изучает построение формальных дедуктивных теорий и обычно называется математической логикой. Без интенсивного развития этой науки, начавшегося еще на пороге нашего столетия, без серии блестящих результатов, полученных логиками в тридцатых годах, без создания символического логического аппарата и детальной разработки методов логики нечего было бы и думать о кибернетике.

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

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

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

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

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

Авторы не снабдили книгу списком рекомендуемой литературы, но в конце каждой главы читатель найдет и ссылки на источники, и комментарии, помогающие тоньше понять предмет разговора. Ссылки и комментарии будут особенно полезны тем читателям, которые решат продолжить свое ознакомление с освещаемыми в книге вопросами.

Следует отметить, что в книге, особенно в средней ее части, довольно широко