Изобретение в середине XX века электронных компьютеров дало мощный импульс работам по автоматизации различных сторон интеллектуальной деятельности человека и привело к зарождению и бурному развитию нового научного направления - искусственного интеллекта. Одновременно возник интерес к предыстории искусственного интеллекта, в частности, к попыткам механизировать те или иные этапы процесса мышления. Так, в книге Мартина Гарднера "Логические машины и диаграммы" (1958 г.) объектом изучения стали логические машины - основанные на законах формальной логики устройства, история которых восходит к концу XIII века и которые предназначались для имитации процесса логического вывода. Эта книга давно и по праву считается классической, однако за прошедшее с момента ее появления время был накоплен значительный объем новых сведений об описанных американским ученым логических машинах. Более того, вне поля зрения Гарднера по разным причинам остались несколько логических машин, в том числе изобретенных в России. В предлагаемой вниманию читателей книге интереснейший феномен в истории логики и вычислительной техники - логические машины - впервые в мировой научной литературе рассматривается со всей возможной полнотой. Автор подробно рассказывает об истории создания всех известных логических машин, на многочисленных примерах объясняет принципы их устройства и функционирования, приводит и обсуждает их подчас крайне противоречивые оценки современниками и потомками, а также повествует о ярких и драматич...
Izobretenie v seredine XX veka elektronnykh kompjuterov dalo moschnyj impuls rabotam po avtomatizatsii razlichnykh storon intellektualnoj dejatelnosti cheloveka i privelo k zarozhdeniju i burnomu razvitiju novogo nauchnogo napravlenija - iskusstvennogo intellekta. Odnovremenno voznik interes k predystorii iskusstvennogo intellekta, v chastnosti, k popytkam mekhanizirovat te ili inye etapy protsessa myshlenija. Tak, v knige Martina Gardnera "Logicheskie mashiny i diagrammy" (1958 g.) obektom izuchenija stali logicheskie mashiny - osnovannye na zakonakh formalnoj logiki ustrojstva, istorija kotorykh voskhodit k kontsu XIII veka i kotorye prednaznachalis dlja imitatsii protsessa logicheskogo vyvoda. Eta kniga davno i po pravu schitaetsja klassicheskoj, odnako za proshedshee s momenta ee pojavlenija vremja byl nakoplen znachitelnyj obem novykh svedenij ob opisannykh amerikanskim uchenym logicheskikh mashinakh. Bolee togo, vne polja zrenija Gardnera po raznym prichinam ostalis neskolko logicheskikh mashin, v tom chisle izobretennykh v Rossii. V predlagaemoj vnimaniju chitatelej knige interesnejshij fenomen v istorii logiki i vychislitelnoj tekhniki - logicheskie mashiny - vpervye v mirovoj nauchnoj literature rassmatrivaetsja so vsej vozmozhnoj polnotoj. Avtor podrobno rasskazyvaet ob istorii sozdanija vsekh izvestnykh logicheskikh mashin, na mnogochislennykh primerakh objasnjaet printsipy ikh ustrojstva i funktsionirovanija, privodit i obsuzhdaet ikh podchas krajne protivorechivye otsenki sovremennikami i potomkami, a takzhe povestvuet o jarkikh i dramatich...
