数学理论与实践的关系

jzkyllcjl

春风晚霞：数学理论是描述与研究现实数量大小及其关系的科学；数学理论的阐述，不能单靠形式逻辑，还需要使用：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行。恩格斯的“数学家的方法常常奇怪的得到正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了”的论述应当被尊重。总之，现行数学理论必须使用唯物辩证法进行改革。
具体来讲，根据，需要使用“只能从现实中来说明”的方法，第一，需需要知道：+∞是无穷大量研究中，使用广义趋向性极限方法提出的“非正常实数”，因此，无穷集合都是元素个数为+∞的不能都造完毕的非正常集合。这样一来，不仅消除了罗素悖论与康托尔无穷基数的悖论，而且也消除了“无穷集合与其真子集元素个数相等”悖论。例一，根据有理数集合是自然数集合的扩大过程来看，由0、1、2三个自然数组成的有理数有7个，由0、1、2、3四个自然数组成的有理数有15个，……，因此，有理数集合比自然数集合的元素个数至少多二倍；例二，根据无穷集合是有穷集合极限的事实，伽利略的困惑问题中的“正整数集合 ={1,2,3,5……}与正整数平方集合  ={1，4.，9，16，……}元素个数的比是n与√n的比值无穷大 ，所以，正整数集合比其真子集——正整数平方集合的元素个数多得多。关于伽利略的困惑问题，有个网友提出“假定有可数无穷多只猫，穿上用正整数编号的腰围，带上腰围平编号的平方标记的帽子。现在问帽子记号的集合与腰围编号的集合的元素个数是否一样多？”的问题，对此，笔者的回答他说：“伽利略的困惑问题是纯数学问题，其解决方法，笔者已经讲过，你提出的问题不是纯数学问题，而是现实数量问题，在现实数量问题意义下，不存在可数无穷多只猫，只存在个数为足够大有限自然数n表示的猫的只数”，对有穷集合可以提出“如果两个集合之间具有一一对应关系，则两个集合元素个数相等的法则”。，但对无穷集合一一对应的操作无法进行到底，所以对无穷集合这个法则不成立。在现实问题研究时，人们常常使用“无穷”的定语，例如谈到一堆沙子的个数时，会说它是无穷多，其实根据最小沙子的质量比碳分子质量大的事实，这个无穷多可以使用“足够大自然数表示 ”；同理，“以0为极限的正无穷小，可以使用足够小正实数表示”，于是计算物体在t=2秒时，下落瞬时速度时，1/2g dt 是可以忽略不计的足够小，忽略这个足够小，得到的2g 就是足够小时段上的物体下落的数是速度，物体按照2g下落的时段长不是0，而是足够小正数；这样就解决了第二次数学危机问题。总之，使用“无穷与有穷，0与非0足够小对立统一的唯物辩证法”就解决了无穷集合理论中的矛盾。第二，需要知道：毕达哥拉斯定理提出时，依赖了“点无有大小，线段长度可以用有理数绝对准表示”的想象性理想概念，所以这个定理得到的无理数 √2与π都有不可达到的理想性质，都可以使用十进小数足够准近似表示，而且它们的绝对准十进小数表达式是不存在的，这样就消除了“无尽小数为实数的违反现实的现行实数理论”，需要提出理想实数依赖于足够多位十进小数近似表示的可行的足够准近似方法。这样一来，就解决了实数理论中三分律问题)。这两个问题的解决说明：需要使用唯物辩证法改革现行数学理论。

春风晚霞

       第一、什么是数学
       （1）十九世纪数学的定义：研究现实世界数量关系和空间形式的科学。是在人类长期的实践活动中产生和发展的。发源于计数和度量，随着生产力的发展，越来越多地要求对自然现象作定量研究；同时由于数学自身的发展，使其具有高度的抽象性、严谨的逻辑性和广泛的适用性。
       （2）、二十世纪数学定义：数学[英语：mathematics，源自古希腊语μθημα（máthēma）；经常被缩写为math或maths]，是研究数量、结构、变化、空间以及信息等概念的一门学科。数学是人类对事物的抽象结构与模式进行严格描述、推导的一种通用手段，可以应用于现实世界的任何问题，所有的数学对象本质上都是人为定义的。从这个意义上，数学属于形式科学，而不是自然科学。不同的数学家和哲学家对数学的确切范围和定义有一系列的看法。在人类历史发展和社会生活中，数学发挥着不可替代的作用，同时也是学习和研究现代科学技术必不可少的基本工具。
       第二、为什么数学论述必须依靠形式逻辑
       数学论述必须依靠形式逻辑，也只有这样才能合理地解释由马克思所给等式1/3=3/10+3/100+3/1000+……=0.3333……的合理性和自洽性。也只依靠形式逻辑，才能正确解读恩格斯关于数学的一切叙述。也只有这样才能正确解读康托尔关于无穷集性质的描述。也只有这样才能更进一步学习《数学分析》的后继课程。
       第三、无论是哪个年代的数学都必须坚持数学的“高度抽象性、严谨的逻辑性、和广泛的应用性”。从数学发展的趋势看，数学的这三大特性越来越显得重要。

