西西河

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

共:💬277 🌺1121
全看分页树展 · 主题 跟帖
家园 能给我一个特别简单的例子么

我对“不可证明”这个概念比较好奇,听起来像是在说“公理对该命题无能为力”。

印象中,形式语言里有一个概念叫“不可计算”,天,当时就是这个概念把我难得够呛。而这个“不可计算”其实还是能严格证明的;现在要“不可证明”了,我实在有理解困难。呵呵。

看来我得学习一下相关知识才能问出有意义的问题。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河