The paper puts forward a provision on the fundamental insolubility of the dialogue between a person and a computer by means of formal logic. The issues considered in the book are problematic and can become the subject of further wide scientific discussion.