Встраивание доказуемо неразрешимых задач в шифры гаммирования

В связи с интенсивно развивающимися в настоящее время теорией квантовой криптографии и теорией квантовых вычислителей обсуждается возможность синтеза шифров с потенциально бесконечным множеством криптографических ключей, построенных на основе рекурсивно перечислимых, но не рекурсивных множеств. In view of intensively developing theories of quantum cryptography and of quantum computers, the possibility to construct ciphers with a potentially infinite set of cryptographic keys based on recursively enumerable, but not recursive sets is discussed.