Когда приходит ответ

Он соединял два каких-нибудь понятия в новое, третье, с помощью обычных для нашей речи связок «и», «или» и убеждался, что эту операцию тоже можно выразить символически. Класс вещей всех твердых (x) и вместе с тем всех стеклянных (у) можно обозначить x — y (умножение!). А класс вещей, принадлежащих к твердым или стеклянным, как x + y (сложение!).

Сложение, умножение. Не правда ли, совсем запахло математикой, алгеброй! Но дальше — больше.

Если мы имеем класс вещей всех твердых и всех стеклянных, то можно сказать и в обратном порядке: класс вещей всех стеклянных и всех твердых. Смысл не меняется! И Буль выводил правило: значит, в логике xy = yx. Позвольте, а ведь это известный алгебраический закон коммутативности.

То же и с понятиями, которые связаны словечком «или» — логическое сложение, как он назвал. Здесь также можно переставлять. Сумма-то не меняется. «Или стеклянный, или твердый» — все равно что «или твердый, или стеклянный». Опять тот же закон, как и в алгебре.

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

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

И Буль доказывал сейчас; да, можно. Можно понятия заключать в скобки, а общие понятия, как общие множители в алгебре, выносить за скобки.

Удалось ему доказать и то, от чего его душа математика затрепетала в волнении. О боже, оказывается, отношения в логике подвержены и такому алгебраическому закону, как закон дистрибутивности!

Закон говорит: можно сложить две величины и потом помножить на третью, а можно сначала каждую из двух величин порознь помножить на третью и уж потом результаты умножения сложить между собой — получится то же самое. Как это громоздко в словах и как просто в символической записи. И Буль записал короткую строчку: х (u + v) = xu + xv. Один из самых фундаментальных законов, на которых выросла вся алгебра. А он подметил сейчас то же свойство и в логике.

Немалое открытие. Потому-то через сотню лет советский ученый-инженер Григорий Мартьянов и услышит из уст докладчика в университете то же многозначительное выражение: «Эта структура дистрибутивна…»

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

А в логике? В логике Буль обнаруживал другое. Класс всего белого плюс класс всего белого все равно остается белым. Или класс всех мудрецов плюс опять же класс всех мудрецов будет все тем же классом мудрецов, а не то, что в два раза мудрее. Стало быть, в символической логике икс плюс икс уже не два икс, а просто все тот же самый икс. Складывайте хоть до второго пришествия. Отсюда вывод: в логике сложение двух одинаковых величин не дает удвоения. Алгебра, да не совсем та же алгебра. Она не знает коэффициентов.

Ну, а если помножить? Известно, что всякая величина, помноженная сама на себя, дает степень, возводится в квадрат. Дважды два — четыре. Икс на икс — икс в квадрате.

А в логике? В логике этого тоже не получалось. Белое на белое не становится белым в квадрате, а остается все тем же белым. Икс на икс не дает икс квадрат. Просто икс. Быть человеком и человеком все равно что быть человеком. Отсюда вывод: алгебра понятий не знает и возведения в степень. Алгебра без степеней!

Странная алгебра. И похожая и непохожая. Но все же алгебра, потому что в ней соблюдаются основные законы и потому что выражается она языком символов. Сокращенный птичий язык!

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