jzkyllcjl

春风晚霞 发表于 2022-7-26 03:24
第一、什么是数学
       （1）十九世纪数学的定义：研究现实世界数量关系和空间形式的科学。是在 ...

春风晚霞 2 1楼的帖子已经说明， 你的数学定义与研究的形式逻辑注意是错误的。请你在审查21楼的论述。

elim

jzkyllcjl 是具有不住吃狗屎啼猿声性质学渣．九十多岁了，还不会除法．完了完了完了·

春风晚霞

jzkyllcjl 发表于 2022-7-26 12:16
春风晚霞 2 1楼的帖子已经说明， 你的数学定义与研究的形式逻辑注意是错误的。请你在审查21楼的论述。

Jzkyllcjl，你在21楼的胡说八道，自我暴露了你对数学的一无所知，【数学理论是描述与研究现实数量大小及其关系的科学】这个定义比欧几里得时期还要落后，这更与十八世纪研究形数结合的数学思想不相容。你的【数学理论的阐述，不能单靠形式逻辑，还需要使用：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行。恩格斯的“数学家的方法常常奇怪的得到正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了”的论述应当被尊重。总之，现行数学理论必须使用唯物辩证法进行改革。】是对唯物主义的亵渎。难道把马克思的级数等式解读成1/3≠1/3；难道全面摧毁2000多年来数学上取得的辉煌成就就唯物主义了？笑话，一个只知道“算得到底、写得到底”的算术白痴奢谈数学，还不脸红真叫人无语！
Jzkyllcjl，你为什么疯狂反对数学的三大特性？你为什么坚持【数学理论的阐述，不能单靠形式逻辑】，其实并非数学的三大特性过时，也不是坚持数学理论地论述必须依靠形式逻辑就是什么“形式主义”；而是你的那些东西根本就经不起形式逻辑地推敲。数学理论的阐述必须依靠形式逻辑，难道就不唯物主义了，恩格斯不也认为“初等数学，即常数数学，是在形式逻辑范围内运作的”，难道恩格斯还没有你唯物主义？你对21#所列举例子的诠释纯粹是非数学人对数学地乱喷瞎议。一个没有认真读过一遍《反杜林论》、《自然辩证法》、《实践论》、《矛盾论》的数学家，一个没有认真读过一本《数学分析》、《实变函数论》的政治家，还想通过背语录的方式解释数学问题，简直叫人笑掉大牙！jzkyllcjl，春风晚霞劝你在引用恩格斯的话之前，还是先把恩格斯的话弄懂，不要因为你不懂数学，就误导大家以为恩格斯也不懂数学？

jzkyllcjl

春风晚霞 发表于 2022-7-26 06:10
Jzkyllcjl，你在21楼的胡说八道，自我暴露了你对数学的一无所知，【数学理论是描述与研究现实数量大小 ...

21楼述两个问题的讨论说明：现行数学理论叙述中存在着不能容许的矛盾，这个矛盾就是“无穷集合能不能完成的矛盾与猅中律、反证法、数学归纳法的形式逻辑法则能不应用的矛盾”。这个矛盾或称争论，已经有两千多年的历史，亚里士多德（Aristotle）虽然提出了这几条形式逻辑法则，但他不同意“无穷集合是完成了的整体的实无穷观点”；所以，现行教科书中“在实无穷观点下使用这些形式逻辑法则是不能容许的”。总之，上述两个问题的讨论说明：数学理论的阐述，不能单靠形式逻辑，需要使用唯物辩证法改革现行数学理论。

春风晚霞

