请问jzkyllcjl 为什么数学是形式主义，为啥报道他吃狗屎是骂人

elim

\(ax^2+bx+c=0,\;a\neq 0\iff x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}\) 是形式主义，
而 jzkyllcjl 吃点狗屎是辩证唯物，为什么？

elim

数学意义上的吃狗屎，是指讲论或者践行误导或无意义的事情。我们知道，
狗屎连狗都不吃，所以正常从事数学或者数学爱好者是不会吃狗屎的。

但是江郎才尽与夜郎自大一旦达成辩证统一，就会出现吃狗屎现象。例如
谈论写无尽小数到底，谈论无理数算不到底等等等等。无尽小数无非是有
限小数不能表达的实数的(十进)小数形式。它写不到底有什么关系？ 一个
数会因为写不到底而不成为数吗？π=3.1415926... 不是有限小数妨
碍了数学还是妨碍了jzkyllcjl 脆弱的心态？ 写不到底它就是变数？这是什
么逻辑？ 没错， 3， 3.1， 3.14，... 是在变，但凭什么说 3.14159…变？
莫非是吃狗屎的 jzkyllcjl 拿 3, 3.1, 3.14.... 中的数不断冒充 π?

写不出，算不完一个数的十进制值并不妨碍这种数的十进制值的存在和唯一。
当古人说径一周三的时候, 当圆周率还没有被提出的时候，π 就已经存在
于自然现象中，它的十进制值就被它的几何解释所决定了，根本不以人的
计算为转移！

jzkyllcjl 不是可以理喻的。他没有正确的数学观，方法论。只有吃狗屎的
狂热倾向。对他的一切规劝都是无效的。只是对他伤害他人的回击。

elim

jzkyllcjl 造谣撞骗，对现行数学扣帽子，行污蔑，兜售复辟到原始的反数学思想．活该被人类数学抛弃．

elim

jzkyllcjl 必须检讨交代其反数学罪行。求得人类数学的宽恕，否则他被抛弃的宿命不会改变。

jzkyllcjl

elim 歪曲、污蔑我的话。我没有说“数学是形式主义”；我说的是“纯形式逻辑方法是行不通的，由于历史的原因，现行数学教科书中，不仅没有把唯物辩证法作为阐述数学理论的根本方法，而且存在着顽固坚持形式主义的不联系实践的纯形式逻辑的错误。“称无尽小数为实数的定义”就是这个错误一个实例。”
对于虚数与二次代数方程的问题，1975年我给学生讲过“虚数不虚，实数乘i，的意义是旋转90度，有了虚数复数，n次代数方程就有了n个根”我没有称二次代数方程求根公式是形式主义。
对于π=3.1415926... 我说过，这个等式是形式主义者的等式，因为式中的无尽不循环小数是定义在自然数集合的变数，而不是定数。形式主义者违背了“无尽是无有穷尽无有终了事实”。必须改革。我尊重的是唯物辩证号发下的辩证逻辑。这种逻辑尊重 3.14159…永远算不到底的事实，于是这个无尽不循环小数展开式中的三个命题①这个无尽不循环小数展开式中没有百零排（ 百零排指100个连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。都是无法判断的命题，布劳威尔不能根据“无穷是完成了的整体实无穷观点”使用两次排中律，提出了一个实数Q，这个Q就是无法判断出它大于、小于、等于0三种情形中哪一种成立的实数理论的三分律反例。取消形式主义的“无穷是完成了的整体的实无穷观点与无尽小数是定数定义”后，这个反例与连续统假设的问题就不存在了。
碍了数学还是妨碍了jzkyllcjl 脆弱的心态？ 写不到底它就是变数？这是什
么逻辑？ 没错， 3， 3.1， 3.14，... 是在变，但凭什么说变？
莫非是吃狗屎的 jzkyllcjl 拿 3, 3.1, 3.14.... 中的数不断冒充 π?

elim

jzkyllcjl 污蔑我形式主义，就是污蔑数学是形式主义，因为我没有提出数学以外的任何见解。
我指出jzkyllcjl 尊重狗吃屎的事实就去实践吃狗屎的事实，被他污蔑成骂人，真是岂有此理！

jzkyllcjl

elim 发表于 2021-1-14 05:40
jzkyllcjl 污蔑我形式主义，就是污蔑数学是形式主义，因为我没有提出数学以外的任何见解。
我指出jzkyllcj ...

el;im网友：最近我指责你是习惯是主义者，不是说数学是形式主义。对你的指责，不屈你。因为：当我说到马克思、恩格斯，说到：数学理论需用唯物辩证法时，你就说是吃狗屎，并且说;数学的真理性只能表现为相容性, 可证性，可构造性及可计算性，所以只对形式系统才有意义。所以能够谈论真理性的数学只能是形式系统。这导致哲学语境下的数学只能是某些形式系统。于是就有一些基本概念及基本性质(关系)是不被定义的．不被定义的这些概念，关系叫作元词，元谊．这些东西的数学意义虽然没有用定义给出，却被一些基本命题(公理)所揭示，所限定．Elim4月27日说：数学就是违背实践, 并指导实践的.28日又说： 其实勾股定理就是不合实践而能指导实践的．数学尤其违反了jzkyllcjl 吃狗屎的实践．但实无穷并不依赖无穷操作,…….
虽然，形式逻辑方法与亚里士多德、康托尔、希尔伯特 有关，但他们都与你不同：亚里士多德不承认无穷是完成了的整体的实无穷观点，康托尔发现了康托尔悖论，希尔伯特提出了有穷方法与使用元语言的证明论。所以我不仅称你为形式主义者，而且还想称你为顽固的形式主义者。

elim

\(ax^2+bx+c=0,\;a\neq 0\iff x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}\) 是形式主义，
而 jzkyllcjl 吃点狗屎是辩证唯物，为什么？

elim

jzkyllcjl: 现行教科书中的实数理论含有形式主义的错误。所以elim无法回复我1楼的这个主贴。

\(ax^2+bx+c=0,\;a\neq 0\iff x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}\) 是形式主义，
而 jzkyllcjl 吃点狗屎是辩证唯物，为什么？

jzkyllcjl

对于虚数与二次代数方程的问题，1975年我给学生讲过“虚数不虚，实数乘i，的意义是旋转90度，有了虚数复数，n次代数方程就有了n个根”我没有称二次代数方程求根公式是形式主义。