我们的研究问题始于哥德尔不完备性定理，该定理指出： “在任何合理的数学系统中，总会存在无法证明的真实陈述”

停机问题是根据对任意计算机程序的描述和输入来确定程序是将结束运行还是永远继续运行的问题。艾伦图灵于 1936 年证明，解决所有可能的程序输入对的停机问题的通用算法是不存在的。 停机问题是第一个经过验证的不可判定问题示例。

“构建抗量子加密” 上述问题是我们近期研究的核心问题陈述。 通过研究问题的进展、较早发展的定理和不可判定性的概念，我们开发了自己的专利加密作为解决问题的建议方法。 最新消息(https://airesatech.com/news)