Jzkyllcjl 潜、实无穷之争已有两千多处的历史了。亚里士多德（Aristotle）创建的《逻辑学》，和提出的排中律、矛盾律逻辑规则，以及演绎三段论、反证法、数学归纳法等证明的范式，为人类数学发展是功可功不可没的。然而在亚里士多德（Aristotle）时期，人类对无穷地认知，远不如十九世纪潜、实无穷学派对无穷的认知深入、细腻。两千多年前亚里士多德（Aristotle）反对实无穷不假，但他的老师柏拉图不就肯定实无穷吗?黑格尔、恩格斯不也肯定实无穷吗？并且亚里士多德（Aristotle）的学生欧几里得，不就是根据他的《逻辑学》理论，建立了数学上第一个公理化数学理论《几何原本》吗？先生可能不会苛求欧几里得【数学理论的阐述，不能单靠形式逻辑，还需要使用：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行】吧？欧几里得毕竟不知道他仙逝两千多年后，还会产生唯物辩证法，还会产生“曹托尔”基本数列嘛！莫说【“无穷集合能不能完成的矛盾与猅中律、反证法、数学归纳法的形式逻辑法则能不应用的矛盾”】并非是亚里士多得的认知。就算是，他也应该说出为什么【“无穷集合能不能完成的矛盾与猅中律、反证法、数学归纳法的形式逻辑法则能不应用】？他也应该根据他所创建的《逻辑学》说出个子午卯酉吧？21楼提及的『有理数集合与自然数集合等势』和『所有自然的平方所成的集合与自然数集等势』两个例子其实也就一个问题：无限集与其（无限）真子集等势。这个《实变函数论》基本定理，春风晚霞不仅给出了抽象的（即一般性的）证明，也把你提出的问题作为定理的特例给出了严格的数学证明。你一会儿说Cantor这个无限集的性质定理，违背了欧几里得总体大于部分公理，一会儿又说你要用唯物辩证法改革现行数学理论。但你确实不知道恩格斯认为，在无穷范围内整体大于部分公理不再成立；同时也认为：“初等数学，即常数数学，是在形式逻辑范围内动作的”。Jzkyllcjl你该不会认为恩格斯还没有你唯物主义吧？jzkyllcjl，你认为【无穷集合是不能完成的】那只能说明你还不懂“整体完成”中完成的含意，这方面的例子我也举过不少，今天从略吧。Jzkyllcjl先生“数学理论的阐述，不能单靠形式逻辑，需要使用唯物辩证法改革现行数学理论”，这样的猿声你大根概啼了半个多世纪了吧？只可惜呀，两岸猿声啼不住，轻舟已过万重山哟！

jzkyllcjl

春风晚霞：恩格斯说过“整体大于部分，这个命题纯粹是是同义反复”但我没有看到你说的【在无穷范围内整体大于部分公理不再成立】，所以，对无穷集合可以根据事实反对“有理数集合与自然数集合元素个数相等的”的现行无穷集合论。
对初等数学，恩格斯还说过“就是初等数学，也充满着矛盾”。所以对初等数学需要研究起矛盾，并提出解决方法。 我使用唯物辩证法改革现行数学理论的思想，就是对这些矛盾研究后提出的思想。具体来讲，根据√2与π的无尽小数表达式算不到底的事实，应当且可以使用十进小数足够准近似表示它们。
总之，实践是检验真理的唯一标准。现行数学理论可以根据事实进行改革。 ，，

elim

整体大于部分一定程度上反应的是是有限世界的现实，但也有例外，大象的脑容量远远大于人，但智力不如人。所以需要具体情具体对待。什么是整体，什么是部分，大于怎么定义都需要考虑。这些事情加减乘除都玩不转的 jzkyllcjl 应当由自知之明：闭嘴。

春风晚霞

        Jzkyllcjl就在你说的那句话里，恩格斯说道『数量上有“整体”是由若干数量上的“部分”组成的。』『整体是由若干部分组成的东西，部分是由若干合在一起才构成整体的东西。』这就是恩格斯关于整体和部分的辩证认知。恩格斯语意明显，所有部分之和即为整体。事实这个概念受个人感知影响较大，因此事实不能作为证明命题的依据。如谁也不会否认“狗要吃屎”这个事实，但谁也不会用“狗要吃屎”的事实去证明人必须吃屎！所以你根据“狗要吃屎”事实和“要吃狗屎”的实践，是不能反对【“有理数集合与自然数集合元素个数相等的”的现行无穷集合论】的。
       根据矛盾的普遍性恩格斯说“就是初等数学，也充满着矛盾”是正确的；然而哲学家所说的矛盾是指：事物内部或事物之间又统一又斗争的双方的关系（参见《辞海》﹝矛盾﹞词条②）。即哲学家所说的矛盾是矛盾同一性与斗争性的辩证统一。而你说的矛盾则是指：相互抵触，互不相容（参见《辞海》﹝矛盾﹞词条①）即单指矛盾的斗争性。所以你【使用唯物辩证法改革现行数学理论的思想，就是对这些矛盾研究后提出的思想】只是你意淫，严格的说来是一种唯心主义认识观在数学认识上的反映。【根据√2与π的无尽小数表达式算不到底的事实，应当且可以使用十进小数足够准近似表示它们】，但你的作为却是本末倒置的荒谬行为。因为我们知道利用泰勒级数（或麦克劳林级数），可把给定无理数（如√2、π）的十进制小数精确到小数点后任意位。而只根据 “曹托尔”基本数列可能是狗咬牛屎不知从何下口！不信你只根据“曹托尔”基本数列的概念（或性质），有依据有步骤地写出sin\(π\over 8\)的“曹托尔”基本数列给我们看看！所以像这种把本来完美解决了的问题（如根据π的无穷级数表达式求π的十进制展开），重新弄成不能解决的东西（如由“曹托尔”基本数列反求π），这不能叫做“改革”，确切的讲叫做破坏！