Век с лишним спустя после выхода “Путешествий Гулливера” жизнь продолжала подтверждать правоту Свифта, издевавшегося над создателями логических устройств.
Еще больше, чем Бэббиджа, высмеивали английского философа Джевонса (1835-1882), построившего “логическое пианино”. Людей, ставивших перед собой подобные задачи, неизменно сравнивали с лапутянами.
Кроме тех, разумеется, кто работал до Свифта.
Первый арифмометр, производивший сложение и вычитание, построил, как известно, в 1642 году Блез Паскаль (1623-1662). Ему в это время шел двадцатый год, и он увлекался логикой. Занятиям этой наукой он и хотел посвятить свое каникулярное время. Но отец, сборщик податей, поручил ему вместо этого сделать за себя множество расчетов.
Тогда логика пришла на выручку Паскалю - она помогла ему создать арифмометр. Недаром логика и математика родились сестрами. С тех пор у каждой из них появилась многочисленная родня, требующая к себе внимания, но всякий раз, когда они вспоминают, кем друг другу приходятся, это приносит немало пользы. Второй арифмометр построен математиком, но задуман тоже философом. В двадцатипятилетнем возрасте Лейбница увлекла идея испанского схоласта и алхимика Раймонда Луллия [И не его одного: в начале 80-х годов XVI века Джордано Бруно обучал французского короля Генриха III “искусству Луллия”, и король остался весьма доволен его уроками.] (1234-1315). Тот мечтал создать метод, который сводил бы все богатство понятий к основным категориям, составляющим “азбуку человеческой мысли”, а потом “вложить” его в машину, способную отобрать “все истинные высказывания”. Машина была построена, но, как легко понять, она не выдавала “все истинные высказывания”, а лишь сочетала известное число внесенных в нее философских понятий. Лейбниц тоже создал не задуманную им логическую машину, а арифмометр, только более совершенный, чем у Паскаля.
Широкие философские замыслы приводили к созданию сравнительно элементарных счетных устройств. Логическая машина в нашем понимании слова не могла появиться в то время. Ведь даже великий Лейбниц, не говоря уже о Луллии, не пришел еще к современной символической логике. Да и технически такая машина была неосуществима еще в XIX веке.
Свифт исходил в своей сатире скорее всего из работ наиболее близкого к нему по времени Лейбница.
На современной Свифту иллюстрации к “Путешествиям Гулливера”, сделанной по его указаниям (она повторена фран цузским художником XIX века Гранвилем, с рисунками которого обычно публикуется у нас книга Свифта), изображена одна из систем этой машины. Это две параллельные оси, на одной из которых неподвижно укреплен ряд зубчатых колес с разным количеством зубьев, а на другой - свободно вращающиеся кубики. При вращении первой оси кубики совершают разное число оборотов и с их граней считываются потом значения - в данном случае слова в самых неожиданных сочетаниях. Число комбинаций в этом случае будет равно 4п, где “п” - количество кубиков. Иными словами, два кубика дадут 16 комбинаций, четыре - уже 256 и т. д. Числа немалые. К тому же в каждой машине заключено множество подобных систем. И все же ученый, демонстрирующий Гулливеру эту машину, сетует, что она дает недостаточное количество сочетаний, и мечтает о пятистах таких же машинах, работающих одновременно.
Нетрудно понять, что лапутянское изобретение - это попросту арифмометр, возвращенный к самым своим примитивным формам и показывающий не цифровые значения, а словесные. Конечный - как говорилось, достаточно ограниченный - результат многолетних размышлений и выкладок Лейбница нарочито соединен с его первоначальным замыслом.
Этим и достигается комический эффект. Изображенная Свифтом “логическая машина” производит не “книги по философии, поэзии, политике, праву, математике и богословию”, на что надеялся ее создатель из Великой академии в Ладого, а совершеннейшую бессмыслицу.
Все это очень остроумно. Но если сто лет назад, когда, подобно Свифту, никто не верил в логические машины, автора этой пародии не думали зачислять в научные фантасты, вправе ли мы это делать сейчас, после того, как эти машины появились на деле и неправота Свифта для всех очевидна?
Вправе.
Во времена Свифта, да и долго еще после него, казалось, что Свифт за редкими исключениями осмеял теории, предположения и проекты механизмов, никакого отношения к истинной науке не имеющие.
Для нас сейчас ясно другое - Свифт подозрительно часто обращал внимание на то, что впоследствии подтверждалось наукой.