jzkyllcjl算不出\(\int_1^2\sqrt{1+x^{-4}}dx\)全能近似列前11项,只会吃狗屎

jzkyllcjl

elim 发表于 2023-1-21 02:17
jzkyllcjl 占着茅坑不拉屎怪地心引力。"全能"近似理论在这个积分上通不过实践检验, 怪我没有教他求原函数 ...

第一 ，π与√2、√3的无尽不循环小数展开式都具有永远算不到底的事实，这些展开式的小数点后的位数是无穷多个，关于无穷的概念存在着“实无穷与潜无穷”的两千多年的争论，王宪钧著 数理逻辑引论[M] ]中讲到“实无穷论者认为：无穷（在数学中表现为无穷集）是一个现实的、完成的、存在着的整体，是可以认识的；潜无穷论者否定实无穷，认为无穷并不是已完成的而是就其发展来说是无穷的，无穷只是潜在的[1]。”这个实无穷观点中的“完成的”定语，违背“无穷是无有穷尽、无有终了事实”。所以，康托尔的“数学必须肯定实无穷”的意见不成立，ZFC形式公理中的“无穷集合存在公理”需要改写为“无穷集合是其元素个数趋向于 ，但永远无法构造完毕的想象性非正常集合”。徐利治先生在文献[2]中介绍了布劳维尔（Brouwer）提出的反例。这个反例涉及到无理数的无尽不循环小数的展开式中的① 这些展开式中没有“百零排（即100个连续的0）”；② 这些展开式中有奇数多个“百零排”；③ 这些展开式中有偶数多个“百零排”的三个命题都不是能行的可判断的问题。关于 可判断问题，在黄耀枢《数学基础引论》（北京：北京大学出版社，1987出版，）讲了：定义1.20(能行可判断性)  如果存在一个算法，使得对所给的公式集合中每一个公式的真假，都能在有穷步数内做出答案，那么我们说这集合中的公式是能行可判断的。根据这个定义，上述三个命题都不是能行可判断问题，猅中律失效。文献[1]中也讲到排中律失效的例子。由于无尽不循环小数展开式具有永远算不到底的不可判断的性质，布劳威尔不能使用两次猅中律，提出一个实数Q，与这个实数 是大于、小于或等于0的无法判定实数的三分律反例，虽然徐利治说过“在实无穷意义下，应用两次排中律可以判断这个实数 是大于、小于或等于0的问题”，但“这个问题不是实无穷问题，究竟这个实数 是大于、小于或等于0呢？的问题是一个无法判断的问题”。所以，徐利治先生在这个文献最后讲到：“看来，这还是一个不易解决的难题”,“希望对布劳维尔(Brouwer)反例感兴趣的读者继续研究下去”。笔者研究后得到的结论是：根据“无穷是无有穷尽、无有终了的事实”，“百零排”的这三种命题都是由于永远算不到底的不可判断的命题，布劳维尔（Brouwer）不能使用两次猅中律，提出他那个实数Q，这样就消除了布劳威尔这个反例。春风晚霞坚持的“数学表述系统中所允许的方法只有演绎推理的方法，……使用两次猅中律得到的三者有且只有一个命题成立的结论”是无效的，事实是：他无法得到三个命题究竟哪一个成立的问题。这说明：数学理论的阐述，不能单靠形式逻辑，也说明：无尽小数永远写不到底的事实必须受到尊重。
第二，一般来讲，定积分是个实数。它的值与π、√2、√3一样，具有算不到底的性质。

elim

jzkyllcjl 不会用马列主义批判自己，只会吃狗屎．

jzkyllcjl

elim 发表于 2023-1-23 01:13
jzkyllcjl 不会用马列主义批判自己，只会吃狗屎．

事实是：定积分是个实数。它的值与π、√2、√3一样，具有算不到底的性质。

elim

jzkyllcjl 算不出\(\displaystyle\int_1^2\sqrt{1+x^{-4}}dx\)至11位有效数字．只会吃狗屎．

jzkyllcjl

elim 发表于 2023-1-25 06:11
jzkyllcjl 算不出\(\displaystyle\int_1^2\sqrt{1+x^{-4}}dx\)至11位有效数字．只会吃狗屎．

这个定积分是个实数。因此它与圆周率一样，它的实数值 是数列的极限，且具有永远算不到底的性质，只能算出某些近似值。

elim

jzkyllcjl 是具有让它算积分到11位有效数字，它就转移问题直接吃狗屎的性质的学渣。

jzkyllcjl

elim 发表于 2023-1-26 22:53
jzkyllcjl 是具有让它算积分到11位有效数字，它就转移问题直接吃狗屎的性质的学渣。

elim 没有给出这个积分的原函数表达式，没有算出这个原函数在1的值。

elim

我给出了原函数以及用原函数做数值积分的代码，用黎曼和作数值积分的代码．但jzkyllcjl 还是只会吃狗屎．

jzkyllcjl

elim 发表于 2023-1-27 13:32
我给出了原函数以及用原函数做数值积分的代码，用黎曼和作数值积分的代码．但jzkyllcjl 还是只会吃狗屎．

你没有用黎曼和算出这个定积分的数值。

elim

jzkyllcjl 算不出一个简单线积分的前11位有效数字，只会吃狗屎，