Вернемся к формулировке трудности, решение которой дискуссировалось. Некие теоретические трудности (к примеру, неувязка алгоритмической разрешимости) и потребности практики (к примеру,…