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