\(\large\textbf{[ZFC+Hilbert有穷性原则]与烂尾的}\text{jzkyllcj}\textbf{改革}\)

jzkyllcjl

elim 发表于 2023-12-26 18:22
离开了黎曼和作为桥梁，定积分与曲边梯形的面积就不相干，你 jzkyllcjl 只会吃狗屎，不懂定积分及其应 ...

从我的定义12，立即得到原函数与曲边梯形面积的关系。事实上我有
第三 原函数存在定理的证明：在定义12下，不需要使用烦琐的黎曼和的许多研究，就可得到原函数的存在定理的证明。事实上，设函数 在闭区间[a,b]区间上连续且恒大于0，则对这个区间上任意实数x，从x=a 到x=x 的小曲边梯形面积也是一个现实数量，这个现实数量是x的一个现实数量函数，记这个函数为S（x），根据导数的极限计算法则、以及连续函数在任意闭区间上存在最大值最小值的定理的性质，可以得到S（x）的导函数就是： 。于是S（x）就是  的一个原函数。且所求的大曲边梯形的面积就是这个原函数在[a,b]区间上的增量S（b）-S（a）。上述讨论可以推广到函数 在[a,b]区间上连续的非大于0的情形。于是得到如下原函数存在定理：若函数 在闭区间[a,b]区间上连续且只有有限多个零点，则原函数存在。这个定理的证明，不仅不需要使用烦琐的黎曼和的许多研究，而且給出了原函数的现实数量性质的意义。

elim

jzkyllcjl 发表于 2023-12-26 17:49
从我的定义12，立即得到原函数与曲边梯形面积的关系。事实上我有
第三 原函数存在定理的证明：在定义12 ...

你说不出什么是曲边梯形的面积，扯其它没用。

jzkyllcjl

elim 发表于 2023-12-27 04:24
你说不出什么是曲边梯形的面积，扯其它没用。

在41楼，我从我的定义12，立即得到原函数与曲边梯形面积的关系。事实上我有
第三 原函数存在定理的证明：在定义12下，不需要使用烦琐的黎曼和的许多研究，就可得到原函数的存在定理的证明。事实上，设函数 在闭区间[a,b]区间上连续且恒大于0，则对这个区间上任意实数x，从x=a 到x=x 的小曲边梯形面积也是一个现实数量，这个现实数量是x的一个现实数量函数，记这个函数为S（x），根据导数的极限计算法则、以及连续函数在任意闭区间上存在最大值最小值的定理的性质，可以得到S（x）的导函数就是： 。于是S（x）就是  的一个原函数。且所求的大曲边梯形的面积就是这个原函数在[a,b]区间上的增量S（b）-S（a）。上述讨论可以推广到函数 在[a,b]区间上连续的非大于0的情形。于是得到如下原函数存在定理：若函数 在闭区间[a,b]区间上连续且只有有限多个零点，则原函数存在。这个定理的证明，不仅不需要使用烦琐的黎曼和的许多研究，而且給出了原函数的现实数量性质的意义。

jzkyllcjl

ZFC形式语言集合论，不仅解决不了1900年希尔伯特提出的23个问题中的连续统假设问题与实数系统的一致性问题与1908年布劳威尔提出的三分律反例至今没有得到解决；而且由于罗素没有提出无穷集合是无法构成的非正常集合的概念，所以，使用概括性表达式 得出了“所有正常集合组成的集合是不是正常集合 [1]”是无法判断的罗素悖伦。为了彻底解决第一次、第二次数学危机与这些第三次数学危机问题，笔者经过60年的反复研究后，提出了使用唯物辩证法的下述四点意见。第一，由于无穷次操作，无法进行到底，无穷次判断、无穷次并集运算都不能使用的；有人说：使用无穷级数和的表达式 解决了芝诺二分法悖论，但实际上他这个表达式左端依赖于无穷级数的前n项和 的无穷序列的极限，这个序列的趋向性极限才是1，但它永远达不到右端的整数1，二分法悖论是使用“完成了的实无限”观点造成的悖论，这个无穷级数和的表达式不成立，这个表达式解决不了二分法悖论。第二，恩格斯说的“数学家的方法常常奇怪的得到正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了 [5] ”的论述是必须使用的；第三，根据毛泽东著《矛盾论》中说的“对立统一的法则是唯物辩证法的最根本的法则”、“一切事物中包含的矛盾方面的相互依赖和相互斗争，决定一切事物的生命，推动一切事物的发展。没有什么事物是不包含矛盾的，没有矛盾就没有世界”的论述，在数学理论的阐述中，需要使用“理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行”。第四，根据毛泽东在《实践论》中说的“实践、认识，再实践、再认识，这种形式，循环往复以至无穷，而实践和认识之每一循环都比较地进到了高一级的程度”的论述，在数学理论的阐述中，不能限制在形式逻辑之下，还需要知道：“数学理论的本质是：研究现实数量大小及其关系表示方法的科学”，“线段长度具有在绝对准要求下，测不准，画不准、算不准的性质”。下文讨论唯物辩证法对数学基本问题的应用。下文中不仅使用了希尔伯特计划中提出的元语言（即普通语言），没有使用Latex语言，而且使用了希尔伯特说的“由于无穷不能在经验中直接验证，故希尔伯特称之为理想元素，并将古典数学中以实无穷为前提的命题称做理想命题，反之将有直观意义的命题称作现实命题”；还使用了希尔伯特计划中倡导的有穷主义的构造方法（即是一种以有穷主义为特征的构造性数学研究方法）。

elim

jzkyllcjl 是具有不住吃狗屎啼猿声性质的学渣，九十多岁了，加减乘除都没玩转，活该被人类数学抛弃．