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

Ему приходилось лишь удивляться, откуда же она, эта тихая по виду женщина, успела так все учуять со своих философских вершин? Пожалуй, не зря сказал о ней Шестопалов: «О, это такой боец на своем фронте, Анна Борисовна!»

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

— Да это не я беспокоюсь. Это за меня беспокоятся, — поправил Мартьянов.

— Я бы предпочла первое, — тихо и веско произнесла Анна Борисовна.

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

Мартьянов слушал, не прерывая, но перекладывая все для себя, на свой манер.

Ленин в «Философских тетрадях» записал: «Отметить лишь… замечания о символах, что против них вообще ничего иметь нельзя. Но «против всякой символики» надо сказать, что она иногда является «удобным средством обойтись без того, чтобы охватить, указать, оправдать определения понятий». А именно в этом дело философии».

Яснее ясного, кажется. Ленин не отвергает вообще применение символов. Ленин отвергает другое: попытки подменять философские понятия пустыми знаками, которые ничего не определяют, а только затемняют сущность явления. Ясно… если читать внимательно, читать полностью.

Но бывает, читают и запоминают по-разному. Кто ищет в науке что-то обязательно «против», тот только и помнит в ленинской записи: «…против всякой символики…» Ага! Против всякой. Математическая логика, алгебра логики — тоже символика. Значит!..

— Вот так иногда читают или повторяют с чужих слов, — проговорила Анна Борисовна, и по лицу ее снова прошла тень.

— Это же несерьезно! — не утерпел Мартьянов. — Легко ответить.

— Конечно, несерьезно. Если бы манера выхватывать мысли по кусочкам не была бы серьезно распространена. Но погодите, — предупредила она. — Есть и вполне серьезное…

И он опять слушал не отрываясь.

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

На почве математической логики разное произрастает. На ней всходят иногда такие букеты идей, которые поливаются, вероятно, с удовольствием из старой лейки идеализма еще времен самого Лейбница. Заменить процесс мышления вычислением, изобрести всеобщий универсальный язык, открывающий истины для всех наук — давние мечтания и заблуждения Лейбница, выраженные лишь в новейших терминах и в новейших формулах математических операций.

Анна Борисовна обошла быстро свой книжный строй на полках, вынула одно название, другое… Солидный, добротный, академический вид, с тиснением на корешках. Так вот…

Математика объявляется наукой всех наук. Математика лежит в основе всей логики. Всей! Математическая логика — в основе любой науки. Любой! Всеобщий универсальный ключ найден ко всем отраслям знания, ко всем истинам. Чудесный талисман, имя которому — математическая логика.

Анна Борисовна тут же переводила ему с английского и немецкого эти мысли некоторых авторов, показывая, как можно все вывернуть и во что превратить даже самый хороший метод. Недаром Ленин говорил, что «реакционные поползновения порождаются самим прогрессом науки».

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