数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 9969|回复: 12

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

[复制链接]
发表于 2021-1-11 21:55 | 显示全部楼层 |阅读模式
本帖最后由 elim 于 2021-1-14 16:06 编辑

ax2+bx+c=0,a0x=b±b24ac2a 是形式主义,
而 jzkyllcjl 吃点狗屎是辩证唯物,为什么?
 楼主| 发表于 2021-1-12 09:40 | 显示全部楼层
数学意义上的吃狗屎,是指讲论或者践行误导或无意义的事情。我们知道,
狗屎连狗都不吃,所以正常从事数学或者数学爱好者是不会吃狗屎的。

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

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

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

使用道具 举报

 楼主| 发表于 2021-1-13 11:17 | 显示全部楼层
jzkyllcjl 造谣撞骗,对现行数学扣帽子,行污蔑,兜售复辟到原始的反数学思想.活该被人类数学抛弃.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-1-14 02:25 | 显示全部楼层
jzkyllcjl 必须检讨交代其反数学罪行。求得人类数学的宽恕,否则他被抛弃的宿命不会改变。
回复 支持 反对

使用道具 举报

发表于 2021-1-14 10:39 | 显示全部楼层
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.... 中的数不断冒充 π?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-1-14 13:40 | 显示全部楼层
jzkyllcjl 污蔑我形式主义,就是污蔑数学是形式主义,因为我没有提出数学以外的任何见解。
我指出jzkyllcjl 尊重狗吃屎的事实就去实践吃狗屎的事实,被他污蔑成骂人,真是岂有此理!
回复 支持 反对

使用道具 举报

发表于 2021-1-14 15:22 | 显示全部楼层
elim 发表于 2021-1-14 05:40
jzkyllcjl 污蔑我形式主义,就是污蔑数学是形式主义,因为我没有提出数学以外的任何见解。
我指出jzkyllcj ...

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

使用道具 举报

 楼主| 发表于 2021-1-14 20:32 | 显示全部楼层
ax2+bx+c=0,a0x=b±b24ac2a 是形式主义,
而 jzkyllcjl 吃点狗屎是辩证唯物,为什么?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-1-15 05:02 | 显示全部楼层
jzkyllcjl: 现行教科书中的实数理论含有形式主义的错误。所以elim无法回复我1楼的这个主贴。


ax2+bx+c=0,a0x=b±b24ac2a 是形式主义,
而 jzkyllcjl 吃点狗屎是辩证唯物,为什么?
回复 支持 反对

使用道具 举报

发表于 2021-1-17 09:58 | 显示全部楼层
对于虚数与二次代数方程的问题,1975年我给学生讲过“虚数不虚,实数乘i,的意义是旋转90度,有了虚数复数,n次代数方程就有了n个根”我没有称二次代数方程求根公式是形式主义。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-10 18:58 , Processed in 0.084777 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: