对 jzkyllcjl 的数字基本主张的批判

elim

下面引用文字都来自jzkyllcjl, 非引用文字是我对jzkyllcjl 的批判．

数学理论的本质是研究现实数量大小、多少及其关系表达方法的科学。这个科学需要从实践出发进行阐述，并需要在继续实践、研究中不断改进。前文中已经提出：自然与实数是从现实数量问题研究中，抽象出来的现实数量大小、多少的表达符号；还提出了“线段长度具有测不准性质”；事实上，在航天、水利、道路工程与桌子、椅子、宇宙飞船的制作中，线段长度、空间各点坐标的测量都做不到绝对准，只能做到满足一定误差界的足够准。例如，宇宙飞船的回落地点与时间的计算，就是如此，由于这个地点与时间 算不准，就需要在误差界的范围内搜找宇宙飞船。所以，数学理论阐述时，必须使用理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行。

jzkyllcjl 把自然科学都归于数学的说法是毫无根据的．拿水利工程来说，它涉及气象，生态，地理等多方面学科，它们以更基础的生命科学，物理学等为基础，而数学只提供抽去具体现实意义，被表达为纯数学对象的关系的分析推理和解法．拿平面几何解决航海问题在小范围中可以，在远程朊行时就需要球面几何，这些理论和实践的拟和根本不会导致数学定理和概念的改变．没错，应用和数学本身会刺激出新的数学定理，算法，认知，分支等等．这种进化从来没有推翻已经建立的数学理论，只会使已知的理论本质，各数学分支的关系更趋清晰．

古代的毕达哥拉斯定理属于最初的纯粹数学，希尔伯特的《几何基础》与ZFC 形式语言集合论都是“纯粹数学”，前文已经讲到：这种数学是不完善的，数学理论不能单靠形式逻辑方法解决，对形式逻辑下的定义、定义、公理、定理、公式，必须在联系实际应用进行检验，违反事实的的地方，必须修改与注解。纯粹数学在20世纪走到了“ZFC形式语言公理体系是数学基础”的论述，但这个体系下产生的哥德尔L模型、科恩模型、《非标准分析》模型之间不仅是矛盾的，而且都没有恰当的解决实数理论理论，所以这个形式公理体系不能作为数学理论的基础。

纯粹数学的不完善反映的是人的认识没有穷尽，三次数学危机反映的都是人对无穷的的认识偏差．第一次是拒绝无穷，第二次是将无穷与有穷的对应僵化，微积分没有严格的理论基础(极限论，实数理论)．第三次是无穷被无条件化．这些危机没有一个伤害到数学的应用，它们的解决也没有推翻任何数学定理，除非那些本来就错的东西．

最后谈谈形式逻辑的问题．首先需要指出，jzkyllcjl 并不懂形式逻辑．从没有看他用形式逻辑和数学公理论证或否证过任何数学命题．他像呼吸空气那样自然地偷换概念说明他也没有关于概念，定义的正确观念．ZFC , 实数理论，哥德尔，科恩，非标准分析等等实在不是 jzkyllcjl 原始的脑袋能够明白的．他所说的那些数学理论的“矛盾”也只存在于他那个食古不化的脑袋中．从来没法给出过论证．公理方法+数理逻辑对数学是必要的．任何不符合形式逻辑的东西都不可能成为定理．另外，集合，映射，偏序，格，...等概念的引进本质上是引进了以形式逻辑表述的数学辩证法而不是 jzkyllcjl 希望的诡辩法．

elim

关于什么是数学等问题，可参见我的帖子
数学哲学基本问题

jzkyllcjl

实践是数学理论的基础。“无穷（或无尽）”二字的意义是“无有穷尽、无有终了”的意思。无穷序列既具有无限延续下去的事实，又具有永远延续不到底的事实。无穷集合既具有其元素个数无限增多的事实，又具有其元素个数永远写不完，数不完的事实。因此，无穷集合不是正常集合。无尽小数不是定数，而是满足误差界序列1/10^n 的理想实数的不足近似值的永远算不到底、写不到底的无穷数列。十进位小数的二进制小数表达式只能有有尽位；无理数只能用十进小数近似表示。微积分学中，自变数的微分 ，既不是0，也不是《非标准分析》中的无穷小数，而是绝对值为非0的足够小的数，因此它可以做除数，算出比值 后，将比值中与 有关的数近似作为0，得出导数。两千多年来的数学理论的争论说明：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法是建立数学理论的根本法则。这个法则，也是笔者七十年来对各种数学观点的研究与实践应用的结果。但笔者的研究只是初步，还需要数学、物理、哲学、工程技术工作者继续研究后，改革现行数学教科书。

elim

jzkyllcjl 是具有一张嘴就吃狗屎，一开口就啼原声性质的东西不假吧？呵呵

jzkyllcjl

elim 发表于 2021-12-10 07:25
jzkyllcjl 是具有一张嘴就吃狗屎，一开口就啼原声性质的东西不假吧？呵呵

实践是数学理论的基础。“无穷（或无尽）”二字的意义是“无有穷尽、无有终了”的意思。无穷序列既具有无限延续下去的事实，又具有永远延续不到底的事实。无穷集合既具有其元素个数无限增多的事实，又具有其元素个数永远写不完，数不完的事实。因此，无穷集合不是正常集合。无尽小数不是定数，而是满足误差界序列1/10^n 的理想实数的不足近似值的永远算不到底、写不到底的无穷数列。十进位小数的二进制小数表达式只能有有尽位；无理数只能用十进小数近似表示。微积分学中，自变数的微分 ，既不是0，也不是《非标准分析》中的无穷小数，而是绝对值为非0的足够小的数，因此它可以做除数，算出比值 后，将比值中与 有关的数近似作为0，得出导数。两千多年来的数学理论的争论说明：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法是建立数学理论的根本法则。这个法则，也是笔者七十年来对各种数学观点的研究与实践应用的结果。但笔者的研究只是初步，还需要数学、物理、哲学、工程技术工作者继续研究后，改革现行数学教科书。

elim

jzkyllcjl 几十年来吃狗屎猿声的持之以恒抵毁数学无果，书著也无人问津，可谓一事无成．jzkyllcjl 吃上了狗屎弄残了脑子的事实值得各级领导同志充分注意，万万不可粗心大意、

elim

jzkyllcjl 吃上了狗屎弄残了脑子的事实值得各级领导同志充分注意，万万不可粗心大意、