О судьбе центрального философского замысла создателя алгебры логики: к 200-летию Джорджа Буля
АннотацияРассматривается история реализации главного философского замысла пионера математической логики Джорджа Буля. Замысел заключался в использовании созданных им логико-алгебраических и теоретико-вероятностных методов для моделирования процессов мышления. Несмотря на то что этот проект оказался несостоятельным, современное развитие computer science и программирования удивительным образом подтвердило идеи Буля о плодотворности применении строгих методов логических исчислений в области выражения процессов мышления.
The article considers the history of George Boole’s main philosophical conception consisting in using his logical-algebraic and theoretical-probabilistic methods in modelling thought processes. Despite the project’s failure, current developments in computer science and programming have surprisingly confirmed Boole’s ideas on the applicability of rigorous methods of logical calculus in the explication of thought processes.