数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
楼主: jzkyllcjl

对春风晚霞正教授的错误必须再 批判

[复制链接]
 楼主| 发表于 2021-9-12 08:14 | 显示全部楼层
春风晚霞:第一,你没有说道恩格斯的“不确定的东西”是什么,你一跳过这个过程,只说左端等于右端。
第二,你没有左端等于又短的理由;第三,恩格斯当然不知道我,但恩格斯也不知道你说的 CDW 的实数理论,这个理论是十九世纪七十年代才提出的。你把后来的无尽小数等于实数的等式加到恩格斯的叙述中,是你的主观意见不符合事实。  第四,马克思说了1/3成为它的级数的的极限,也说了趋向性极限,恩格斯看了马克思的《数学手稿》,称赞了数学手稿。他和马克思都没有说0.333……等于1/3. 这个等式都是你主观加上的,不符合事实。第五, 很明显,我没有说过 “不用Taylor级数”的话,我只强调了级数和的定义,是其前n项和数列的极限。这是现行基数理论都有的话。趋向二字是我加的,但马克思也说过。
回复 支持 反对

使用道具 举报

发表于 2021-9-12 08:22 | 显示全部楼层
狗屎狗都不吃,恩格斯是绝对不会支持吃狗屎的 jzkyllcjl 的。
回复 支持 反对

使用道具 举报

发表于 2021-9-12 14:06 | 显示全部楼层
本帖最后由 春风晚霞 于 2021-9-12 18:16 编辑
jzkyllcjl 发表于 2021-9-12 08:14
春风晚霞:第一,你没有说道恩格斯的“不确定的东西”是什么,你一跳过这个过程,只说左端等于右端。
第二 ...


jzkyllcjl:
       恩格斯关于Newton二项式定理或Taylor级数的评述,语意明显,原本不需反复诠释。鉴于你在对春风晚霞再批判主题下的质疑,再作简要注释于次:
       第一,恩格斯的“不确定的东西”是指把级数左端那个确定(但不能用四则运算计算)的数,化作无穷多个可用四则运算计算的项。所谓不确定是指级数的右端有无穷多项(即可计算的项数不确定)。
       第二、级数左端等于右端的理由是:右端的无穷多项是由左边这个确定的数化成的。同时,级数中的等号是由Newton和Taylor原始给出的。凡学过数学史或无穷级数的数学人都不应有此质疑。
       第三、无尽小数等于实数起源较早,在毕达哥拉斯时期便有“有理数”和“无理数”之说。系统的实数理论确实是十九世纪七十年代才提出的,但形如2=1.4142…、π=3.1415926…;…这样的式子在十七世纪之前便有了。只是那之前还没有系统的计算无理数的方法。因此jzkyllcjl指责我〈把后来的无尽小数等于实数的等式加到恩格斯的叙述中,是你的主观意见不符合事实。〉纯属居心不良,无理取闹。
       第四、由马克思的无穷级数【13=310+3100+31000+310000+…】到【13=0.3333…】只是作了殴几里得的等量代换,并未涉及极限运算。如果用你的趋向性极限理论,必有310+3100+31000+310000+…趋向但不等于13,这便是你臭名昭著的1313悖论。你指责春风晚霞〈他(指恩格斯—引者注)和马克思都没有说0.333……等于1/3. 这个等式都是你主观加上的,不符合事实。〉春风晚霞请教jzkyllcjl先生,恩格斯和马克思在何时何地提出了“康托尔基本数列”和“趋向性极限”?马克思和恩格斯又于何时何地肯定了你把马克思的无穷级数解读成1313?老实说,你要洗清你把马克思的无穷级数解读成1313的嫌疑,只有两条路可走:其一是否定马克思所给等式成立;其二是否定殴几里得等量代换公理成立。如果这两条中的任何一条你都不能否定,那么你说〈不符事实〉中的“事定”,不是“狗要吃屎的事实”又是什么呢?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-9-12 20:33 | 显示全部楼层
0.333……不是定数,不能替换1//3.
回复 支持 反对

使用道具 举报

发表于 2021-9-12 20:53 | 显示全部楼层
jzkyllcjl 以吃狗屎反马克思的等式.活该被唯物辩证法抛弃.
回复 支持 反对

使用道具 举报

发表于 2021-9-12 21:06 | 显示全部楼层
本帖最后由 春风晚霞 于 2021-9-12 21:53 编辑

