五千年(敝帚自珍)

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

共:💬277 🌺1121
全看分页树展 · 主题 跟帖
家园 你对完备性的理解是什么?

公理体系的完备性:对属于该公理体系的命题,必须能够给出基于给定公理的证明或者否定,也就是说,公理必须足够多。

很遗憾,由于哥德尔不完备性定理,可以说大部分公理体系都彼此彼此。

你这里说的完备性似乎是另一种含义:理论所描述的对象必须包罗万有,这个根本不可能。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河