А работе выдвинуто положение о принципиальной неразрешимости диалога человека с ЭВМ средствами формальной логики. Рассматриваемые в книге вопросы носят проблемно-постановочный характер и могут стать предметом дальнейшего широкого научного обсуждения.