关于1是否为素数的几点意见（续）——对1进行定义

changbaoyu

心底无私天地宽·
   必然有因
人有贯行是自然·
发现只是其中道·
健身完美要做好·
心态正建康庄道·
2009/12/03玉云。

申一言

下面引用由赵光斗在 2009/12/03 01:34pm 发表的内容：
     自定义的东西要得到公论！
     不是自我欣赏的艺术！
     要符合客观发展的规律！
    你认为数学发展到今天 “是远古时期的结绳以及掰手指头”？

     不是俺的认为;而是数学家们的认为,
         Weyl对数学的现状作了恰当的描述:"关于数学最终基础和最终意义的问题还是没有解决;我们不知道向那里去找它的最后解答,,,"
       转摘自《古今数学思想》[美]莫里斯.克莱因 第四册  324 17-19.
   而今《中华单位论》给予了正确的解答!

赵光斗

下面引用由申一言在 2009/12/05 06:28pm 发表的内容：
     不是俺的认为;而是数学家们的认为,
         Weyl对数学的现状作了恰当的描述:"关于数学最终基础和最终意义的问题还是没有解决;我们不知道向那里去找它的最后解答,,,"
       转摘自《古 ...

又是所答非所问。

申一言

下面引用由赵光斗在 2009/12/06 07:39pm 发表的内容：
又是所答非所问。

   请您问的清楚一些!

赵光斗

‘你认为数学发展到今天 “是远古时期的结绳以及掰手指头”？’

申一言

下面引用由赵光斗在 2009/12/09 07:58pm 发表的内容：
‘你认为数学发展到今天 “是远古时期的结绳以及掰手指头”？’

     是的!
     您以为哪?

赵光斗

‘你认为数学发展到今天 “是远古时期的结绳以及掰手指头”？
    是的!
    您以为哪?
    远古时期——是；
    发展到今天的数学——不是。

申一言

  可是您以及大家仍然在把自然数当做正整数!
   1,2,3,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,n ------自然数 (点)
   1",2",3",,,,,,,,,,,,,,,,,,,,,,,,,,,,,N"------正整数 (面积)

赵光斗

下面引用由申一言在 2009/12/15 11:54pm 发表的内容：
  可是您以及大家仍然在把自然数当做正整数!
   1,2,3,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,n ------自然数 (点)
   1",2",3",,,,,,,,,,,,,,,,,,,,,,,,,,,,,N"------正整数 (面积)

用你的定义不要否认当代数学所阐明的才好。
不将0包括在自然数内看来你还是进步了！

申一言

中华单位论完成了希尔伯特没有完成的元数学! >>希尔伯特提出了著名的证明论计划，其基本内容为： 　　① 将所要讨论的古典数学理论T（有内容的）（如数论）公理化，把所得的公理化理论和所用的逻辑彻底地形式化,使得有内容的古典数学理论T（如数论）能表成一些形式符号和形式符号公式(它们是没有内容的)组成的系统，记为TF，TF形式地摹写了T中的现实命题和理想命题以及其间的逻辑关系。这种形式符号系统TF称为T的形式理论（如形式数论）,TF是作为一种独立结构而存在的，它使得表达现实命题和理论命题在方法上协调起来成为可能，并且使得所用的逻辑也可以得到一个“确切、科学的处理”。通过对形式理论TF的协调性的研究来建立原来的古典数学理论T的可靠性。 　　② 由于研究形式理论TF时需要用到逻辑和数论,故希尔伯特建议采用有穷方法来建立一个逻辑系统和初等数论，以便与经典逻辑和普通数论相区别，从而避免循环论证。这样建立起来的逻辑和数论，希尔伯特称之为元数学（见证明论）。将用Tm来讨论TF的协调性,Tm中的符号和公式是有内容的。对TF的讨论采用构造的方法，不得涉及实无穷。这一点希尔伯特与布劳威尔是一致的。 　　③ 用元数学Tm来证明在形式理论TF中,不会有某个论断A与其否定塡A同时可以推出，也就是证明形式理论TF的协调性。如能证得TF的协调性就可以保证所代表的古典数学理论T不会产生矛盾。换言之,如果形式理论TF的协调性能够元数学地证明，则TF所摹写的古典数学理论及其理想命题都可以保留。<