主题:【原创】上帝之书 -- 我爱莫扎特
共:💬277 🌺1121
这个“不可判定”听起来有点儿像我前面说的“不可计算”了,如果你愿意把判定视为一种二值计算的话。
这个牛哄哄的定理指出,不存在一个系统的方法,对一个输入命题的可证明性,进行判断。
我越来越怀疑这个“不可判定”和“不可计算”有某种关联了。因为如果把上面蓝字作如下诠释:
“可证明”即是运算终止并输出结果(结果的值表示证实或证伪,不影响可证明性的存在)。
那么“不可判定”就和“不可计算”统一起来了。
- 相关回复 上下关系8
压缩 2 层
🙂不完备性一点不稀奇 3 汽车零部件 字1185 2010-05-20 19:45:19
🙂吐血吐血 1 预备役师的防化 字503 2010-05-20 21:56:26
🙂比这个还要糟糕的是“不可判定性定理”的存在 3 汽车零部件 字436 2010-05-21 06:04:35
🙂这个不可判定性定理
🙂Entscheidungs problem 2 汽车零部件 字82 2010-05-21 19:27:57
🙂看到形式语言了 1 预备役师的防化 字22 2010-05-21 19:31:07
🙂上花,好文章 1 羽羊 字30 2009-02-17 01:55:32
🙂好像高斯确实发现了非欧几何,而且没有发表。 1 隔路山贼 字68 2009-02-17 01:53:09