数学中国

标题: \(\large\textbf{任何实践都检验不了数学定理的真理性}\) [打印本页]

作者: elim 时间: 2020-7-14 00:31
标题: \(\large\textbf{任何实践都检验不了数学定理的真理性}\)
本帖最后由 elim 于 2023-11-14 22:07 编辑

请jzkyllcjl 用他的实践检验一下球面积公式\(4\pi r^2\)的真理性.

作者: jzkyllcjl 时间: 2020-7-14 10:07
本帖最后由 jzkyllcjl 于 2023-3-21 00:30 编辑

定积分定义改革的应用实例
例一，根据笔者的定积分定义与曲边梯形面积的计算方法，计算圆面积，首先需要写出 y=√r^2-x^2 的函数表达式，然后查不定积分表给出的原函数表达式，加上积分的变量x的下限为-r, 上限为r，算出原函数增量，，这个增量为半圆面积 1/2πr^2..
例二，对于球体积，先设：球体体积为函数V（x）在-r到r 的增量，然后计算V（x）的导数或微分，其导数为dV/dx=π(r^2-x^2), 微分为dV =π(r^2-x^2) dx，由于对称，可以计算0到r 积分后乘2，得球体积为V=4/3×πr^3。
例三，球体体积与表面积的导数关系，将球体体积V=4/3×πr^3，看作r的函数，求导数得，V’=4×πr^2；所以球体表面积可以看作球体体积函数的导函数。
例四(球体表面积的一个定积分算法)，先设：球体表面积为函数S（x）在-r到r 的增量，然后计算函数S（x）的微分或导数，根据微分ds是增量Δs 的准确到高阶无穷小的事实，可以取足够小区间[x,x+dx] , S（x）= S（x, l(x)）,式中l(x)代表沿x方向截得的圆周的的圆弧长；根据弧微分公式 dl=r/√（r^2 -x^2）× dx, 于是得到 dS=2π√（r^2 -x^2）×dl =2πr×dx, 这就说明：S（x）的导数为2πr，这是个常数，于是得 S（x）=2πr ×x, 这个函数在在-r到r 的增量为4πr^2（在立体几何中这个表面积是用极限方法计算的）。

作者: jzkyllcjl 时间: 2020-7-15 09:00
我的四个例题计算结果，至少是与现行几何理论一致的。你能否定这些计算结果吗？

作者: elim 时间: 2020-7-15 10:14

jzkyllcjl 发表于 2020-7-14 18:00
我的四个例题计算结果，至少是与现行几何理论一致的。你能否定这些计算结果吗？

这是实践检验吗? 吃狗屎的 jzkyllcjl?

数学真理如何检验? 靠你猛吃狗屎吗?

作者: jzkyllcjl 时间: 2020-7-16 10:30
这些计算结果，都是符合实践的，是可用的，是人们应用的；而且没有人反对。

作者: elim 时间: 2020-7-16 13:26

jzkyllcjl 发表于 2020-7-15 19:30
这些计算结果，都是符合实践的，是可用的，是人们应用的；而且没有人反对。

为什么符合实践? 就凭你吃了狗屎?

作者: elim 时间: 2020-7-19 03:54
本帖最后由 elim 于 2020-7-18 21:29 编辑

别说吃狗屎的实践, 任何实践都不可能检验数学真理. 因为数学真理的论域不是有限的实践可以遍历的，

作者: jzkyllcjl 时间: 2020-11-7 08:15
极限值具有达不到的理想性。

作者: jzkyllcjl 时间: 2020-11-7 16:07
elim不知道圆周率的来源与应用方法。

作者: jzkyllcjl 时间: 2020-11-8 08:28
对数学里理论需要说明它的实用意义，否则就无有价值。球面积公式就是如此。

作者: elim 时间: 2020-11-8 09:53
你都吃上狗屎了, 还有啥价值不价值的? 跟手把手都教不会的说明再多, 不是还一头栽进粪坑?

