赞成。最后一句不好说。

来源: 于 2012-02-27 13:33:59 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

图林说，不存在一个一般算法来判定一个任意给定的程序是否一定会终止。哥德尔说，任何相容的形式体系不能证明它本身的相容性。这些都说明任何理论体系都有局限性。