赞成。最后一句不好说。

来源: 乱弹 于 2012-02-27 13:33:59 [] [博客] [旧帖] [给我悄悄话] 本文已被阅读： 0 次 (152 bytes)
本文内容已被 [ 乱弹 ] 在 2012-02-28 09:52:40 编辑过。如有问题，请报告版主或论坛管理删除.
图林说，不存在一个一般算法来判定一个任意给定的程序是否一定会终止。哥德尔说，任何相容的形式体系不能证明它本身的相容性。这些都说明任何理论体系都有局限性。
请您先登陆，再发跟帖！

发现Adblock插件

如要继续浏览
请支持本站 请务必在本站关闭/移除任何Adblock

关闭Adblock后 请点击

请参考如何关闭Adblock/Adblock plus

安装Adblock plus用户请点击浏览器图标
选择“Disable on www.wenxuecity.com”

安装Adblock用户请点击图标
选择“don't run on pages on this domain”