Борис Бирюков - Жар холодных числ и пафос бесстрастной логики
«Искусство» Луллия мало кого оставляло равнодушным. Доминиканский орден объявил это изобретение бредовой идеей сумасшедшего (правда, францисканцы относились к нему с симпатией); Ф. Рабле категорически осудил «искусство»[2]; иронизировал над ним и Ф. Бэкон[3]; сатиру Свифта мы привели выше. Но Дж. Кардано находился под влиянием Луллия, что отразилось в самом названии его математического труда («Великое искусство, или Об алгебраических правилах», 1545), а Дж. Бруно был увлеченным «луллистом». Пожалуй, значение Ars Magna в истории науки весомее всего подтверждается тем, что оно вдохновило молодого Лейбница на выдвижение проекта «универсального языка», с помощью которого все человеческое знание, включая мораль и философские истины, может получаться автоматически (Лейбниц прямо указывал на связь своих идей с замыслом Луллия).
С позиций современности Ars Magna была первой в истории попыткой использовать механическое устройство для облегчения логических действий, так что Луллий по всей справедливости мог бы претендовать на патент, удостоверяющий, что ему принадлежит «идея логической машины». В отношении же фактического осуществления этой идеи он ушел недалеко[4]. Не будем говорить о том, что само предположение о наличии в каждой области знания небольшого числа исходных понятий и положений уже является слабым местом метода; дело также в том, что прибор Луллия не доводит механическую процедуру до конца, до построения умозаключения, а лишь поставляет человеку исходный материал (сочетание понятий) для выведения следствий путем размышления. Рассматривая прибор Луллия как вычислительную машину, мы могли бы сказать, что эта машина способна выполнять единственную операцию — перебор вариантов, окончательный же результат может быть получен только с участием человека. Если читателю покажется, что устройство с такими характеристиками не имеет никакой ценности, заметим, что гигантские современные ЭВМ тратят значительную часть своего времени как раз на перебор, и что использование ЭВМ как составной части вычислительной системы «машина — человек» имеет огромное значение (это видно хотя бы из того, что отечественная малая электронная вычислительная машина «МИР-2» специально сконструирована для процедур, и которых она принимает участие попеременно с математиком).
Хотя идея логической машины, впервые высказанная еще в XIII веке, с тех пор не умирала, долгое время из нее ничего теоретически ценного и практически полезного не получалось. Поэтому средневековые схоластические логики продолжали изучать и совершенствовать силлогистику Аристотеля, пользуясь средствами естественного языка, к которым присоединялись простейшие диаграммы и буквенные обозначения.
Следующая попытка вдохнуть в логику новую жизнь была грандиозной по масштабу проекта и гениальной по замыслу. Непосредственно она не была связана с какими-либо приборами или другими физическими устройствами, хотя несомненна ее преемственность с методом Луллия. Эта попытка тоже повисла в воздухе, поскольку смелая мысль ее создателя опережала реальные возможности существовавшей в то время математики. Но и в этом случае идея не погибла, а перешла в некое состояние анабиоза, чтобы в должный час произвести свое действие. Мы говорим о любимой идее Готфрида Вильгельма Лейбница (1646—1716) — его «Универсальной характеристике».
Коль скоро мы коснулись некоторых сторон жизни Раймунда Луллия, то Лейбницу мы должны были бы отвести несколько страниц, если руководствоваться различием в их вкладе в мировую науку. Но о Лейбнице много написано и как об одном из создателей дифференциального и интегрального исчисления, и как о знаменитом философе, авторе теории монад — гипотетических бесконечно множественных первоэлементов мира, соединяющих в себе как материальное, так и духовное начало. Поэтому мы отметим лишь те черты великого ученого, которые начисто исключают предположение о его эмоциональной обедненности, могущее возникнуть у читателя после ознакомления с его программным тезисом.
Математика и логика составляли только небольшую долю тех предметов, в которых Лейбниц достиг вершин познания и успеха. Он был прославленным юристом, богословом, философом; он занимался историей, был придворным историографом, литератором и государственным деятелем; его занятия в каждой из этих сфер уже обеспечили бы ему сохранение имени в веках. Он был незаурядным организатором и, в частности, основал Берлинскую академию наук — впоследствии один из крупнейших научных Центров мира. Интересно, что Петр Первый неоднократно советовался с Лейбницем по вопросам образования и науки, в частности, обсуждал с ним план создания Санкт-Петербургской академии наук. Как и Луллий, Лейбниц съездил почти всю Европу, то выполняя поручения монархов, то гонимый своей неукротимой энергией и любознательностью.
Но как бы ни разрывался человек между многочисленными обязанностями и увлечениями, у него бывает главный замысел, иногда несколько смутный и призрачный, связанный с наибольшими надеждами, более всех Других дающий необходимое каждому ощущение осмысленности своей жизни и деятельности. Нет сомнения, что любимой мечтой Лейбница, которую он лелеял как самое драгоценное из всего, чем он занимался (в частности, как более драгоценное, чем дифференциалы и интегралы), была «Универсальная характеристика».
Приступая к описанию великого замысла Лейбница и к его оценке, авторы должны признаться, что отчетливо видят всю трудность, а может быть, и невыполнимость этой, задачи. Поскольку идея Лейбница на двести лет опередила эпоху и осталась в свое время не только не реализованной, но в значительной мере и не опубликованной[5], сейчас уже нельзя установить ее аутентичное содержание и реконструировать оригинальный проект — ведь в полном виде он существовал лишь в голове Лейбница. Непонимание и непринятие современниками далеко идущей идеи, родившейся до срока, существенным образом повлияло на ее разъяснения, делавшиеся в конце XVII—начале XVIII века его комментаторами, а также на публичные высказывания самого Лейбница по этому вопросу, так как он был вынужден. считаться с реакцией неподготовленной аудитории[6]. Короче, из-за нерелевантности идеи при первоначальном обнародовании (частичном и фрагментарном) она подвергалась неизбежным искажениям. Это — одна сторона трудностей. Вторая состоит в том, что сегодня, когда многообещающие перспективы, заложенные в проекте «искусственного интеллекта», стали очевидными, мы незаметно для себя можем приписать Лейбницу такую силу предвидения, которой он при всей своей гениальности, возможно, и не обладал. Поэтому мы изложим лишь фактическую часть, а в оценке вклада Лейбница в становление кибернетики призовем на помощь авторитеты.
Лейбниц потерял отца, когда был еще шестилетним мальчиком, но отец, профессор нравственной философии Лейпцигского университета, успел привить ему любовь к знанию. Пользуясь богатой библиотекой отца, молодой Готфрид изучил классические языки, историю, гуманитарные науки, философию. Но он штудировал также математику и аристотелеву логику. Эти последние занятия Лейбница и сыграли, видимо, главную роль в том, что уже в пятнадцатилетнем возрасте он начал вынашивать проект «универсальной характеристики» — средства, с помощью которого все человеческое познание должно было подвергнуться коренному преобразованию[7].
Это средство, по мысли Лейбница, должно состоять из двух инструментов: искусственного языка науки (его-то собственно, он и называет characteristica universalis) и исчисления умозаключений (calculus rationator). Искусственный язык науки должен быть универсальным и совершенным в следующем смысле: он должен служить средством выражения любых мыслей, должен устранять барьеры разноязычной речи, способствуя тем самым распространению научных идей, а также должен стать орудием логического анализа любых проблем. Выражения естественного языка в универсальном языке науки должны быть заменены компактными, наглядными, хорошо обозримыми и однозначно понимаемыми знаками. Конечно, эта грандиозная замена не была фактически проведена Лейбницем, но у него был совершенно ясный план проведения ее в жизнь: нужно было свести все понятия к некоторым элементарным понятиям, образующим как бы алфавит, азбуку человеческих мыслей. Когда это удастся сделать, считал Лейбниц, станет возможным заменить обычные рассуждения оперированием со знаками. Правила такого оперирования должны быть даны во второй части «сверхнауки» — в исчислении умозаключений. Они должны однозначным образом определять последовательности выполнения действий над данными знаками и сами эти действия, так что при правильном их применении ни для каких разногласий не остается места. Эта сокровенная цель всего замысла Лейбница провозглашена им в широко известном тезисе: «Единственное средство улучшить наши умозаключения состоит в том, чтобы сделать их столь же наглядными, как и у математиков, такими, что их ошибочность можно было бы увидеть глазами, и, если между людьми возникают разногласия, достаточно было бы только сказать «Вычислим!», чтобы без дальнейших околичностей стало ясно, кто прав»[8].
