|
|
|
[这个贴子最后由申一言在 2009/12/17 00:09pm 第 3 次编辑]
《中华单位论》完成了希尔伯特没有完成的元数学!
>>希尔伯特提出了著名的证明论计划,其基本内容为:
① 将所要讨论的古典数学理论T(有内容的)(如数论)公理化,把所得的公理化理论和所用的逻辑彻底地形式化,使得有内容的古典数学理论T(如数论)能表成一些形式符号和形式符号公式(它们是没有内容的)组成的系统,记为TF,TF形式地摹写了T中的现实命题和理想命题以及其间的逻辑关系。这种形式符号系统TF称为T的形式理论(如形式数论),TF是作为一种独立结构而存在的,它使得表达现实命题和理论命题在方法上协调起来成为可能,并且使得所用的逻辑也可以得到一个“确切、科学的处理”。通过对形式理论TF的协调性的研究来建立原来的古典数学理论T的可靠性。
② 由于研究形式理论TF时需要用到逻辑和数论,故希尔伯特建议采用有穷方法来建立一个逻辑系统和初等数论,以便与经典逻辑和普通数论相区别,从而避免循环论证。这样建立起来的逻辑和数论,希尔伯特称之为元数学(见证明论)。将用Tm来讨论TF的协调性,Tm中的符号和公式是有内容的。对TF的讨论采用构造的方法,不得涉及实无穷。这一点希尔伯特与布劳威尔是一致的。
③ 用元数学Tm来证明在形式理论TF中,不会有某个论断A与其否定塡A同时可以推出,也就是证明形式理论TF的协调性。如能证得TF的协调性就可以保证所代表的古典数学理论T不会产生矛盾。换言之,如果形式理论TF的协调性能够元数学地证明,则TF所摹写的古典数学理论及其理想命题都可以保留。<< http://www.hudong.com/
1.中华簇:
(1) (√X^n)^2+(√Y^n)^2=(√Z^n)^2-------------Tf
2.
1)第n个单位数学函数结构式,
(2) Pn=[(ApNp+48)^1/2-6]^2
2)中华单位基本定理:
①两个基本单位的平方和可以构成任何偶合数,(哥猜A 1+1=2---T)
(3) (√Pn)^2+(√Qn)^2=(√2n)^2-----------------Tm
②三个基本单位的平方和可以构成任何奇合数,(哥猜B 1+1+1=3---T)
(4) (√Pn)^2+(√Qn)^2+(√Rn)^2=[(2n+1)^1/2]^2---Tm
3)其他 (暂略)
欢迎批评指教!
谢谢!
|
|