О возможности механизировать не только вычисления (этой цели служил ещё абак), но и рассуждения учёные задумывались очень давно. Английский писатель Джонатан Свифт в третьей книге своих бессмертных «Путешествий Гулливера» подверг мечты о механизированных рассуждениях жестокой насмешке. Знаменитый сатирик оказался не прав. Желанное исчисление было построено в XIXстолетии. Кто является его основоположником?