[讨论]申一言的“单位论”也应该算是一种“群论”或“簇论”吧？？？

任在深

下面引用由风花飘飘在 2012/09/20 03:22am 发表的内容：
因为主任一再的宣称“XX簇”啥的，并且是“结构数学”，研究结构的？…………
群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，　...

   因为单位论不是集合论！单位论是以空间形的结构与结构之间的关系来证明数论中存在的一些问题，所以是“证明论”！严格来说不是簇，更不是群，环，域。
   它所涵盖的是宇宙单位系！

      Ω(N)=[(AnNn+48)½-6]ˆm,  Nn=n=1.2.3...;m=0.1.2.3.
     1.m=0
      Ω(N)=(√N)º=1.2.3... 表示点，
     2.m=1
      Ω(N)=(√N)¹=√N=n';=1';.2';.3';...表示线段
     3.m=2
      Ω(N)=(√N)²=n"=1".2".3"...表示面
    4.m=3
     Ω(N)=(√N)³=n"';=1"';.2"';.3"';,,,表示体。
    nº∈n¹∈n²∈n³.
   这应该是一个既无穷大的又是一个封闭的体！
   因此她解决了关于无穷的难题！
   虽然无穷达不到，却可以看得到，摸得到！？
   0-----∞
   █→∞
这一些都是存在的！
    《中华单位论》之中华单位系：
    Ω(N)=[(AnNn+48)½-6]ˆm,  Nn=n=1.2.3...;m=0.1.2.3.
无论 n=0,1,2,3,,, 至始至终都是“数”的单位，空间形的量！
而集合论的 X∈X,就是因为X本身不是数，因此集合论是矛盾的，有悖论的，即错误的！
     当然ZFC体系也不例外！

ygq的马甲

下面引用由风花飘飘在 2012/09/20 03:22am 发表的内容：
因为主任一再的宣称“XX簇”啥的，并且是“结构数学”，研究结构的？…………
群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，　...

一个有效的【体系】，首要条件是满足“相容性ｃｏｎｓｉｓｔｅｎｃｙ”
但他（任）的东西，不满足的

wangyangkee

下面引用由ygq的马甲在 2012/09/20 10:45am 发表的内容： 一个有效的【体系】，首要条件是满足“相容性ｃｏｎｓｉｓｔｅｎｃｙ”
但他（任）的东西，不满足的

俞根强的爹不蠢妈不蠢，养的儿子俞根强不蠢，，，不蠢不蠢，，

任在深

下面引用由ygq的马甲在 2012/09/20 10:45am 发表的内容：
一个有效的【体系】，首要条件是满足“相容性ｃｏｎｓｉｓｔｅｎｃｙ”
但他（任）的东西，不满足的

请您具体指出来好吗？
                      谢谢！

任在深

下面引用由ygq的马甲在 2012/09/20 10:45am 发表的内容：
一个有效的【体系】，首要条件是满足“相容性ｃｏｎｓｉｓｔｅｎｃｙ”
但他（任）的东西，不满足的

真心的希望你指出来！而不是顺嘴胡说？
                 好吗？

                                             谢谢了！

wangyangkee

俞根强的爹不蠢妈不蠢，养的儿子俞根强不蠢，，，不蠢不蠢，，

任在深

[这个贴子最后由任在深在 2012/09/20 01:38pm 第 1 次编辑]

形式系统相容性维基百科，自由的百科全书（重定向自形式系統相容性）
跳转到： 导航、 搜索
    在形式化的逻辑系统中，其相容性（或一致性、自洽）是指其中没有矛盾，或更精确地说，不存在一个命题P，P和非P都可以在这个系统中证明。
[br][br][color=#990000]-=-=-=-=- 以下内容由 任在深 在 时添加 -=-=-=-=-
请问ygq的马甲？
《中华单位论》存在一个命题P，P和非P都可以在这个系统中证明吗？！
   请你指出来！！！！！！！！！！

ygq的马甲

下面引用由任在深在 2012/09/20 01:04pm 发表的内容：
请您具体指出来好吗？
                      谢谢！

举例来说，圆周率 π

任在深

[这个贴子最后由任在深在 2012/09/20 06:54pm 第 1 次编辑]

下面引用由ygq的马甲在 2012/09/20 02:16pm 发表的内容： 举例来说，圆周率 π

恰恰是π充分显示了《中华单位论》是相容的，无矛盾性！ >>>完备性。我们必须证明以下命题：在形式化之后，数学里所有的真命题都可以被证明（根据上述规则）。 相容性。我们必须证明：运用这一套形式化和它的规则，不可能推导出矛盾。 保守性。我们需要证明：如果某个关于“实际物”的结论用到了“假想物”（如不可数集合）来证明，那么不用“假想物”的话我们依然可以证明同样的结论。 确定性。应该有一个算法，来确定每一个形式化的命题是真命题还是假命题。 <<< ---如果某个关于实际物结论用到了“假象物”（π=3.1415926...）来证明，那么不用“假想物”的话我们在单位系中真实存在的（π=3+√2）也能证明同样的结论。那么这就是独立性！ 请您注意！在纯粹数学中只有0单位(√n)º,基本单位(√n)¹,单位(√n)²,以及代数数单位即二次域单位 U(D)=a+b√d. 您想一想究竟是π=3.1415926，，，正确？ 还是π=3+√2/10正确！ 谢谢您的关心和关注！ 更感谢您能提出宝贵意见！！