奇素数1是数论形式逻辑的根

cuikun-186

N=2C(N)+4π(N)-2r2(N)，

这里定义：1是奇素数

那么公式有如下拓展：

2=0+4*1-2*1=2

4=0+4*2-2*2=4

6=0+4*3-2*3=6

8=0+4*4-2*4=8

10=0+4*4-2*3=10

12=0+4*5-2*4=12

14=0+4*6-2*5=14

16=0+4*6-2*4=16

18=2*1+4*7-2*6=18

20=0+4*8-2*6=20


…

cuikun-186

2=0+4*1-2*1=2

4=0+4*2-2*2=4

6=0+4*3-2*3=6

8=0+4*4-2*4=8

10=0+4*4-2*3=10

12=0+4*5-2*4=12

14=0+4*6-2*5=14

16=0+4*6-2*4=16

18=2*1+4*7-2*6=18

20=0+4*8-2*6=20

22=0+4*8-2*5=22

cuikun-186

24=2*2+4*9-2*8=24

cuikun-186

形式逻辑推理是数学的语言！

cuikun-186

这是形式逻辑推理的结果！

cuikun-186

这是形式逻辑推理的结果！

波斯猫猫

标题：1是奇素数是数论形式逻辑的根

标题是一个命题，先生能证否？如：√2是无理数。
要理解先生的命题，首先要人们如何从新来认可1是奇素数？其次新概念“形式逻辑的根”如何定义？

自己思考，勿需交流。

波斯猫猫

1是奇素数是数论形式逻辑的根

没有语病的叙述：奇素数1是数论形式逻辑的根，虽然不明觉厉，但语句没有毛病。

cuikun-186

根的概念内涵是问题的本质属性，1为什么重新约定为奇素数？
我的观点如下：
第一：古老的埃氏筛法是在画有自然数的旧羊皮上，首先扣掉2的倍数，再扣掉3的倍数，…，在旧羊皮上留下的孤岛就是素数，1自然没有扣掉，1当然是素数。注意1938年的数学大师哈代承认1是素数，详见李文林《数学瑰宝》。
第二：对于真值公式方程，1是方程的解。
这里既有历史事实，也有现成的真值公式方程，真可谓是理实不可雄辩

cuikun-186

波斯猫猫 发表于 2021-9-14 18:24
标题：1是奇素数是数论形式逻辑的根

标题是一个命题，先生能证否？如：√2是无理数。

根的概念内涵是问题的本质属性，1为什么重新约定为奇素数？
我的观点如下：
第一：古老的埃氏筛法是在画有自然数的旧羊皮上，首先扣掉2的倍数，再扣掉3的倍数，…，在旧羊皮上留下的孤岛就是素数，1自然没有扣掉，1当然是素数。注意1938年的数学大师哈代承认1是素数，详见李文林《数学瑰宝》。
第二：对于真值公式方程，1是方程的解。
这里既有历史事实，也有现成的真值公式方程，真可谓是理实不可雄辩