ZFC 形式数学基础问题

jzkyllcjl

elim 发表于 2019-5-12 07:09
数的既存性不以人的书写为转移．jzkyllcjl 被数学社会抛弃得力于他错乱的心智．

现行数据学理论没有建立起完备而又无矛盾的数学体系。例如，虽然现行几何学中有勾股定理，但对由此得到的√2 的第一次数学危机没有恰当的解说。而只有错误的等式。事实上现行教科书中的等式√2=1.4142……有问题。问题是1.4142……是一个永远算不到底的事物，它不是定数，不等于√2。
为此，需要使用唯物辩证法下的实数理论。首先需要提出定义11（理想实数的非形式化定义）： 现实数量的大小（包括现实线段长度）具有可变性；但在相对性与暂时性的意义下，可以认为：每一个现实数量都有确定的大小。因此，可以提出：忽略了微小误差或趋向性极限性的没有误差的绝对准表达符号叫做理想实数（简称为实数）。其中不能用有理数绝对准表达的理想实数都叫无理数（例如：π与√2）。对除不尽的有理数与无理数（例如π与√2））都需要使用康托儿实数理论中的基本数列中的数（十进小数或其它有理数）近似表示。
在这个定义下，直角三角形两个直角边长可以分别用a,b 表示，斜边长用c 表示，使用理想平行线下的平行公理可以得出勾股定理a^2+b^2=c^2., 进一步得出：以1为边长直角三角形的斜边长为理想实数√2。
其次需要提出公理7（实数公理）：每一个理想实数都存在着以它为极限的康托尔的以有理数为项的基本数列；除0以外的每一个理想实数都存在唯一的以它为极限的无尽小数（参看下文实例：与现行无尽小数概念不同，笔者称；无尽小数都是根据理想实数算出的针对误差界序列{1/10^n}以十进小数为项不足近似值的康托儿基本数列的简写）表达式，这些基本数列（包括无尽小数）收敛于这个理想实数。反之，每一个康托尔基本数列（或称以有理数为项的柯西基本数列）都存在一个唯一的理想实数（简称为实数）为其极限，而且等价(也称全能近似相等)的康托儿基本数列的极限相同。
    根据这条公理，对√2 可以算出它的针对误差界序列{1/10^n}以十进小数为项不足近似值的康托儿基本数列是1.4，1.41，1.414，……，其中前边三个近似值，可以笔算出来，使用科学计算器得1.4142135623730950488016887242097， 使用计算机编程计算，可以得出更精确地近似值，但绝对准的十进小数表达式不存在。这个不足 近似值数列的极限才是现行数据学理论没有建立起完备而又无矛盾的数学体系。例如，虽然现行几何学中有勾股定理，但对由此得到的√2 的第一次数学危机没有恰当的解说。事实上现行教科书中的等式√2=1.4142……有问题。问题是1.4142……是一个永远算不到底的事物，它不是定数，不等于√2。
    根据这条公理，对√2 可以算出它的针对误差界序列{1/10^n}以十进小数为项不足近似值的康托儿基本数列是1.4，1.41，1.414，……，其中前边三个近似值，可以笔算出来，使用科学计算器得1.4142135623730950488016887242097， 使用计算机编程计算，可以得出更精确地近似值，但绝对准的十进小数表达式不存在。这个不足近似值数列的极限才是√2，现行教科书把数列看作√2的做法是张冠李戴的错误。

elim

数学不会完备．因为学无止境．jzkyllcjl  主张的数学矛盾重重，还不含任何定理．难怪被数学社会抛弃．

jzkyllcjl

elim 发表于 2019-5-12 13:16
数学不会完备．因为学无止境．jzkyllcjl  主张的数学矛盾重重，还不含任何定理．难怪被数学社会抛弃．

我的帖子都有正确的地方，1楼就是如此。错误的地方虽然有，但只要发现，我就改正它。

elim

jzkyllcjl 发表于 2019-5-12 20:23
我的帖子都有正确的地方，1楼就是如此。错误的地方虽然有，但只要发现，我就改正它。

没有人看见你正确的地方,除非你抄袭现行数学.

jzkyllcjl

elim 发表于 2019-5-13 05:25
没有人看见你正确的地方,除非你抄袭现行数学.

1楼的论述就是正确的。

elim

jzkyllcjl 发表于 2019-5-13 00:06
1楼的论述就是正确的。

jzkyllcjl 说它1楼的吃屎是完全正确的。数学社会抛弃它也是完全正确的。这就是辩证法。

jzkyllcjl

elim 发表于 2019-5-14 04:07
jzkyllcjl 说它1楼的吃屎是完全正确的。数学社会抛弃它也是完全正确的。这就是辩证法。

第一，无穷集合不是完成了的实无穷集合。自然数集合不是现实存在的集合，不能进入数学模型。 无尽小数具有永远算不到底或写不到底的性质 ，所以无尽小数不是定数。等式√2=1.4142……不能进入数学模型。
第二，由于线段长度具有测不准性质，使用勾股定理检验某个角是否直角的问题，只能在一定的精确度意义下进行，绝对准做不到。

elim

jzkyllcjl 发表于 2019-5-13 23:52
第一，无穷集合不是完成了的实无穷集合。自然数集合不是现实存在的集合，不能进入数学模型。 无尽小数具 ...

数轴是数的几何体现。数轴上的点与实数一一对应，这些点是一个既存的无穷集合。 jzkyllcjl 谈论它的“未完成”没有任何根据。它不缺少任何点，亦即实数集合不缺少任何实数。这里没有什么东西需要去添补。

至于“进入数学模型”，没有任何迹象表明初小差班老生 jzkyllcjl 懂得数学，模型，进入这些东西。

jzkyllcjl 的论点是概念混乱,逻辑倒错,低能瞎掰,无能论证,缪说不断的简写，
jzkyllcjl 的帖子是概念混乱,逻辑倒错,低能瞎掰,无能论证,缪说不断的繁写.

jzkyllcjl

我依据的是：第一， 所有无穷集合都不是能列举完其所有元素的集合；能构造出来的集合都是有穷集合。所有无穷集合都是其元素个数无限增加着的有穷集合序列的广义极限，它们都是非正常集合；它们的元素个数都是非正常实数无穷大+∞。无穷集合元素多少的比较可以可以使用不定式∞/∞的计算方法。
第二，比较两个集合的一一对应法则 ，对有穷集合成立，但对无穷集合不成立。
对于偶数集合与自然数集合，按照一一对应法则，得到偶数集合对等后就说它们的元素个数相等违背了“全体大于部分”的欧几里德公理。我的做法是： 它们的与元素个数都是+∞，可以使用不定式∞/∞的计算方法。得到偶数集合与自然数集合的元素个数的比是 【n/2】/n的极限 1/2. 所以 偶数集合的元素个数是自然数集合元素个数的一半。
总之，康托尔无穷集合理论 必须改革。

elim

jzkyllcjl 连一个缺失的自然数都举不出，谈自然数集的不完全是睁眼说瞎话．畜生不如．