|
何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。
[这个贴子最后由ygq的马甲在 2009/03/30 10:49pm 第 1 次编辑]
下面引用由tnjian在 2009/03/30 10:26pm 发表的内容:
我说的是,哥德尔第一不完备性定理,请问,哪里有不妥
哥德尔的第一条不完备定理表明任何一个允许定义自然数的体系必定是不完全的:它包含了既不能证明为真也不能证明为假的命题。
恩,另外,我不是学数学基础的 ... 哥德尔不完全性定理,只在“形式”逻辑范围内成立。难道你不知道吗???[br][br][color=#990000]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
附图:二维几何模型表示的逻辑类型

【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪"Φ"
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)=" Ï " 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
举例来说,这种“扩张、扩展extension”体系,就不管这个“哥德尔不完全性定理” |
|