О судьбе центрального философского замысла создателя алгебры логики: к 200-летию Джорджа Буля
АннотацияРассматривается история реализации главного философского замысла пионера математической логики Джорджа Буля. Замысел заключался в использовании созданных им логико-алгебраических и теоретико-вероятностных методов для моделирования процессов мышления. Несмотря на то что этот проект оказался несостоятельным, современное развитие computer science и программирования удивительным образом подтвердило идеи Буля о плодотворности применении строгих методов логических исчислений в области выражения процессов мышления.