\(\large\textbf{请jzkyllcjl分析他的"数学主张"被人类数学抛弃的必然性}\)

elim

jzkyllcjl 只会吃狗屎啼猿声．不会分析他被人类数学抛弃的必然性．

jzkyllcjl

elim 发表于 2021-11-29 05:20
jzkyllcjl 只会吃狗屎啼猿声．不会分析他被人类数学抛弃的必然性．

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

elim

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

elim

Jzkyllcjl 需要从他被人类数学抛弃的必然性分析中认识自己的错误．

jzkyllcjl

elim 发表于 2021-12-6 13:56
Jzkyllcjl 需要从他被人类数学抛弃的必然性分析中认识自己的错误．

马克思《数学手稿》与恩格斯的“数学家的方法常常奇怪的得到正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了”的意见是正确的。需要使用这个意见改革数学理论。 ，

elim

马克思说过正确的方法该得出错误的结果或没办法得到结果吗？畜生不如的jzkyllcjl ？

jzkyllcjl

elim 发表于 2021-12-7 01:55
马克思说过正确的方法该得出错误的结果或没办法得到结果吗？畜生不如的jzkyllcjl ？

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

elim

马克思说过正确的方法该得出错误的结果或没办法得到结果吗？畜生不如的jzkyllcjl ？

jzkyllcjl

elim 发表于 2021-12-8 05:16
马克思说过正确的方法该得出错误的结果或没办法得到结果吗？畜生不如的jzkyllcjl ？

数学理论的本质是研究现实数量大小、多少及其关系表达方法的科学。这个科学需要从实践出发进行阐述，并需要在继续实践、研究中不断改进。前文中已经提出：自然与实数是从现实数量问题研究中，抽象出来的现实数量大小、多少的表达符号；还提出了“线段长度具有测不准性质”；事实上，在航天、水利、道路工程与桌子、椅子、宇宙飞船的制作中，线段长度、空间各点坐标的测量都做不到绝对准，只能做到满足一定误差界的足够准。例如，宇宙飞船的回落地点与时间的计算，就是如此，由于这个地点与时间 算不准，就需要在误差界的范围内搜找宇宙飞船。所以，数学理论阐述时，必须使用理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行。古代的毕达哥拉斯定理属于最初的纯粹数学，希尔伯特的《几何基础》与ZFC 形式语言集合论都是“纯粹数学”，前文已经讲到：这种数学是不完善的，数学理论不能单靠形式逻辑方法解决，对形式逻辑下的定义、定义、公理、定理、公式，必须在联系实际应用进行检验，违反事实的的地方，必须修改与注解。纯粹数学在20世纪走到了“ZFC形式语言公理体系是数学基础”的论述，但这个体系下产生的哥德尔L模型、科恩模型、《非标准分析》模型之间不仅是矛盾的，而且都没有恰当的解决实数理论理论，所以这个形式公理体系不能作为数学理论的基础。

elim

jzkyllcjl 的数学主张以狗屎堆逻辑为基础，活该被人类抛弃。