作者: jzkyllcjl 时间: 2020-11-8 14:43
你否定不了球面积公式的推导过程及其应用方法。

作者: elim 时间: 2020-11-8 16:55
jzkyllcjl 空喊实践检验数学，其实它什么都不会．只懂吃狗屎．

作者: elim 时间: 2020-11-9 09:08
jzkyllcjl 根本不知道什么是数学, 什么是实践检验, 所以让他说说用实践检验圆球表面积公式的真理性时, 他完全不知从何做起. 难怪这个吃狗屎发谬论的败类落得被人类数学抛弃的可耻下场.

作者: elim 时间: 2020-11-11 12:36
敦促 jzkyllcjl 检验一下他吃狗屎的真理性.

作者: jzkyllcjl 时间: 2020-11-11 14:50
我已从n=1 到n=678000 算出了τ（n）=（na(n)-2）/a(n) 的数值都小于0，你说τ（n）=（na(n)-2）/a(n) 的极限是正无穷大，那么请你用数字计算验证一下，看看那些自然数的τ（n）=（na(n)-2）/a(n) 的数值大于1？

作者: elim 时间: 2020-11-11 17:38
你的全能近似就是这么算破产的．

作者: elim 时间: 2020-11-11 17:55
本帖最后由 elim 于 2023-11-14 22:11 编辑

jzkyllcjl 始终无法用实践检验球面积公式的真理性．原因很简单，实践检验不了真理，只能证伪歪理．jzkyllcjl 的吃狗屎实践只有被数学批判的份．就算最精致的实践，也会因为测不准原理而无法检验数学真理．实践只配被数学指导，否则就像jzkyllcjl 那样犯错误．

作者: elim 时间: 2020-11-15 09:08
数学的起点是满足某些数学公理的对象空间. 其真理性根本不是测不准的现实世界可以检验的. 数学是用来批判实践, 指导实践的. 这就是为什么 jzkyllcjl 叫嚣再怎么声嘶力竭也检验不了球表面积公式的真理性.

狗改不了吃屎, jzkyllcjl 改不了吃狗屎.

作者: elim 时间: 2020-11-16 17:02
敦促jzkyllcjl 检验他吃屎后的脑袋．

作者: jzkyllcjl 时间: 2020-11-17 08:46
我的全能近似分析方法揭露了你的错误。

作者: elim 时间: 2020-11-17 08:50
哈哈哈哈哈哈哈啊哈哈哈. 跟你说理论证, 你就干嚎反动口号,
狗改不了吃屎, jzkyllcjl 改不了吃狗屎.

作者: elim 时间: 2020-11-18 16:05
数学的起点是满足某些数学公理的对象空间. 其真理性根本不是测不准的现实世界可以检验的. 数学是用来批判实践, 指导实践的. 这就是为什么 jzkyllcjl 叫嚣再怎么声嘶力竭也检验不了球表面积公式的真理性.

狗改不了吃屎, jzkyllcjl 改不了吃狗屎.

作者: jzkyllcjl 时间: 2020-11-19 08:26
数学公理是从现实实践中抽象出来的，还需要在继续的实践中纠正。

作者: elim 时间: 2020-11-19 09:04
jzkyllcjl 从测不准的现实中抽象出什么了? 暂时吃点狗屎? 呵呵

你验证球面积公式的真理性结果怎样了? 又要吃点狗屎?

作者: jzkyllcjl 时间: 2020-11-19 17:25
测不准是事实，因此任何线段长度是一个实数的概念是忽略了测不准性质的理想概念。在这个意义下，推出的圆周长、球面积公式都有理想性。所以具体应用时，式中的圆周率可以使用有尽小数近似表示。数学理论的基础是唯物辩证法。

作者: elim 时间: 2020-11-19 22:13
这个是实践对球面积公式的检验, 还是你jzkyllcjl 实践吃狗屎后的胡扯?

