Александр Васильевич Морозов, выдающийся математик и специалист по теории вероятностей, разработал уникальную концепцию логического анализа. Его теория утверждала, что любое утверждение либо истинно, либо ложно, и промежуточных состояний не существует. Однако на практике обнаруживались случаи, когда утверждения не соответствовали правилам классической логики. Например, фраза "Я лгу" создаёт замкнутый цикл, невозможный для разрешения традиционным методом. Александр поставил перед собой задачу доказать несостоятельность подобной аргументации и показать, что классическая логика остаётся единственной правильной формой рассуждений. Для доказательства своей теории Александр создал сложное логическое устройство, состоящее из серии компьютеров и программного обеспечения. Машина осуществляла автоматический перебор вариантов решений, выводя правильный ответ на поставленную проблему. Первым делом Александр ввёл предложение "Я лгу" в машину. Результат был ожидаемым: машина зависла, не сумев выбрат