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

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

Философы, увидев формулы, отворачивались: «Это математика, не по нашей части». Математики, увидев построения логики; «предложение», «умозаключение», — отшатывались: «Это философия, лучше подальше». Недаром было сказано, что современные математики не любят вступать «на скользкий путь философии». Того и гляди… И математической логике приходилось пробираться меж двух огней — ничейная полоса!

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

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

2

Конъюнкция… Дизъюнкция… Одноместный предикат… Логическая равносильность… Операция инверсии… Бог ты мой, как же пробиться ему сквозь строй чуждых терминов и выражений! Докладчики писали на доске непонятные строчки из букв и каких-то знаков, то похожих на галочки и стрелки, а то и вовсе на причудливые нотные ключи. Но из-за одного какого-нибудь значка мог вдруг разгореться долгий спор среди участников семинара, люди вскакивали с места и горячились и писали на доске по-своему другие галочки и крючочки, потому что, оказывается, за таким значком стояла всегда какая-нибудь цепочка рассуждений, которую не так-то просто было выразить словесно.

Мартьянов мало понимал из того, что здесь говорилось и доказывалось. Уловил только, что ряды этих значков, похожие на формулы, помогают спорящим экономнее изъяснять свои доводы, помогают доказывать что-то друг другу без того, чтобы каждый раз пускаться в длинные разглагольствования. Просто какая-нибудь буква алфавита с какой-нибудь закорючкой принимается за определенное понятие. И с ними, с этими буковками, оперируют и так и сяк. Кажется, именно это собравшихся больше всего и интересовало: как разные буквы соединять в группы, переставлять, заменять.

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

А суть того, о чем говорилось, все-таки от Мартьянова ускользала. Уж больно туманный, непонятный язык. Ему оставалось только сидеть безучастным зрителем. Это он-то, который не может ни вставить по любому поводу своего мнения или ни сказать свое излюбленное: «Нет, это не так!» Что же ему тогда здесь время проводить? И он уж не раз поглядывал на дверь.

— У нас сегодня еще одна тема, — произнес тихий голос председателя. — Василий Игнатьевич Шестопалов сообщит некоторые выводы своей диссертации. Алгебра двухполюсных схем. Прошу…

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

Мартьянов насторожился. Двухполюсные схемы — это уже что-то по его части. Есть такие электрические схемы, что называют двухполюсниками. Но при чем тут алгебра? Ну-ну, что ты там надумал…

Высокий между тем продолжал так же быстро говорить, стуча мелом по доске, почти не оборачиваясь к аудитории. Следить за его объяснениями было трудно. Опять те же туманности. Логическая равносильность, гармоническое сложение, инверсия… Мартьянов и не пытался следить за всеми подробностями, так сказать за пируэтами доказательств. Все равно не разобраться. Но дело касалось электрических схем. И тут Мартьянов многое схватывал на лету. (Ага, вот к чему ты клонишь!) Важно было не упустить основное. Куда это все ведет?

А вел докладчик к тому, что заставляло Мартьянова прислушиваться все внимательнее.