广义自洽、狭义自洽及其欺骗性

jzkyllcjl

线段长度依赖于不同线段比较，首先需要选择一个度量的标准 例如米尺，然后才可以进行长度的度量工作。这个度量中还需要有米尺的刻度及端点标志的方法 及有关点的概念。

谢芝灵

elim 发表于 2018-2-3 01:34
大小用长度定义，长度与数彼此定义，总之就是循环定义。但这些概念的外延的存在性靠定义是得不到的，所以自 ...

这不是循环定义，就叫优先设定。
人类看到一段实线长，就可优先设定它为1。==== 这就是几何与数的先天对应关系。
优先设定的原则：不与之前的概念重合、不与之前的概念矛盾。
所以后来者不与之前的概念重合，也不与之前的矛盾。

1+1为什么等于2？
也属优先设定的原则：人为先设定了1，再取一个1，得到新元素1+1。
又 新元素1+1与1互异，所以 1+1就不能再定义为1，既 1+1≠1，
所以 1+1只能设定一个与之前不重合，不矛盾的新元素2（或3，或1以的别的）
当设定2（或3，或1以的别的）后，再后来的新元素1+1+1 就不能取为2。
假如人类当初 设定  1+1=3，则 1+1+1≠3。

所有新元素都可有第一次设定权（就像你取名字一样），必须按优先设定原则。
你在你家这个系，你哥的优先设定权不能与你父母重复和矛盾，你出生后不能与你之前的矛盾。

jzkyllcjl

1+1为什么等于2？依赖于自然数理论，离散性 数学理论。

谢芝灵

jzkyllcjl 发表于 2018-2-3 03:52
1+1为什么等于2？依赖于自然数理论，离散性 数学理论。

例：有人要求我证明 1+1=2
分析：
1+1=2 属于人类进位制的一种设定和规定。===属一个定义。
属于一个已知条件。
单单 1+1=2 严格上不构成命题。
上面是个人为设定符号问题。
不属命题，只要优先取符号即可。
因为人们最把 “双倍”用2 代。

证题思路：只要证明定义： 1+1=2 存在，且合理。
所有定义、设定 必须存在、且合理。
证：
因为人类设定了最小自然数1，
由最小自然数1的相加（或连续截取）得 ：1+1.
先有1元素，才有（1+1）元素，这才有个先后关系。
可证得1与 （1+1）不同：因为1与1重合，所以1与 （1+1）有差异
由1与（1+1）不同，所以按优先原则，先有1，再有（1+1）。
上面证得（1+1）是个新元素，
就可以对这个新元素进行设定（或取名、或取符号）。
由于先有1所以 1+1不能再设定为1，所以 1+1≠1，
又 1与（1+1）不同，所以 1+1≠1，
所以可设定取： 1+1=x
既可以是 x，或x是2，
因为人类总得给（1+1）设定一个符号：即 1+1=2 。
按先后原则，人类先设定了2为x的值。既2为第二个自然数。
得  1+1=2   属人为优先设定。
按优先原则，后来的取数和运算都不能与最先的 1+1=2矛盾。
优先原则的逻辑：设定 1+1=？只要不与之前别的设定矛盾就行。
由于优先设定 1+1=2
就不存在再设定：1+1=3，1+1=4，1+1=5 ,....
就不存在再设定：1+1+1=2，1+1+1+1=2，1+1+1+1+1=2,....
得1+1=2 是唯一的。
所以：1+1=2 存在、且合理。乎合定义、设定要求。
证毕！

elim

滚一圈就弄出Pi的想法，是得不出Pi的超越性的．所以谢芝灵的胡扯，只有疯狗认同．

谢芝灵

    a是有限代数方程：f(a^x)=b 的根，且方程中系数和幂全为有限元素。    （1）

    a是有限代数方程：f(a^x)=b 的根，且方程中系数和幂全为实有限元素。    （2）

    a是有限代数方程：f’(a^x)=b’ 的根，且方程中系数和幂全为整数。    （3）

    只要能满足（1）的就属数。

    只要能满足（2）的就属实数。

    能满足（2）不能满（3）的为超越数。

elim

那么 e 是实数吗？ 为什么？

elim

滚一圈就弄出Pi的想法，是得不出Pi的超越性的．所以谢芝灵的胡扯，只有疯狗认同．

即使一般有限整系数方程的根，谢芝灵也没法构造出相应的线段来。

谢芝灵

elim 发表于 2018-2-4 06:47
滚一圈就弄出Pi的想法，是得不出Pi的超越性的．所以谢芝灵的胡扯，只有疯狗认同．

即使一般有限整系数方 ...

    a是有限代数方程：f(a^x)=b 的根，且方程中系数和幂全为有限元素。    （1）

    a是有限代数方程：f(a^x)=b 的根，且方程中系数和幂全为实有限元素。    （2）

    a是有限代数方程：f’(a^x)=b’ 的根，且方程中系数和幂全为整数。    （3）

    只要能满足（1）的就属数。

    只要能满足（2）的就属实数。

    能满足（2）不能满（3）的为超越数。

欧氏法做图不能滚一圈就弄出Pi的。==== 人类画圆 就属于滚一圈就弄出Pi的。你画一下就知道。
只是 欧氏法做图不能把pi化为直线。并不代表pi直线不存在。

elim

谢芝灵回答不了 e 是不是实数的问题。e 是有限方程  ((dy/dt)(x^t)) - x^t = 0 的根.