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