实践是数学理论的基础

jzkyllcjl

实践是数学理论的基础。点、直线、平行线、实数、数轴、函数、导数、无穷的概念，都是从实践中抽量出来的，形式逻辑无法建立完备而又无矛盾的数学理论体系。数学理论的阐述需要使用唯物辩证法。 “无穷（或无尽）”二字的意义是“无有穷尽、无有终了”的意思。无穷序列既具有无限延续下去的事实，又具有永远延续不到底的事实。无穷集合既具有其元素个数无限增多的事实，又具有其元素个数永远写不完，数不完的事实。因此，无穷集合不是正常集合。无尽小数不是定数，而是满足误差界序列 的理想实数的不足近似值的永远算不到底、写不到底的无穷数列。十进位小数的二进制小数表达式只能有有尽位。使用高级电子计算技术或其它软件，可以提高实数与实函数的计算精确度，例如美国人使用云技术，计算23天得到π的两千万亿位的近似值，但需要知道：第一，π的绝对准的十进小数表达式 永远算不到；第二，由于直径长度的绝对准表达数字得不到，计算圆周长时，π的近似数子需要与直径的表达数字的精确度相适应（即π的过高精确值常常可以不用）。

elim

jzkyllcjl 在实际计算中只能抛弃他的狗屎堆数学，依赖建筑在现行数学基础上的计算机

jzkyllcjl

elim 发表于 2021-11-29 00:39
jzkyllcjl 在实际计算中只能抛弃他的狗屎堆数学，依赖建筑在现行数学基础上的计算机

elim 只会骂人，不了解函数概念的来源与实用意义，算不出 arctan e^π 的绝对准实数值，，

elim

jzkyllcjl 只会吃狗屎啼猿声．他的胡扯导不出任何具体计算方法，在实践面前完全失效．

jzkyllcjl

elim 发表于 2021-11-29 05:19
jzkyllcjl 只会吃狗屎啼猿声．他的胡扯导不出任何具体计算方法，在实践面前完全失效．

第一，骂人是无效的。第二，马克思没有写出等式 1/3=0.333… elim 歪曲马克思《数学手稿》19页的论述。
第三，纯粹数学在20世纪走到了“ZFC形式语言公理体系是数学基础”的论述，但这个体系下产生的哥德尔L模型、科恩模型、《非标准分析》模型之间不仅是矛盾的，而且都没有恰当的解决实数理论理论，所以这个形式公理体系不能作为数学理论的基础。第四，恩格斯的话：“数学家的方法常常奇怪的得到正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了[3]”不能被抛弃。第五， arctan e^π 的近似值是87.525564389903296188898357760962度

elim

jzkyllcjl 只会吃狗屎啼猿声．他的胡扯导不出任何具体计算方法，在实践面前完全失效

jzkyllcjl

4 点、线、面、与平行性公理唯物辩证法概念
现行《几何基础》教科书中，根据希尔伯特公理体系的 “不对点、线、面做任何的几何形象的描述，只设想它们之间有一定相互关的，……由五组公理给以精确而又完整的描述[5]”的做法有很多问题：事实上，对文献[5]的，“如果实数的算术运算无矛盾，那么欧氏几何就不会有矛盾”的叙述，不仅存在前述的布劳威尔提出的三分律反例，存在着希尔伯特1900年提出的“诗书系统的一致性”问题；而且文献[5]的30页定理6 讲到：“在直线上的任意两个点之间存在着无限多个点”，这个定理造成了“无有大小的点构成了有长度的线段的矛盾(或称悖论）”；这个定理的证明是无限次重复使用涉及巴士公理的文献[5]中定理1 的结果。这个无限次重复使用涉及巴士公理的操作，是违背了“无穷是无有穷尽、无有终了的的事实”的无法完成的操作。这个公理体系下的 “点无有大小”的概念是忽略了测量、绘图工作中，“点出的点足够小”抽象出来的理想概念。为了不能“不能忘记这个现实意义”，笔者提出了如下的点的唯物辩证法定义。
定义3：只有位置而没有大小的点，叫做理想点；理想点具有无法被标志（画）出来的性质；相距0.001毫米的两个理想点是无法画出来的；能画出的表示理想点位置的有大小的点叫做现实性质的近似点；随着误差界序列  逐渐减小的表示一个理想点的近似点序列叫做全能近似点列；全能近似点列的趋向性极限是理想点。
与这个定义类似，笔者在文献[5]还提出了理想直线、理想射线、理想平面、理想平行线、理想角的抽象性概念[6]。由于，没有大小的点、没有粗细的线、无穷长直线、欧几里德平行线公理具有理想性，线段的绝对准二等分、十等分做不到，无限次等分都是做不到的工作，从这个事实出发就消除了芝诺二分法悖论。由于反余弦函数的无穷级数和是“达不到的前n项和的趋向性极限值”，所以人们无法算出“三边长为1，1.5，2的三角形的三个内角的绝对准大小，无法得到这三个内角的和绝对准为平角的现行几何学定理”。这说明：欧几里德平行线公理具有理想性，希尔伯特《几何基础》中，只讲几何公理，不对点、线、面进行实践意义的做法是不完善的。为此，必须提出如上的理想与近似相互依赖，相互斗争的几何元素的唯物辩证法概念。

elim

jzkyllcjl 只会吃狗屎啼猿声，把它狗屎堆数学叫作辩证唯物。由于通不过实践检验，几十年来始终被人类数学抛弃.

jzkyllcjl

elim 发表于 2021-11-30 01:27
jzkyllcjl 只会吃狗屎啼猿声，把它狗屎堆数学叫作辩证唯物。由于通不过实践检验，几十年来始终被人类数学抛 ...

elim 歪曲了马克思的论述。马克思在《数学手稿》的19页讨论了无穷级数与无尽小数的关系。这个讨论是从1被3 除法运算开始的，他在除了两步除法得到0.33之后，就发现了这个除法的永远除不尽、每一步都得出数字3的事实，所以他提出了1/3是它的无穷级数 的前n项和的无穷数列0.3,0.33,0.333,……的趋向性极限的论述。

elim

jzkyllcjl 只会吃狗屎啼猿声，把它狗屎堆数学叫作辩证唯物。由于通不过实践检验，几十年来始终被人类数学抛弃.