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

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

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

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

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

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

Буль показал, что всякое логическое выражение, обозначенное в символах, можно разложить на простейшие составные части. Смотрите, единица, то есть «весь мир речи», состоит из всех икс или всех не-икс, скажем, из всего «живое» или всего «не-живое». 1 = х+х1.

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

Если выражение зависит от двух символов x и y, то разложение единицы будет выглядеть так:

1 = xy+xy1+x1y+x1y1.

Попробуйте-ка это выразить словами.

Буль назвал такие составные части по-английски — «конституенты». И вместе с ними перешел от обычных способов мышления, непосредственных и очевидных, к способам собственно алгебраическим, уже не столь явно связанных со смыслом, но тем не менее вполне логичным и достоверным. Умозрение уступило место вычислению.

Конституенты! Красивое, звучное слово. Оно еще скажет многое Мартьянову. А пока что постараемся его хотя бы не забыть.

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

Он не ошибся: мысль будет искать. Вечно пытливая, беспокойная человеческая мысль. Вопреки всему, что захочет ее сковать, остановить.

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

Васильев рассказывал: ему попалась в руки книжка. Английский автор. Буль по фамилии. Вероятно, столь же распространенное там, как у нас Иванов. Очень оригинальное сочинение. Своеобразное толкование алгебры. Логика по существу, математика по методу.