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