Человек издавна стремился к созданию приборов и машин, которые  выполняли бы за него не только физическую, но и умственную работу. В настоящее время человечество имеет такие машины. Они в миллион раз быстрее их создателя  и считают и вычисляют. Построены эти машины на основании данных математической логики. Математическая логика, и особенно ее составная часть – алгебра логики, - имеет глубокую принципиальную связь с теорией построения автоматов. Она послужила основанием для развития кибернетики – «этого высшего раздела автоматики, служащего созданию машин, продолжающих человеческий мозг».