数学中国

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

数学理论的本质与阐述方法

[复制链接]
发表于 2020-6-18 15:25 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-6-18 15:39 编辑

一、①由圆的定义“环,一中同长也”知当圆心确定,圆的半径R确定,则圆周长C唯 一确定,所以π=C∕2R,唯 一确定。所以圆周率π唯一确定。所以π=3.14159265……是定值;②因为单位正方形的对角线长由单位方的边长唯一确定,所以√2=1.4142……是定数;③在正弦函数y=sinx中,函数值y由自变量值x唯一确定,所以sin2=0.99297……是定数。虽然π=3.14159265……;√2=1.4142……;sin2=0.99297……这三个式子的右端均有无穷多位小数,这正是恩格斯所肯定的“把一个确定的数展开成无穷级数”的结果。
二、在现行的实数观念下,π=3.14159265……是“完成了的整体实无穷”,所以(1)不包含“百零排”(Q=0);(2)出现奇数个“百零排”(Q<0);(3)出现偶数个“百零排”(Q>0);三种情况有且只有一种情况成立;故此在实无穷观念下,布劳威尔构造的实数Q必然满足实数三分律。实数三分律只要求这三种情况中有且只有一种情况成立即可,与究竟哪 种情况成立无关。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-6-18 16:07 | 显示全部楼层
春风晚霞: 第一,π=3.14159265……;√2=1.4142……;sin2=0.99297……这三个式子的左端都是确定的无理数,但它们的无尽小数 都是算不到底的无穷性事物,虽然可以把它们写成 “无穷级数”,但无穷级数和 依赖于前n项和的序列的趋向性极限。所以这几个表达式的右端应当是康托尔基本数列的趋向性 极限。
第二, 这几个无尽不循环小数 都不是完成了的整体的实无穷事物,所以你说的在实无穷观念下,布劳威尔构造的实数Q必满足实数三分律。是无效的空话。实数三分律只要求这三种情况中有且只有一种情况成立的结论,即究竟哪 种情况成立的问题在这里无法实现。
第三,你谈到恩格斯《反杜林论》的话“纯数学的对象是现实世界的空间形式和数量关系,所以是非常现实的材料。 就应当 尊重现实的算不到底的事实。你谈到:数学家们一旦退入他们的无法攻克的抽象堡垒,即所谓纯数学,这一切相似就都被忘却,无限就变成神秘的东西,而在分析中所运用的方式方法就好像成了完全不可理解的、同一切经验和一切理智相矛盾的。数学家们的这种处理法方法常常奇怪地总是取得正确的结果,……。他们忘记了:全部所谓纯粹数学都是研究抽象的, 就不要再忘掉这些事实。
回复 支持 反对

使用道具 举报

发表于 2020-6-18 19:21 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-6-18 19:25 编辑

第一、由于“π=3.14159265……;√2=1.4142……;sin2=0.99297……这三个式子的左端都是确定的无理数”,所以,它们右端的无尽小数都是左端这个确定无理数的十进制展开。对于无理数的计算,有两种计算要求:①当题目(或实际问题)没告知精确度时,结果应保留算式。如π+√2=π+√2;π*√3=√3π;如告诉了精确度,参加运算的无理数比精确度多取一位参加运算,结果按四舍五入法保留到指定数位。如计算π+√2;π*√3结果保留四位小数。则计算过程为π+√2≈3.14159+1.41421=4.55580=4.5558;π*√3≈1.73205*3.14159=5.441399595≈5.4414.在实际计算中,只有蓄意反对现行实数理论的学者才要求取无理数的无穷多位参与计算。前面我们证明了在现行实数理论中,极限值就是准确值。康托尔基本数列的“趋向性极限”是量身定制的,反“康托尔实数理论”的歪理,无任何可取之处。
第二、因为“实无穷观念下,布劳威尔构造的实数Q必满足实数三分律”,这是徐利治先生从理论上证明了的。凡知道数的三分律定义的数学人,都知道“实数三分律只要求这三种情况中有且只有一种情况成立”即可,与“究竟哪种情况成立”无关。
第三、关于“数学家们的这种处理法方法常常奇怪地总是取得正确的结果”,但数学家们对论敌的进攻总是力不从心。如果能像恩格斯那样借用现实中的实例(如硫磺立方体和蒸汽分子蒸发与凝结),来反击新老贝克莱主义者地进攻,必将收到事半功倍的效果。

回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-6-19 09:28 | 显示全部楼层
春风晚霞: 第一,由于“π=3.14159265……;√2=1.4142……;sin2=0.99297……这三个式子的左端都是确定的无理数”,所以,它们都不能绝对准的表示为十进小数,右端的无尽小数都是算不到底的事物,所以这些等式的右端 应当被看作左端的近似值序列 即康托尔基本数列的极限。 只有这样,才需要而且可以由此提出左端的 十进小数近似 表达式。康托尔 把数列作为定数的实数定义 混淆了变数与常数的关系。
第二,“实数三分律不是做样子的, 对布劳威尔的实数Q 与0,如果无法判断“三种情况中究竟哪种情况成立”  就是三分律失效。
第三。具体问题具体分析,对你说的新老贝克莱主义者地进攻 必须用事实进行反击。
回复 支持 0 反对 1

使用道具 举报

发表于 2020-6-19 09:51 | 显示全部楼层
早就指出吃狗屎与搞数学不可兼得.jzkyllcjl 不信这点,结果谬论连篇,毫无脱离低级趣味的迹象,只能被弃到翘辫子了.
回复 支持 反对

