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

В связи с интенсивно развивающимися в настоящее время теорией квантовой криптографии и теорией квантовых вычислителей обсуждается возможность синтеза шифров с потенциально бесконечным множеством криптографических ключей, построенных на основе рекурсивно перечислимых, но не рекурсивных множеств.