-
-
24康托尔、哥德尔、图灵——永恒的金色对角线(rev#2) By 刘未鹏 我看到了它，却不敢相信它[1]。 ——康托尔 计算机是数学家一次失败思考的产物。 ——无名氏 哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科，深刻影响着人们的思维。图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠DpnEW
8-30
-
4罗素悖论――哥德尔――弗协调逻辑――佛学浅谈 庄朝晖 我们面对的重大
-
4哥德尔不完备定理 在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 任何一个相容的数学形
