“不确定性问题”（Nondeterministic Problem，NP）与"哥德尔不完全定理“

来源：柳渝科学网博客 1931年哥德尔证明：任何无矛盾的公理体系，只要包含初等算术的陈述，则必定存在一个不可判定命题，用这组公理不能判定其真假。 虽然哥德尔不完全定理只是针对包含数论的公理体系而言的，由于人们相信公理形式系统是人类知识的纯粹性与抽象性的精粹（数学和逻辑），所以哥德尔不完全定理被看成是知识和人类理性的灾难。“完全性”这个观念隐含了人类对自己的知识系统的希望或信仰，也是人类对自己的理性

>>阅读原文<<