图灵停机问题意义不大，即使它问得对，那一秒钟你心中的数据加一加好像也没多少变化。算法的强大恰恰在于随时随地可以重新演绎过程。事实上现实比游戏复杂得多，很多人以为游戏就是计算机随手几步操作，实际上，游戏很复杂。游戏的现实指令实现远比物理解决方案多得多。因此我从来不否认什么做游戏的想象力要多于算法的鬼...
摘要:图灵机停机问题是计算机理论的重大问题,罗素悖论是第三次数学危机的根源,哥德尔不完全性定理是现代逻辑中的重大发现,三者对科学发展都产生了深远的影响,一直备受科学界、哲学界瞩目。然而自哥德尔不完全性定理提出至今,其证明的科学性、哲学意义一直备受质疑,特别是维特根斯坦把其看作是某种逻辑悖论;同时罗素悖论至...