Istoriq logicheskih mashin

V knige predstawlen hronologicheskij obzor personalij, postroiwshih sistemy dlq resheniq zadach awtomatizacii rassuzhdenij, sozdawshih logicheskie mashiny, nachinaq s XIII i do ser. XX w. Razwiwaüscheesq industrial'noe obschestwo trebowalo ot nauki awtomaticheskih wychislenij. Kak sledstwie, na ätom fone interes k zadache awtomatizacii rassuzhdenij byl poterqn. Suschestwuet lish' odin fundamental'nyj trud po istorii logicheskih mashin ¿ äto kniga izwestnogo amerikanskogo matematika, pisatelq i populqrizatora nauki M. Gardnera (1914¿2010) «Logicheskie mashiny i diagrammy» («Logic Machines and Diagrams»), kotoraq ne perewedena na russkij qzyk do sih por. Kniga presleduet cel' dat' ne prosto staticheskij obzor ili istoricheskuü sprawku po sozdaniü logicheskih mashin, ona, w perwuü ochered', pretenduet na to, chtoby prowesti analiz popytok resheniq zadachi awtomatizacii rassuzhdenij, wyqwit' tipy podhodow dlq razresheniq ätoj problemy. Odna iz celej nashej raboty ¿ wskryt' prichiny, po kotorym zadacha awtomatizacii rassuzhdenij w XX stoletii perestala interesowat' issledowatelej.