Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их. структуру и программирование. Тот, кто интересуется роботами, обнаружит здесь пример составления логических уравнений, на основе которых можно строить кибернетических «зверьков», обладающих простым поведением. Книга рассчитана на широкие круги читателей; она может быть полезна математикам различных специальностей, инженерам, работающим в области связи, автоматики и телемеханики, студентам втузов и др. Для ее понимания достаточно знания математики и физики в объеме средней школы.

Трактат в котором исследованы главные причины заблуждений и затруднений в науках, а также основания скептицизма, атеизма и безверия.