作者: jzkyllcjl 时间: 2020-11-22 09:06
有些数学公式需要改写，但正确的数学公式，没有给实践添麻烦，但许多公式的真理性具有达不到的理想性，解决实际问题时，需要在足够准近似方法下应用。球面积公式是正确的，但具有理想性。

作者: elim 时间: 2020-11-22 09:17
吃狗屎的 jzkyllcjl 没有交代它的吃狗屎实践到底怎么检验数学公式的真理性, 楼上的胡扯既不是实践也不是论证. 不过是败类的几声凄厉, 而已.

作者: elim 时间: 2020-11-23 08:41
jzkyllcjl 的实践只能检验相应模型的合理性, 与数学一点关系都没有.

作者: jzkyllcjl 时间: 2020-11-23 10:32
无穷只能在有限的方法下进行一些检验，无法做到全体检验。极限性公式需要在近似方法下检验与应用。

作者: elim 时间: 2020-11-23 11:07
本帖最后由 elim 于 2023-11-14 22:53 编辑

数学理论检验批判, 指导实践. 实践检验不了理论.

作者: jzkyllcjl 时间: 2020-11-23 15:38
我用数字计算：得到使用施篤兹（O.Stolz）定理中的公式求极限时，可以出现改变数列趋向于极限的方向的改变，因此在极限为0的情况下，可以出现改变无穷小正负符号的现象。这就是对已有理论改革，我使用实践消除了连续统假设也是对数学理论的改革。

作者: elim 时间: 2020-11-23 15:45
本帖最后由 elim 于 2023-11-14 22:54 编辑

你的计算出现什么与极限没啥关系，比起你没算的项的无穷多，你那些计算跟没算差不多．

作者: jzkyllcjl 时间: 2020-11-25 16:19
我用数字计算：得到使用施篤兹（O.Stolz）定理中的公式求极限时，可以出现改变数列趋向于极限的方向的改变，因此在极限为0的情况下，可以出现改变无穷小正负符号的现象。这就是对已有理论改革，这个改革消除了判断等价无穷小的错误。我使用实践得到无穷集合无法构造完毕的事实消除了连续统假设也是实践对数学理论的改革的好处。。

作者: elim 时间: 2020-11-27 09:29
jzkyllcjl 算不对极限的猿声啼不住, 人类数学的轻舟已过万重山.

作者: jzkyllcjl 时间: 2020-11-27 14:26
当分子的极限是0，分母的是无穷大时，分式的极限就是0，你对A（n）的极限各种计算不仅多余，而且计算结果都是错误的。

作者: elim 时间: 2020-11-27 14:59
吃狗屎的jzkyllcjl 算不出 \(n(na_n-2)\to\infty\)，三年前就这样了．
我多次指出，狗改不了吃屎，你 jzkyllcjl 改不了吃狗屎．这件事决定了你就是个废物，算不对任何极限．

作者: elim 时间: 2020-12-4 15:06
jzkyllcjl 始终回避用实践检验求面积公式的真理性不是没有原因的. 实践检验不了数学真理, 而数学真理却可以批判实践和指导实践.

作者: elim 时间: 2020-12-8 10:49
jzkyllcjl 以主张实践检验数学真理著称．听起来了不起，就是没见识过咋检验．屡次敦促 jzkyllcjl 现身说法，不料jzkyllcjl 只顾吃屎，就是不亮相．这个骗子．

作者: jzkyllcjl 时间: 2020-12-8 17:02

elim 发表于 2020-12-1 08:10
吃狗屎的jzkyllcjl 算不出 \(n(na_n-2)\to\infty\)，三年前就这样了．现在又
吃了三年狗屎，更算不对极限 ...

