哥德尔曾说，世界的意义就在于事与愿违以及超越这种事愿分离的努力。哥德尔不完全性定理及其证明方法是划时代的历史贡献。哥德尔对不可计算性的理解、数学形式系统的证明与数学真理之间为何隔着超穷距离的思想，以及可计算性和可判定性概念与图灵机的精妙结合，如何奠定了计算机科学的基础，并催生了人工智能和认知科学，这些都与哥德尔定理究竟说了什么密切相关。

今日人工智能和认知科学一路高歌猛进，却大有忽视哥德尔思想资源之嫌。在不完全性定理发表90周年之际，再次重申哥德尔定理不可估量的思想价值，适时而必要。