主题:【原创】上帝之书 -- 我爱莫扎特
共:💬277 🌺1121
公理体系的完备性:对属于该公理体系的命题,必须能够给出基于给定公理的证明或者否定,也就是说,公理必须足够多。
很遗憾,由于哥德尔不完备性定理,可以说大部分公理体系都彼此彼此。
你这里说的完备性似乎是另一种含义:理论所描述的对象必须包罗万有,这个根本不可能。
- 相关回复 上下关系8
压缩 2 层
🙂请教一下 3 预备役师的防化 字546 2010-01-06 17:23:33
🙂欧几里得公理体系 2 汽车零部件 字1459 2010-05-18 01:44:46
🙂兄台好帖,寓教于乐啊 1 预备役师的防化 字322 2010-05-18 06:09:36
🙂你对完备性的理解是什么?
🙂关于“完备” 1 预备役师的防化 字887 2010-05-19 06:47:07
🙂所谓命题属于公理体系 3 汽车零部件 字610 2010-05-19 18:11:19
🙂能给我一个特别简单的例子么 1 预备役师的防化 字288 2010-05-19 18:34:23
🙂这么明显的例子都忘了?第五公设不可证明 2 汽车零部件 字240 2010-05-19 18:53:40