7
Как-то в Казанском университете во время длинного и довольно бесполезного ученого совета в большом зале, где на заседавших хмуро глядел портрет Лобачевского, двое преподавателей, Васильев и Порецкий, пристроившись в сторонке, тихо переговаривались друг с другом на тему, не имеющую отношения ни к учебным планам, ни к проступкам студентов.
Васильев рассказывал: ему попалась в руки книжка. Английский автор. Буль по фамилии. Вероятно, столь же распространенное там, как у нас Иванов. Очень оригинальное сочинение. Своеобразное толкование алгебры. Логика по существу, математика по методу.
Он набрасывал значки на обороте визитной карточки и показывал собеседнику. Символы основных операций. Логическое сложение, умножение, отрицание. А также парадоксаль ные равенства, в которых икс плюс икс все равно икс, а икс помножить на икс также икс. Не правда ли, забавно? Нет коэффициентов, нет степеней.
— Как вам нравится?
Порецкий с любопытством засматривал в карточку. Как и другие, впервые встретившись с этим, он не мог все сразу переварить, но и не поспешил сказать: «Чушь!»
— Не откажите мне на память, — попросил он под конец беседы и сунул карточку в жилетный кармашек.
Внешне как будто ничто не изменилось после той беседы, состоявшейся в начале восьмидесятого года прошлого века. Штатный преподаватель и астроном-наблюдатель Казанского университета Платон Сергеевич Порецкий продолжал по-прежнему выполнять свои обязанности, учил студентов, глядел по ночам в трубу. Но он частенько заглядывал еще в один мир, пожалуй еще более призрачный и неясный, чем далекие туманности. В мир символической логики.
Он отыскивал все то немногое, что было ей посвящено. Читал самого Буля, восхищаясь его идеями и досадуя на его форму изложения. Знакомился с его комментаторами, которые очищали булевскую систему от сумбурности, отрабатывали более удобную символику, всячески перетряхивая его идеи и шлифуя математический аппарат, который он бросил в первозданном виде на суд всякого, кто пожелает. Под пером некоторых толкователей Буля восемьдесят страничек его книжки превращались иногда в многотомное сочинение, подавляющее своей крайней обстоятельностью и такой бесконечной цепью условных приемов, за которой и вовсе пропадал всякий смысл. Исчисление превращалось в эквилибристику. Порецкий не только изучал и анализировал накопленные премудрости — он искал свою, собственную точку зрения.
Два года прошло. Два года блужданий по лабиринтам символов. Наконец весной восемьдесят второго года, когда тронулся лед на Волге, тронулся и покров молчания над разысканиями Порецкого. Он объявил свой доклад в Обществе естествоиспытателей при Казанском университете.
Два вечера слушало ученое собрание то, что говорил им Порецкий «О способах решения логических равенств и об обратном способе математической логики».
У него был дар не только ясно мыслить, но и ясно излагать. Все туманности, облекавшие алгебру логики, рассеивались в свете его критического ума. И символические обозначения, и основные законы, и правила действия приобретали в его устах и под его мелком на доске четкую, простую форму. Казалось, даже жалко, что эта блистательная способность логического выражения должна быть втиснута в рамки бездушных формул. Но мысль человека тем и велика, что она сама себе ищет остроумную замену.
По правде говоря, только читая Порецкого, и начал Мартьянов что-то понимать в методе алгебры логики.
Порецкий говорил ученому собранию: формы алгебры — количественные, — а формы логики — качественные. Этим они существенно отличаются друг от друга. Но можно приспособить приемы алгебры так, что они будут вполне точно отражать и качественные отношения. И замечательно то, что для этой цели приходится не усложнять, а, наоборот, очень упрощать приемы алгебры. Алгебра логики проста, как ясный день.
Он говорил: ее приемы позволяют переводить словесные условия задачи в символическую форму, — составляются формулы. Но сила метода не столько в символических обозначениях, сколько в выборе правильных соотношений, действительно существующих в логике, — отношений, которые выражаются определенными операциями. Алгебра логики — алгебра отношений.
Он показывал, как можно выражать разные суждения в виде равенств. Например, «если не будет дождя, то мы отправимся в сад и будем там пить чай», — а на языке алгебры это всего лишь
Преобразования и упрощения! Алгебра логики настойчиво предлагала эту возможность, которая, между прочим, больше всего и пленит когда-нибудь инженера Мартьянова.
Порецкий в своем докладе уверял, что применение правил преобразования логических равенств «может быть только приятным». Буль, помнится, говорил об удовольствии, хотя его книгу и упрекали в недостатке изящества. Кто же скажет, что эстетика — сфера не математическая?
Подчеркивал Порецкий и важность того, что выражения алгебры логики можно разлагать на элементарные составные части — атомы речи. Подобно тому, как алгебраические выражения разлагаются на простые сомножители. Звучное слово «конституенты» эхом прокатывалось по залу казанского собрания.
Собрание слушало и… не знало, как ко всему этому отнестись. Забавное увлечение или заявка новой науки?
Но Порецкий и не думал выдавать ее за шкатулку чудес. Он говорил:
— Было бы слишком неосмотрительно полагать, что операции над классами в логике ничем не отличаются от операций над числами. Позвольте напомнить. В самой математике сложение с положительным числом совсем не то, что с отрицательным. Умножение целых чисел совсем не то, что умножение дробей. Умножение линий совсем не то, что чисел… То же между логикой и алгеброй. Это не одно и то же. Нам вполне достаточно, что здесь имеется известная аналогия. Аналогия, и не больше. Но эта аналогия открывает нам большие возможности.
Отступив к доске, он предложил аудитории с легкой усмешкой логическую задачу. О девицах, приехавших на дворянский бал. О них известно следующее. Во-первых, каждая из девиц была или благовоспитанна, или весела, или молода, или красива. Во-вторых, когда начались танцы, то оказалось, что все нетанцующие девицы были некрасивы и что каждая из танцующих была или молода, или весела, или благовоспитанна. В-третьих… Так выписывал он об этих девицах четырнадцать разных суждений, или посылок, как говорят в логике. Четырнадцать всевозможных вариантов из понятий «веселая», «молодая», «красивая», «благовоспитанная», вместе с их отрицаниями, соединенных между собой то словечком «и», то словечком «или». Хватит ли доски? Написав последнее, четырнадцатое условие, по которому, «когда уехали все неблаговоспитанные, все немолодые, все невеселые и все некрасивые, никаких девиц на балу более не осталось», — Порецкий спросил, не желает ли кто-нибудь решить эту логическую задачу, построив соответствующие умозаключения? Установить прежде всего, возможна ли подобная задача и нет ли между ее посылками противоречий. А потом уж описать точным образом «весь мир девиц бала», выражаясь по- булевски: определить отношения между их категориями. Пожалуйста, кто хочет?
Аудитория молчала, пока докладчик окидывал ряды насмешливым взглядом. Никто не вызвался. Все понимали, проходившие логику еще в классических гимназиях, что за такую задачу с обычным приемом словесных рассуждений лучше и не браться.
Насладившись замешательством собрания, Порецкий тут же провел сеанс алгебры логики. Быстро перекроил девиц на буквенные знаки. Составил на каждое из условий свое уравнение, приравнивая к единице, если оно утвердительное, и к нулю, если оно отрицательное, — и, проделав у всех на глазах еще некоторые операции сложения, умножения, вынесения за скобки, получил ответ. Задача возможна. И вот
