История логических машин

Изобретение в середине XX века электронных компьютеров дало мощный импульс работам по автоматизации различных сторон интеллектуальной деятельности человека и привело к зарождению и бурному развитию нового научного направления - искусственного интеллекта. Одновременно возник интерес к предыстории искусственного интеллекта, в частности, к попыткам механизировать те или иные этапы процесса мышления. Так, в книге Мартина Гарднера "Логические машины и диаграммы" (1958 г.) объектом научения стали логические машины - основанные на законах формальной логики устройства, история которых восходит к концу XIII века и которые предназначались для имитации процесса логического вывода. Эта книга давно и по праву считается классической, однако за прошедшее с момента ее появления время был накоплен значительный объем новых сведений об описанных американским ученым логических машинах. Более того, вне поля зрения Гарднера по разным причинам остались несколько логических машин, в том числе изобретенных в...