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

В силу данной интерпретации к исследованию контактных схем приложимым оказывается весь аппарат теории булевой алгебры. Становится возможным записывать схемы в виде аналитических выражений (формул), и по схемам определять соответствующие им формулы, упрощать схемы и т. п. Упрощение контактных схем, особенно решение задач их минимизации, то есть нахождения по данной схеме самой простой (содержащей наименьшее число контактов) функционально одинаковой с ней схемы» является весьма важным для автоматики.

Проиллюстрируем упрощение схемы с помощью изложенного нами аппарата. Дана схема, изображенная на Рис. 6, а.

По ней строится формула (А1 V (~A1&A2)) Упрощение этой формулы дает: (A1 V (~A1 & A2)) = (A1 V ~A1) & (A1 V А2)=(А1 V A2). Формуле (A1 V ~A2) соответствует более простая схема (рис. 6, б). Читателю предоставляется проверить функциональную одинаковость схем а и б, проследив их электрическое состояние при всех возможных состояниях их контактов[28].

После того как мы ознакомились с четырьмя интерпретациями одной и той же абстрактной системы — теории булевой алгебры (в узком смысле), возникает вопрос, как относятся друг к другу эти интерпретации. Ответ на него состоит в том, что они подобны друг другу, имеют одинаковую структуру. В самом деле: каждой булевой (булевской) формуле, тождественно-равной единице, взаимно однозначно соответствует некоторая тождественно-истинная форма логики высказываний — в логической интерпретации; каждой тождественно-истинной форме — классовая форма, задающая универсальное множество, а этой последней — всегда проводящая схема.

Аналогичное соответствие имеется и между формулами, тождественно-равными нулю, тождественно-ложными формами высказываний, классовыми формами, задающими пустое множество, и никогда не проводящими схемами. Перечень подобных соответствий может быть продолжен, однако и сказанного достаточно, чтобы сделать важный вывод: проводя исследования в одной из этих систем, мы его результаты можем перенести на любую другую. В частности, изучение электрических схем, состоящих из контактов, можно заменить изучением булевых функций.

В этой важнейшей идее подобия (уточняемой с помощью понятия изоморфизма и его обобщений) различных систем и в конечном счете основанной на этой идее процессе моделирования — базируются кибернетические исследования, направленные на автоматизацию логических процедур. Но какой длинный путь должна была проделать наука, чтобы прийти к ясному пониманию этого!

рис. 6. Пример функционально одинаковых схем различной сложности; схема б проще схемы а, так как содержит меньше контактов.

4. ВЕЛИКАЯ ПЕРЕОЦЕНКА ЦЕННОСТЕЙ

Теоретическую математику иногда представляют себе как концентрированное воплощение отвлеченной мысли, не замутненной никакой утилитарной стороной дела, которую она оставляет прикладной математике и техническим дисциплинам. Такой взгляд на математику обнаруживается в высказываниях многих выдающихся ученых. «Чистая математика в ее современном виде может быть названа самым оригинальным созданием человеческого духа», сказал Альфред Уайтхед. «Математик, который не есть отчасти и поэт, никогда не будет настоящим математиком» - сказал Карл Вейерштрасс. «Математика — это единственная настоящая философия» - сказал лорд Кельвин[1].

Как относиться к таким высказываниям? Математика, действительно, являясь ярчайшим подтверждением силы человеческого разума и неисчерпаемости человеческого воображения, в то же время может быть названа, если позволительно так выразиться, одним из самых деловых занятий: результаты математики говорят сами за себя, фирма с названием «математика» имеет мировую известность как фирма, дающая стопроцентную гарантию своей продукции. «Сделано математикой» — означает для всех «сделано на века». Поэтому математика не может позволить себе необоснованного риска заниматься выпуском изделий, которые могут вызвать сенсацию, а потом оказаться недоброкачественными. У нее есть собственная технология производства, оправданная двухтысячелетней практикой. Все это мы должны иметь в виду при рассмотрении вопроса о том, почему лейбницева идея автоматизации рассуждений с таким трудом пробивала себе дорогу: Лейбница отделяет от Буля полтора столетия, но ведь даже работы Буля и его школы были лишь деятельностью энтузиастов и не привлекали внимания современников.

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