五千年(敝帚自珍)

主题:【原创】上帝之书 -- 我爱莫扎特

共:💬277 🌺1121
全看分页树展 · 主题 跟帖
家园 这个不可判定性定理

这个“不可判定”听起来有点儿像我前面说的“不可计算”了,如果你愿意把判定视为一种二值计算的话。

这个牛哄哄的定理指出,不存在一个系统的方法,对一个输入命题的可证明性,进行判断。

我越来越怀疑这个“不可判定”和“不可计算”有某种关联了。因为如果把上面蓝字作如下诠释:

“可证明”即是运算终止并输出结果(结果的值表示证实或证伪,不影响可证明性的存在)。

那么“不可判定”就和“不可计算”统一起来了。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河