Istoriya Logicheskikh Mashin

V knige predstavlen khronologicheskiy obzor personaliy, postroivshikh sistemy dlya resheniya zadach avtomatizatsii rassuzhdeniy, sozdavshikh logicheskie mashiny, nachinaya s XIII i do ser. XX v. Razvivayushcheesya industrial'noe obshchestvo trebovalo ot nauki avtomaticheskikh vychisleniy. Kak sledstvie, na etom fone interes k zadache avtomatizatsii rassuzhdeniy byl poteryan. Sushchestvuet lish' odin fundamental'nyy trud po istorii logicheskikh mashin - eto kniga izvestnogo amerikanskogo matematika, pisatelya i populyarizatora nauki M. Gardnera (1914-2010) Logicheskie mashiny i diagrammy (Logic Machines and Diagrams), kotoraya ne perevedena na russkiy yazyk do sikh por. Kniga presleduet tsel' dat' ne prosto staticheskiy obzor ili istoricheskuyu spravku po sozdaniyu logicheskikh mashin, ona, v pervuyu ochered', pretenduet na to, chtoby provesti analiz popytok resheniya zadachi avtomatizatsii rassuzhdeniy, vyyavit' tipy podkhodov dlya razresheniya etoy problemy. Odna iz tseley nashey raboty - vskryt' prichiny, po kotorym zadacha avtomatizatsii rassuzhdeniy v XX stoletii perestala interesovat' issledovateley.