универсального научного языка, и Calculus Ratiocinator[8], то есть идею логического исчисления. Пускай данное логическое исчисление было весьма далеким от совершенства, оно являлось прямым предшественником современной математической логики.
Поглощенный мыслями о коммуникации, Лейбниц сразу во многих отношениях выступил интеллектуальным предшественником идей, излагаемых в настоящей книге, ибо он также интересовался машинными вычислениями и автоматами. Взгляды, которые я излагаю в этой книге, весьма далеки от философских взглядов Лейбница, но проблемы, которые меня заботят, безусловно могут считаться лейбницианскими по духу. Счетные машины были для Лейбница всего одним из проявлений его интереса к
