「不確定性問題」（Nondeterministic Problem，NP）與"哥德爾不完全定理「

來源：柳渝科學網博客 1931年哥德爾證明：任何無矛盾的公理體系，只要包含初等算術的陳述，則必定存在一個不可判定命題，用這組公理不能判定其真假。 雖然哥德爾不完全定理只是針對包含數論的公理體系而言的，由於人們相信公理形式系統是人類知識的純粹性與抽象性的精粹（數學和邏輯），所以哥德爾不完全定理被看成是知識和人類理性的災難。「完全性」這個觀念隱含了人類對自己的知識系統的希望或信仰，也是人類對自己的理性

>>阅读原文<<