使用道具 举报

发表于 2020-6-19 15:26 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-6-19 15:54 编辑

第一、等式π=3.14159265……;√2=1.4142……;sin2=0.99297……的右端是左端的十进制级数展开,因此等式右端的无尽小数都定数。当然如果把等式的右端看着是康托尔基本数列的一般项,那么这些等式的左端都是这些康托尔基本数列的极限。注意:康托尔基本数列的极限值是准确值。
第二、因为现行的实数理论中π=3.14159265……;√2=1.4142……;sin2=0.99297……中的无尽小数都是“完成了的整体”,所以表征它们“百零排”的特征数Q也是相应确定的。所以,(1)Q=0,(2)Q<0,(3)Q>0三个式子中有且只有一个成立。即在实无穷观念下布劳威尔构造的实数Q必然满足实数三分律。倒是潜无穷观念下,因任何时候无尽小数都处于待完成情形下,布劳威尔定义的实数Q也随时处在待构造中,从而无法判定(1)Q=0,(2)Q<0,(3)Q>0有没有哪个成立。所以潜无穷观念下必存在布劳威尔三分律反例。
第三、是的。如对芝诺的二分法,“一尺之棰,日取其半,万世不竭”等命题,必须根据极限可达和生活实例方能证明其命题非真。
回复 支持 0 反对 1

使用道具 举报

 楼主| 发表于 2020-6-19 16:25 | 显示全部楼层
春风晚霞:第一、 把等式π=3.14159265……;√2=1.4142……;sin2=0.99297……的右端是左端的十进制级数展开式,缺乏事实根据,例如√2=1.4142……的右端需要你对2进行开方计算,这个计算需要一步一步进行下去,第一步,得到1是准明确到整数的不足近似值,第二步得到 ,1.4 是准确到十分之一的不足近似值; 但根据无理数的性质,人们永远 得不到 绝对准的十进小数表达式,这是一个永远算不到底的工作。所以这个等式: 无根据:。或者说是使用了“无穷是完成了的整体的整体的实无穷”:违反事实的 错误根据。
第二,根据第一,就不能使用无尽小数都是“完成了的整体”,所以表征它们“百零排”的特征数Q是无法确定的。所以,(1)Q=0,(2)Q<0,(3)Q>0三个式子中有且只有一个成立的问题无法确定。
第三,对芝诺的二分法,必须根据“无穷不是完成了的整体的整体的实无穷”:的事实 去解决。对“一尺之棰,日取其半,万世不竭”的命题也是如此。
回复 支持 1 反对 0

使用道具 举报

发表于 2020-6-19 21:21 | 显示全部楼层
jzkyllcjl 发表于 2020-6-19 01:25
春风晚霞:第一、 把等式π=3.14159265……;√2=1.4142……;sin2=0.99297……的右端是左端的十进制级数 ...

我不算根号二的十进展开的各位数值, 这个展开就不存在, 就会变? 我不知道百零排数的大小, 三分律就不成立? 这些逻辑出于尊重狗吃屎的事实去吃狗屎的 jzkyllcjl 不是偶然的, 是由其狗屎物质基础的.
回复 支持 反对

使用道具 举报

发表于 2020-6-19 22:13 | 显示全部楼层
本帖最后由 春风晚霞 于 2020-6-20 07:18 编辑

第一、 现行实数理论认为:π=3.14159265……;√2=1.4142……;sin2=0.99297……的右端是左端的十进制级数展开式,其计算根据见附图例1。也就是说,等式π=3.14159265……;√2=1.4142……;sin2=0.99297……的右端由等式左端唯一确定。故此,上述等式右端的无尽小数是“完成了的整体实无穷”。 jzkyllcjl一方面攻击现行实数理论中的无尽小数是“完成了的整体实无穷”,另一方面又认为现行实数理论中的无尽小数不是“完成了的整体实无穷”。这种颠三倒四的思维方式,恰好反映出jzkyllcjl的“唯吾”主义世界观。其实,jzkyllcjl所依据的“事实”,恰好是“完成了的整体实无穷”的计算结果。
第二、根据式π=3.14159265……;√2=1.4142……;sin2=0.99297……;……的右端由等式左端唯一确定;所以,无尽小数(π=)3.14159265……;(√2=)1.4142……;(sin2=)0.99297……;……是实数,也是定数。因此,表征它们“百零排”的特征数Q也是确定的。因为对于一个确定的实数,Q=0(没有“百零排”);Q<0(有奇数个“百零排”);Q>0(有偶数个“百零排”)必有且只有一种情况成立。所以,在现行实数理论中布劳威尔构造的实数Q必然满足实数三分律。倒是jzkyllcjl的无尽小数,任何时候都处于待完成状态。由此,布劳威尔定义的实数Q随时都处在构造过程中。所以,jzkyllcjl的无尽小数理论存在布劳威尔三分律反例。
第三、下面根据极限可达性和客观事实解读“一尺之棰,日取其半”并非“万世不竭”,参见附图例2。芝诺二分法的解读与此类似。

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 0 反对 1

使用道具 举报

发表于 2020-6-19 22:40 | 显示全部楼层
π是纯粹数学中的常数量!

                  (1)  π=3+√2/10
√2是一维空间数,√n都是表示线段的单位!求小数是脱了裤子放屁!而且是带有毒素的臭屁!

三角函数也都是比例关系数!X/Y......!

回复 支持 反对

使用道具 举报

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

本版积分规则

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

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

GMT+8, 2025-9-13 14:11 , Processed in 0.113862 second(s), 14 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代码输入: