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

elim

谢芝灵的狗屎堆逻辑现在说 {0.3,0.33,0.333,...} 是数了，按畜生不如的jzkyllcjl, 这也就是说 0.333... 是数了，于是可以进入 =，<, > 了。这样一来，0.333... =1/3 就没问题了，哈哈哈哈哈

jzkyllcjl

elim 在歪曲我的论述！我从来 没有说过无穷数列 {0.3,0.33,0.333,...} 是定数，我强调 这个数列的极限才是定数1/3。我还强调无尽循环小数 0.333... 不是定数，而是上述数列的简写，数列中的数 都是十进小数，它们依次是分数1/3的满足误差界{1/10^n}不足近似值。

elim

数系的扩充一般都起源于逆运算，整数环的产生源于自然数加法模对加法逆运算的不封闭性，有理数域是含整数环并关于加减乘除封闭的最小数系。代数数域是含有理数域并使得正有理数开整数次方封闭的最小数域。实数域是含有理数域并对极限运算封闭的最小数域。

撇开少数初等的运算不谈，逆运算的一般特点是有限构造性的丧失。所以要么龟腚有限构造性的九五之尊地位，镇毙逆运算，要么超越有限构造性，拥抱数系的进化。这就是jzkyllcjl 谢芝灵的主张与人类数学的冲突的本质。

谢芝灵

每个数必是有限元素。无限元数不是数。实数 只能用实物定义，人类用了实线长度定义实数。数永远是有限的，永远进化不成无限。除非你是神棍！

elim

谢芝灵的腚臆龟拒翻转不了一个事实：拒绝无穷操作就玩不了代数方程，连续函数，极限，微积分。

“无限元素”是个含糊的说词，[0,1] 的元素不可数，{0.3,0.33,...} 是可数无穷，说前者有限，那么后者作为子集更有限，可见谢某擅长狗屎堆逻辑，不可理喻。

elim

“所有数学元素都是有限的”，所以[0,1]只有有限个数，其子集{0.3,0.33,...} 也只有有限个数。哈哈哈哈：狗屎堆逻辑。

谢芝灵

elim 发表于 2018-2-2 12:37
“所有数学元素都是有限的”，所以[0,1]只有有限个数，其子集{0.3,0.33,...} 也只有有限个数。哈哈哈哈：狗 ...

你逻辑混乱！
每个数是有限的，一个0也属有限。
无限个0属无限，得 0≠000...，也有 0≠0.00...。
因为[0,1]属有限元素：当你把[0,1]中的标识为有限个时，则每个是数；当你把[0,1]标识为无限个时，则里面就不是数了。

{0.3,0.33,...}与[0,1]属两个不同的概念。
{0.3,0.33,...}属无限元素，不是数。只有它里面的有限元素是数，而{0.3,0.33,...}不是数。

数列 0.3,0.33,... 根本就不能集合，所以集合 {0.3,0.33,...}就是个错误的设定集合。

elim

看来你不知道什么是区间，集合．再加上胡乱腚臆，所以这么逻辑混乱1

谢芝灵

elim 发表于 2018-2-3 00:07
看来你不知道什么是区间，集合．再加上胡乱腚臆，所以这么逻辑混乱1

区间=== 本身就限定了大小。
取中最大的值，就是1。
你取其中任意一个数 都是 ≥0，1≤，所以就是说其中的一个数，因为能与 ＝、＜、＞的才是数。
这就强调了有限元素。
集合，指有限的元素才能集合，有限的势有意义。
你把无限集合（且不说能否集合）得到一个 无限的势 No，则No属非数。
所以非数就不能进入 ＝、＜、＞、。
只能是：No ≮No； No≯No ；No ≠No
也就是说  {1,2,3,4,....}≠{1,2,3,4,....}
也就是：0.333...≠0.333...
当然 1/3=1/3 ，这是与上面不同的概念。

elim

大小用长度定义，长度与数彼此定义，总之就是循环定义。但这些概念的外延的存在性靠定义是得不到的，所以自然数靠公理确立存在性，依赖于无穷公理。其它数都是以自然数的存在性而构建定义的。许多问题的解在有限操作能定义的数系里是无解的。例如你可以说2的立方根是一段有限线段的长，但你用有限操作是得不到这线段的，也就是说，用你的腚臆和龟腚是得不到所有实数的存在性的，你的腚臆与龟腚还常常打架，这叫不自洽。至于你楼上各层充满概念偷换的胡扯，说明你不是可以教育好的，所以我就不费口舌了。