【0.333……不是定数,不能替换1//3.】是在“狗要吃屎”的基础上,总结出的“要吃狗屎”的结论!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-9-14 15:14 | 显示全部楼层
对春风晚霞提出的等式的讨论
对春风晚霞 提出的 等式   √2=1+1/2-1/8+1/16-……=1.4142135623731……
需要根据事实说明其成立的道理与应用问题。现在就我的初步说明如下,请网友审查指正。
(1)第一个等号成立的问题,等号前的√2代表的是个确定的理想实数,等号后是它的二项式无穷级数表达式,这个无穷级数的前n项和 Sn 与左端 差的绝对值 满足不等式∣Sn--√2∣≤ε(n),  这个ε(n)表示使用Sn 表示√2时的误差界,当n=2时,误差不大于0.1,当n=3时,误差不大于0.05,当n=4时,误差不大于0.03,当……,根据二项式来源于泰勒级数的性质,可以知道;误差界可以趋向于0. 于是得到:虽然Sn永远算不到底,但这个数列的趋向性极限是√2。这个事实说明:对恩格斯在《自然辩证法》一书中说道:“数学。把某个确定的数,例如把一个二项式,化为无穷级数,即化为某种不确定的东西,从常识上来说,这是荒谬的。但是,如果没有无穷级数和二项式定理,我们能走多远呢?”应当尊重。应当知道恩格斯这段话具有如下的三个意义:第一个意义是,无穷理论是需要的;第二个意义是,使用二项式级数,把某个确定的数化为某种不确定的东西;第三个意思是:无穷级数和的定义是其前n项和的数列的趋向性极限。例如上述二项式级数表达式1+1/2+1/4+1/8-——,具有永远算不到底的性质,与√2相比,它的前2项和大了,前3项和小了,所有前n项和都不等于原来的数√2, 这就是恩格斯的第二个意思。由于误差界可以趋向于0,所以可以说:Sn 是左端理想实数的针对这个误差界数列的全能近似值数列;其中的Sn 的趋向性极限是左端,这就是恩格斯的第三个意思,根据二、三两个意思,可以知道:在一定的误差界下,可以用Sn中的有理数近似表示左端的无理数,这说明::二项式级数是有用的、必须的,这就是恩格斯的第一个意思。
(2)第二个等号后写的是 无尽不循环小数1.4142…… ,恩格斯没有说到这个无尽小数,这个无尽小数是对2进行开方运算开不尽过程中得到的√2 针对误差界数列{1/106n}不足近似值无穷数列1.4,1.41,1.414,……数列邦简写,这个数列中的数都不等于√2,所以它也含有恩格斯的第二个意义,虽然这个数列也具有永远算不到底性质,但由于误差界数列趋向于0,所以,这个无尽小数的趋向性极限是√2。这也是恩格斯的第三个意思,这个数列中的数,都是十进小数性质的有理数,所以,也提出了√2的有理数的近似表达式,因此,这个无尽小数的数列也是有用的,必要的。这是:恩格斯的第三个意思。
(3)总上三点所述,恩格斯对数学的的辩证唯物方法叙述是值得学习的。
(4)由于上述Sn与无尽小数都是数列,数列不是定数,春风晚霞的两个等号都不成立;但由于数列中的数分别在不同误差界下 近似等于√2,所以,这两个等号需要改写为:康托尔实数理论中等价符号~,笔者称这个符号为:全能近似相等,但全能近似相等具有理想的但不到性质;还需要知道:在上述讨论中说道:把用有理数、十进小数近似表示无理数说成是必要的,但这个意见不全面,还需要补充上,理想与近似之间具有相互依赖、相互斗争的对立统一关系。
事实上,根据线段测不准的事实,需要提出“”在忽略微小误差的意义下,可以认为:每一个现实线段都有确定的绝对准大小。线段长度的没有误差的绝对准表达符号叫做理想实数(简称为实数)”的定义,在这个定义下,就可以在理想实数意义下,使用形式逻辑法则推出毕达哥拉斯定理,建立三减函数与微积分学中的初等函数(包括二项式函数)的幂级数表达式,但上述讨论说到的“理想无理数需要有十进小数与有理数的近似表达式”。这就是说“理想与近似之间具有相互依赖、相互斗争的对立统一关系。笔者经过60年的反复研究后提出了 “①数学理论研究的基本原则是描述与解决现实数量大小及其关系的科学;②数学理论的阐述,不能单靠形式逻辑,还需要使用:理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的对立统一、分工合作的唯物辩证法进行阐述”(即需要建立“唯物辩证法的数学模型”)。只有这样,才可以消除形式逻辑无法解决的悖论与危机;才可以使数学理论成为解决生产实际问题的活生生的工具。
回复 支持 反对

使用道具 举报

发表于 2021-9-14 15:15 | 显示全部楼层
jzkyllcjl 发表于 2021-9-14 15:14
对春风晚霞提出的等式的讨论
对春风晚霞 提出的 等式   √2=1+1/2-1/8+1/16-……=1.4142135623731……
需 ...

如梦令赠曹俊云先生
网上春秋两度,阅尽曹翁论数。品学若憨痴,抵毁古今名著。勘误,勘误!顺导求知童孺。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2021-9-15 08:55 | 显示全部楼层
春风晚霞 发表于 2021-9-14 07:15
如梦令赠曹俊云先生
网上春秋两度,阅尽曹翁论数。品学若憨痴,抵毁古今名著。勘误,勘误 ...

你的无穷概念是“无情集合是完成了的整体”违背“无穷是无有穷尽、无有终了”事实的错误概念。是有理数集合与其真子集的自然数集合元素个数相等 的悖论。
回复 支持 反对

使用道具 举报

发表于 2021-9-15 09:09 | 显示全部楼层
按 jzkyllcjl 的有限操作原则,无穷是不存在的.老学渣谈无穷这事本身就是悖论.
回复 支持 反对

使用道具 举报

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

本版积分规则

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

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

GMT+8, 2025-7-25 19:48 , Processed in 0.132159 second(s), 13 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代码输入: