主题:【原创】上帝之书 -- 我爱莫扎特
共:💬277 🌺1121
我对“不可证明”这个概念比较好奇,听起来像是在说“公理对该命题无能为力”。
印象中,形式语言里有一个概念叫“不可计算”,天,当时就是这个概念把我难得够呛。而这个“不可计算”其实还是能严格证明的;现在要“不可证明”了,我实在有理解困难。呵呵。
看来我得学习一下相关知识才能问出有意义的问题。
- 相关回复 上下关系8
压缩 5 层
🙂你对完备性的理解是什么? 1 汽车零部件 字256 2010-05-19 00:24:02
🙂关于“完备” 1 预备役师的防化 字887 2010-05-19 06:47:07
🙂所谓命题属于公理体系 3 汽车零部件 字610 2010-05-19 18:11:19
🙂能给我一个特别简单的例子么
🙂这么明显的例子都忘了?第五公设不可证明 2 汽车零部件 字240 2010-05-19 18:53:40