中华单位论(三) 中华基本单位定理(哥德巴赫猜想A)

尚九天

下面引用由申一言在 2010/01/06 10:00am 发表的内容：
   *--→ --- →⊙→□→田→申

下面引用由申一言在 2010/01/06 05:57pm 发表的内容：
  点----线-----曲线----面------体!

下面引用由申一言在 2010/01/06 10:00am 发表的内容：

  *--→ --- →⊙→□→田→申

        正确，确凿，凿壁偷光，光照全球..........！
   

wangyangke

申一言

建立坐标系后，所有欧氏几何可借助于实数系统而用代数语言表示，欧氏几何的不矛盾性便可归结为实数系统的不矛盾性。实数系统的不矛盾性又可归于自然数系统的不矛盾性，这样追溯下去，必然出现下列情况，要证明其不矛盾的那个理论是最基本的理论，不能再归结到别的理论中去，这时必须作出绝对不矛盾性的证明。本世纪初，希尔伯特提出一个方法，即不再以点、线、面、数等数学概念作为研究对象，而把整个数学理论作为研究对象，目的是证明它没有矛盾。这时被研究的理论，也就是想证明其不矛盾的理论叫作对象理论（也就是原来意义的数学）。为证明其不矛盾性，又必须进行推理。进行推理所根据的理论，叫作元理论，又叫元数学。希尔伯特提出明确的要求，要使这种证明有意义，元数学应该狭于对象理论，换言之，只使用数学的一部分理论来证明整个数学的不矛盾性。同时，所使用的部分其不矛盾性应该是直觉上非常明确清楚，不容发生疑问的，这便是数学史上的有名的希尔伯特规划。开始，进展很顺利，人们以为整个数学的不矛盾性证明很快就会实现，可是不久，哥德尔于1931年证明了形式数论系统不完全性定理，进而又证明了要想用一个元数学去证明另一个对象理论的不矛盾，则对象理论不可能强于元数学，倒是元数学必须强于对象理论。这样以来，希尔伯特规划便根本不能实现了。但是，元数学作为专门研究理论系统的部门，继续存在和发展着。
引用词条：
平面媒体请约稿,网络转载请注明出处,并保留链接：http://www.upicture.com.cn/Knowledge/nPost/nPost_7723.htm

申一言

元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。
    许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。
[br][br]-=-=-=-=- 以下内容由 申一言 在 时添加 -=-=-=-=-
作者:张锡令

changbaoyu

越学越多是不错！
元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。

申一言

   只有中华元数学----单位论才能正确的解决纯粹数学中存在的问题!
     T--Tf---Tm--TT!