我早就算出： lim n（na(n)-2）=lim n（-1/3a(n）+O((a(n))^2)=-2/3.。由此得到A(n)的极限为0，不是你算的2/3。

作者: elim 时间: 2020-12-8 21:47
本帖最后由 elim 于 2023-11-14 22:18 编辑

你早就吃上了狗屎，当然算錯．这又不是新闻，谁不知道你的计算畜生不如？

作者: elim 时间: 2020-12-25 11:22
实践检验数学真理是 jzkyllcjl 的胡扯. 数学是指导实1践的唯一标准. 反之不然. 我让吃狗屎的 jzkyllcjl 的实践检验一下球面积公式的真理性, 他到现在啥都没干. 无从下手.

作者: jzkyllcjl 时间: 2020-12-26 07:51
实践说明：无尽小数3.1415916……是永远算不到底的事物，如果认为算到底了，那么就无法解决布劳威尔的反例。

作者: elim 时间: 2020-12-26 09:37
请jzkyllcjl 用他的吃狗屎实践检验一下球面积公式的真理性, 不要顾左右而言他.

作者: elim 时间: 2020-12-26 21:58
敦促jzkyllcjl 展示实践检验数学真理的具体过程．但他好像只顾吃狗屎啼猿声．

作者: jzkyllcjl 时间: 2020-12-27 09:20
球面积公式是4πr^2, 但这个公式具有抽象的理想性。其实用验证问题需要在近似方法下进行。

作者: elim 时间: 2020-12-27 11:04
检验进行了吗? 检验结论是它有没有真理性? 吃狗屎的 jzkyllcjl ?

作者: jzkyllcjl 时间: 2020-12-27 16:11

elim 发表于 2020-12-27 03:04
检验进行了吗? 检验结论是它有没有真理性? 吃狗屎的 jzkyllcjl ?

无穷是无法遍历的，所以球面积公式是4πr^2, 但这个公式具有抽象的理想性。其实用验证问题需要在近似方法下进行。

作者: elim 时间: 2020-12-27 16:20
为什么无穷无法遍历球面积公式就该是\(4\pi r^2\)，吃狗屎的jzkyllcjl?

作者: elim 时间: 2020-12-30 04:42
吃狗屎的 jzkyllcjl, 问你最拿手(检验真理)的问题怎么不敢回答?

作者: jzkyllcjl 时间: 2020-12-30 09:28
球面积公式S=4πr^2是使用误差界趋向于0的全能近似数列极限方法得到的理想性公式。根据数学理论的本质是研究现实数量大小、多少及其关系的科学，它的实用意义是解决生产实际的现实数量问题，而对现实数量问题，它们的半径长与圆周长都具有测不准性质，所以实践验证就是通过它是全能近似数列极限性公式，可以在满足误差界下付诸应用的证明。这就是实践的证明方法。理论指导实践，反过来，实践可以验证正确的公式，否定不正确的公式。球面积公式是经过实践验证了的正确公式，但你的A(n) 的极限等于2/3的公式是实践证明其错误的等式。

作者: elim 时间: 2020-12-30 10:26
全能近似结果从哪里来? 什么是现实圆, 就是状对吧, 吃狗屎的 jzkyllcjl? 哈哈哈.

作者: elim 时间: 2020-12-31 10:50
jzkyllcjl 吃狗屎的实践检验不了数学真理.

作者: jzkyllcjl 时间: 2020-12-31 11:10

elim 发表于 2020-12-30 02:26
全能近似结果从哪里来? 什么是现实圆, 就是状对吧, 吃狗屎的 jzkyllcjl? 哈哈哈.

“无尽小数是实数”的现行实数理论是违反事实的、造成布劳威尔反例与错误的连续统假设的行不通的理论。所以需要使用理论练习时间的方法，称3.1415926……为圆周率的全能近似值无穷数列，它的极限才是圆周率。但这个数列也具有算不到底的理想性，所以在应用时，需要根据直径的测量精度，在满足某个误差界是再这个全能近似数列中尊找足够准近似值进行圆周长的计算。近似方法是人们使用的现实性方法。绝对准的无尽小数是实数的定义是浮夸的错误做法。

作者: elim 时间: 2020-12-31 13:20
违反吃狗屎的事实？必须的！

作者: jzkyllcjl 时间: 2020-12-31 15:21

elim 发表于 2020-12-31 05:20
违反吃狗屎的事实？必须的！

骂人是无理的表现。

作者: 任在深 时间: 2020-12-31 15:39

jzkyllcjl 发表于 2020-12-31 15:21
骂人是无理的表现。

你是特意来找骂的！
不挨骂，你不舒服？！
孩子们唱：“世上只有妈妈好！”
你却认为：“世上只有骂人好？”

作者: jzkyllcjl 时间: 2020-12-31 15:46
骂人能使你中华单位论得奖吗？

作者: 任在深 时间: 2020-12-31 16:04

jzkyllcjl 发表于 2020-12-31 15:46
骂人能使你中华单位论得奖吗？

俺是车老板出身，从来不骂人！
俺发现《中华单位论》是纯粹数学的理论基础！俺要发扬她！光大她！！
这样今后就再也不会出现你这样的白痴和傻瓜了！
你懂吗？
你明白吗？

作者: elim 时间: 2020-12-31 22:18
jzkyllcjl 认为吃狗屎是有理的表现，而揭发他吃狗屎是骂人．大家从中可以看到吃狗屎的危害真的很大．呵呵

作者: jzkyllcjl 时间: 2021-1-1 09:55
数学理论需要尊重事实不循环小数3.1415926……具有永远算不到底的性质。无尽不循环小数展开式中的三个命题：①这个无尽不循环小数展开式中没有百零排（百零排指100个连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。是无法判断的命题。布劳威尔，他根据“无穷是完成了的整体实无穷观点”使用两次排中律，提出了一个现行数学理论无法解决的实数理论的三分律反例，关于这个反例，徐利治在他的论文中，虽然讲道：“在实无穷概念下，使用两次排中律，可以得到Q属于三者中的哪一种”的说法，但实际上究竟属于哪一种呢？是无法判断出来的，所以徐利治最后讲到“看来还是一个不易解决的难题，希望感兴趣的读者继续研究下去”。笔者研究后，发现所有无不循环小数的位数都是无有尽穷尽的，都是算不到底的，因此无尽不循环小数展开式的上述三个命题都是无法判断的不可解问题，对于不可解问题，王宪钧在他的《数理逻辑引论》的316-317页讲到：“只要是有穷，……排中律有效”：在“不可解”可能出现的情况下，“排中律不能用”：“两种情况都是既不能证明又不能否定，排中律失效”。笔者同意排中律只能应用于“能判断其真假的二值性问题”，对于上述无法判断问题，排中律不能用，用的话也是无效的。

作者: elim 时间: 2021-1-1 11:04
这个性质使得实践根本不可能检验求面积公式的真理性. 而求面积公式可以用来检验实际应用中是否出现错误. 另外, 所有事实都显示 jzkyllcjl 吃狗屎后只产生错误思想, 只保证计算错误. 只能被抛弃, 果然被抛弃.

作者: jzkyllcjl 时间: 2021-1-1 16:10

elim 发表于 2021-1-1 03:04
这个性质使得实践根本不可能检验求面积公式的真理性. 而求面积公式可以用来检验实际应用中是否出现错误. ...

不循环小数3.1415926……具有永远算不到底的事实性质。不仅消除了布劳威尔反例，而且给出了这个无尽小数真实的实用意义。这个实用意义就是在足够准近似方法下，根据半径的测量精度近似计算其圆周长、圆面积、球面积。这也是检验这个公式的方法。
你若不同意，你说说你的验证方法。你消除这个反例的方法。

作者: elim 时间: 2021-1-1 22:12
jzkyllcjl 吃上了狗屎，捏造了反例，砸毁了口碑，邪灵附体，畜生不如．

作者: elim 时间: 2021-1-5 14:10
吃狗屎的jzkyllcjl 没有资格检验数学真理．

作者: 李利浩 时间: 2021-1-5 18:42

jzkyllcjl 发表于 2021-1-1 16:10
不循环小数3.1415926……具有永远算不到底的事实性质。不仅消除了布劳威尔反例，而且给出了这个无尽小数 ...

不知jzkyllcjl网友是如何理解“矛盾是两点论和重点论的统一”的辩证关系？
量变是质变的前提，当然，量变也可以是指结构变化

作者: elim 时间: 2021-1-6 01:26
jzkyllcjl 的吃狗屎实践到底可以拿来检验什么？

作者: elim 时间: 2021-1-6 10:22
我认为可以检验他的确吃了狗屎。不过这跟数学没啥关系啊，哈哈哈

作者: jzkyllcjl 时间: 2021-1-6 16:31
首先需要讨论圆周长与直径的现实性与其数字表达式之间的关系。

作者: APB先生 时间: 2021-1-6 17:11

jzkyllcjl 发表于 2021-1-1 09:55
数学理论需要尊重事实不循环小数3.1415926……具有永远算不到底的性质。无尽不循环小数展开式中的三个命题 ...

jzkyllcjl ;
你把数分为：理想的和现实的；我不明白你现在的数学理论，是指理想的数学理论？还是指现实的数学理论？

作者: elim 时间: 2021-1-6 22:54

jzkyllcjl 发表于 2021-1-6 01:31
首先需要讨论圆周长与直径的现实性与其数字表达式之间的关系。

什么是现实圆？吃上了狗屎提出的伪概念就不是拉圾了？

作者: elim 时间: 2021-1-7 09:58
敦促 jzkyllcjl 检验一下他吃狗屎的真理性.

作者: jzkyllcjl 时间: 2021-1-7 10:19
elim畜生不如、吃狗屎的话是他无理可说时的骂人的不讲理表现。
平面或直线段是现实存在的事物，elim的话“数学基本论域本质上是无穷集因而不是有限构造的结果．所以认定欧氏平面的存在就是认定实无穷观点．实无穷不是完成了的过程而是既存的对象．沒有这种基本认识就没有数学．”违背了恩格斯在《反杜林论》48页的“无限纯粹是由有限组成的”的论述；也违背了希尔伯特《几何基础》的从公理出发的论述。

作者: elim 时间: 2021-1-7 10:37
jzkyllcjl 吃狗屎啼猿声, 根本不懂恩格斯“无限纯粹是由有限组成的”的论述, 也违背了希尔伯特《几何基础》的从公理出发的论述。畜生不如的 jzkyllcjl 活该被人类数学抛弃.

作者: jzkyllcjl 时间: 2021-1-7 14:36
第一，APB先生：你的话“每一个实数都等于单位元（生成元）的倍数。中的“生成元”是什么？我不是吹毛求疵，玩语言游戏，而是希尔伯特提出的23个问题的第一、第二两个问题至今没有得到解决，为此，希尔伯特在20世纪20年代提出了元数学元语言与有穷方法。变化的无穷数列就不是定数、而是变数、对这个问题，不是我分不清，而是你分不清。你把实数集合化为0，又说0与自然数一一对应，实数集合可数的证明是概念混淆的证明，elim 不会同意你的证明。

第二，elim懂恩格斯“无限纯粹是由有限组成的”的论述, ，那么请你谈谈这句话的意义与应用，你懂希尔伯特《几何基础》，那么请你谈谈从公理出发的论述。

作者: elim 时间: 2021-1-8 09:16
球面面积公式的真理性检验得如何了？

作者: jzkyllcjl 时间: 2021-1-8 09:45

elim 发表于 2021-1-8 01:16
球面面积公式的真理性检验得如何了？

你是不联系事实的形式主义者。你骂人是无理的表现。我已说过多次，球面积公式具有理想性。需要使用理想与现实的对立统一法则去理解它。

作者: elim 时间: 2021-1-8 09:47
你吃狗屎是有理的表现? 为什么要联系你吃狗屎的事实？你说你的吃狗屎实践能检验数学真理，怎么不兑现？

作者: jzkyllcjl 时间: 2021-1-8 15:43

elim 发表于 2021-1-8 01:47
你吃狗屎是有理的表现? 为什么要联系你吃狗屎的事实？你说你的吃狗屎实践能检验数学真理，怎么不兑现？

我已说过多次，球面积公式具有理想性。需要使用理想与现实的对立统一法则去理解它；根据人们的实践应用，它的正确性已经得到实践验证，并继续使用它。这个正确性是形式主义者无法理解的。

作者: elim 时间: 2021-1-8 18:00
jzkyllcjl 的实践到底怎么检验数学真理的？需要辩证法就用啊？

作者: elim 时间: 2021-1-9 11:18

再说一遍： jzkyllcjl 的实践到底怎么检验数学真理的？需要辩证法就用啊？

作者: jzkyllcjl 时间: 2021-1-9 11:24
你是形式主义者。你接受不了正确的回答，只好再问，你为什么不问你自己呢？你想推翻球面积公式吗？。

作者: elim 时间: 2021-1-9 12:02
我一再追问 jzkyllcjl 的实践到底怎么检验数学真理的？需要辩证法就用啊？
结果是他也不知道。都是胡扯的，想兜售他的吃狗屎邪教而已。

作者: jzkyllcjl 时间: 2021-1-9 17:15
数学的本质是研究显示数量大小及其关系的科学，因此必须知道现实数量的性质。必须使用唯物辩证法。你是形式主义者，你不顾事实的主义必然失败，而且在计算A（n）的极限时，你已经失败了。

作者: elim 时间: 2021-1-9 17:20
必须使用唯物辩证，为什么你不用反而吃狗屎呢？

作者: elim 时间: 2021-1-10 23:54
jzkyllcjl 讲话要实在．实践检验数学真理无法兑现．就老实承认．

作者: elim 时间: 2021-1-11 10:08
叶公好龙。真的让 jzkyllcjl 说说实际应用，数学真理，他就装孙子。

作者: jzkyllcjl 时间: 2021-1-11 16:31

elim 发表于 2021-1-11 02:08
叶公好龙。真的让 jzkyllcjl 说说实际应用，数学真理，他就装孙子。

对球面积公式需要使用恩德的在《反杜林论》《反杜林论》48页讲到：“杜林先生，永远做不到没有矛盾地思考现实的无限性。无限性是一个矛盾，而且充满着矛盾。无限纯粹是由有限组成的，这已经是矛盾，可是事情就是这样”；在《自然辩证法》228页恩格斯讲道：“数学家的方法常常奇怪的得到”正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了。去理解。为此，笔者称现实数量大小的绝对准表达符号（例如：0，1，2，3，……1/3,1/10,……，π,√2，……等）都是理想实数（简称为实数）。每一个无尽小数都是理想实数的满足误差界（十的负n次幂分之一）的不足近似值。无尽小数本身不是实数，但无尽小数与理想实数之间，具有理论与实践、理想与现实、绝对准与近似之间的对立统一关系。
（4）纯形式逻辑方法是行不通的
由于历史的原因，现行数学教科书中，不仅没有把唯物辩证法作为阐述数学理论的根本方法，而且存在着顽固坚持形式主义的不联系实践的纯形式逻辑的错误。“称无尽小数为实数的定义”就是这个错误一个实例。这个错误带来了徐利治在他的《论数学方法学》[C]，济南山东科技出版社2003，490-501“自然数列二重性与双相无限性及其对数学发展的影响”中介绍的，布劳威尔反例。这个反例是：首先提出无尽不循环小数展开式中的三个命题：①这个无尽不循环小数展开式中没有百零排（百零排指100个连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。然后，布劳威尔根据“无穷是完成了的整体实无穷观点”使用两次排中律，提出了一个实数Q，这个Q就是无法判断出它大于、小于、等于0三种情形中哪一种成立的实数理论的三分律反例。关于这个反例，徐利治在他的论文中，虽然讲道：“在实无穷概念下，使用两次排中律，可以得到Q属于三者中的哪一种”的说法，但实际上究竟属于哪一种呢？是无法判断出来的，所以徐利治最后讲到“看来还是一个不易解决的难题，希望感兴趣的读者继续研究下去”。仔细分析这个反例与康托尔的实数集合不可列定理与连续统假设的问题，它们都是不顾“无限集合不是完成了的整体”的“实无限”的形式主义的观点造成的。实无限这个术语是掩盖事实的狐皮，取消这个形式主义的观点，这个反例康托尔的实数集合不可列定理与连续统假设的问题就不存在了。这个问题是希尔伯特知道的，所以他在20世纪20年代提出了他的元数学（即证明论）中的使用元语言与有穷方法的思想，但由于他与到现在为止的数学界都没有使用唯物辩证法，所以至今数学界没有解决希尔伯特1900年提出的23个问题的第一、第二两个问题。这说明：纯形式逻辑的形式主义方法是行不通的。

作者: elim 时间: 2021-1-11 21:33
jzkyllcjl 的吃狗屎实践检验了球面积公式的真理性了吗？

作者: elim 时间: 2021-1-14 13:51
jzkyllcjl 用吃狗屎实践检验数学真理的理论，不幸破产了。

作者: elim 时间: 2021-1-14 20:56
一谈到实践，jzkyllcjl 就吃狗屎．所以jzkyllcjl 没有资格检验任何东西．他本人被检验为畜生不如．

作者: elim 时间: 2021-1-20 09:27
球面积公式是相当古老的数学结果了。jzkyllcjl 怎么检验不了其真理性？不管白猫黑猫，不管吃不吃狗屎，jzkyllcjl 倒是检验给大家看看呀！光说不练，畜生不如知道吗？

作者: jzkyllcjl 时间: 2021-1-20 10:43
最根本的问题是：实践是数学理论的基础。无穷是无有穷尽的意思，无穷集合之间的“一一对应法则”是进行不到底的操作。所以第一，无穷集合之间的“一一对应就称它们元素个数相等”的康托尔集合论违背事实。第二，圆周率的无尽小数表达式永远算不到底，使用时只能根据直径的测量精度，使用足够准近似十进小数替换无尽小数。

作者: elim 时间: 2021-1-20 10:54
本帖最后由 elim 于 2021-1-20 05:20 编辑

jzkyllcjl 发表于 2021-1-19 19:43
最根本的问题是：实践是数学理论的基础。无穷是无有穷尽的意思，无穷集合之间的“一一对应法则”是进行不到 ...

jzkyllcjl 不得不否定无穷，因为无穷没有实践基础。但这个败类又离不开无穷，所以一开口就发悖论。

作者: elim 时间: 2021-1-20 20:18
\(ax^2+bx+c=0, \; a\ne 0\iff x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}\) 中什么量是现实量？什么量不是现实量？现实量多大多小？怎么获得？现实量除了去测量它，还能怎么研究？告诉大家二次方程求根公式是什么现实数量大小的什么研究得出的？吃狗屎的jzkyllcjl?

作者: elim 时间: 2021-1-21 10:30
jzkyllcjl 怎么不敢谈他胡扯的破产问题?

作者: elim 时间: 2021-1-21 22:45
jzkyllcjl 的吃狗屎实践，检验了他的畜生不如．

作者: elim 时间: 2021-1-22 10:21
jzkyllcjl 的吃狗屎实践，也只能检验他的畜生不如．

作者: elim 时间: 2021-1-27 09:16
敦促吃狗屎的 jzkyllcjl 谈谈他的各种破产。

欢迎光临数学中国 (http://www.mathchina.com/bbs/)