Когда приходит ответ - [53]

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

Два года прошло. Два года блужданий по лабиринтам символов. Наконец весной восемьдесят второго года, когда тронулся лед на Волге, тронулся и покров молчания над разысканиями Порецкого. Он объявил свой доклад в Обществе естествоиспытателей при Казанском университете.

Два вечера слушало ученое собрание то, что говорил им Порецкий «О способах решения логических равенств и об обратном способе математической логики».

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

По правде говоря, только читая Порецкого, и начал Мартьянов что-то понимать в методе алгебры логики.

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

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

Он показывал, как можно выражать разные суждения в виде равенств. Например, «если не будет дождя, то мы отправимся в сад и будем там пить чай», — а на языке алгебры это всего лишь a¹ = bc. И как, решая такие равенства, можно значительно облегчить тот мыслительный процесс, который именуется в классической логике качественным умозаключением. Опять-таки словесная форма переводится в форму математическую. Равенства можно между собой и складывать и перемножать. Заменять целую систему равенств одним равенством. Исключать отдельные классы из равенства. Определять один класс через все прочие… Словом, открывается путь ко всяким преобразованиям и упрощениям.

Преобразования и упрощения! Алгебра логики настойчиво предлагала эту возможность, которая, между прочим, больше всего и пленит когда-нибудь инженера Мартьянова.

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

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

Собрание слушало и… не знало, как ко всему этому отнестись. Забавное увлечение или заявка новой науки?

Но Порецкий и не думал выдавать ее за шкатулку чудес. Он говорил:

— Было бы слишком неосмотрительно полагать, что операции над классами в логике ничем не отличаются от операций над числами. Позвольте напомнить. В самой математике сложение с положительным числом совсем не то, что с отрицательным. Умножение целых чисел совсем не то, что умножение дробей. Умножение линий совсем не то, что чисел… То же между логикой и алгеброй. Это не одно и то же. Нам вполне достаточно, что здесь имеется известная аналогия. Аналогия, и не больше. Но эта аналогия открывает нам большие возможности.

Отступив к доске, он предложил аудитории с легкой усмешкой логическую задачу. О девицах, приехавших на дворянский бал. О них известно следующее. Во-первых, каждая из девиц была или благовоспитанна, или весела, или молода, или красива. Во-вторых, когда начались танцы, то оказалось, что все нетанцующие девицы были некрасивы и что каждая из танцующих была или молода, или весела, или благовоспитанна. В-третьих… Так выписывал он об этих девицах четырнадцать разных суждений, или посылок, как говорят в логике. Четырнадцать всевозможных вариантов из понятий «веселая», «молодая», «красивая», «благовоспитанная», вместе с их отрицаниями, соединенных между собой то словечком «и», то словечком «или». Хватит ли доски? Написав последнее, четырнадцатое условие, по которому, «когда уехали все неблаговоспитанные, все немолодые, все невеселые и все некрасивые, никаких девиц на балу более не осталось», — Порецкий спросил, не желает ли кто-нибудь решить эту логическую задачу, построив соответствующие умозаключения? Установить прежде всего, возможна ли подобная задача и нет ли между ее посылками противоречий. А потом уж описать точным образом «весь мир девиц бала», выражаясь по-булевски: определить отношения между их категориями. Пожалуйста, кто хочет?