jzkyllcjl 的"三分律反例"

elim

设 3.1415926... 是 pi 的小数表示, 如果这些数码在某一段不多不少连续出现一百个0, 就称这是一个百零排. 记 ω 为 pi 的小数表示中出现的全部百零排数. 由此定义一个实数 Q:   ω 为无穷时 Q = 0,  ω 为有限偶数(包括 0) 时 Q = -1, ω 为有限奇数时 Q = 1. 现在问 Q 到底 = 0, < 0 还是 > 0? 这个问题可以称为布劳威尔百零排问题.

众所周知实数系有一个性质, 任意两个数 a, b, 关系 a < b, a = b, a > b 有且仅有一个成立. 这就是所谓的实数系的三分律. 其实任何全序集都具有这种性质. 如果把实数"视觉化" 为数轴, 那么这无非是说数轴上任意两点 A, B, 要么 A 左 B 右, 要么 A, B 重合, 要么 A 右 B 左, 三者必据其一.

如上面的说明, 三分律不可能有反例, 然而不论其他人的立场如何, jzkyllcjl 声称 Q 构成了实数系三分律的反例. 因为到目前为止, 没人知道 Q 与 0 的大小关系. 但是没人知道答案的数学问题多的去了, 拿每一个这种问题都能构造一个不知道多少的数 Q, 都成为三分律的反例? 其实称 Q 是反例是没有道理的, 因为 Q > 0, Q = 0, Q < 0 三者必居其一, 只是目前人们还不知道 Q 等于几. 换句话说, 我们只是定性地知道 Q 是一个数, 但不知道它具体是啥.

设 a1 = 3, a2 = 3.1, a3= 3.14,... 是jzkyllcjl 的Pi 逼近列(照他的说法, 这就是pi 的无尽小数 3.14159...), 定义 b(k) = "a(k) 中百零排的个数", 按照 jzkyllcjl, 无穷序列{a(k)} 存在, 所以无穷序列 {b(k)} 存在, 由于 {b(k)} 是单调不减序列, 所以 lim b(n) 要么是一个非负整数, 要么是无穷. 这个序列极限就是布劳威尔要的百零排数. 如果 jzkyllcjl 说 {a(k)} 算不到底, 目前只有有限项, 那么凭什么说它收敛到 pi? 而 pi 凭什么存在? 所以 jzkyllcjl 对无尽小数的篡改并不能化解布劳威尔问题.

没有人说过 pi 的小数形式的计算已经完成, 人类数学称 pi = 3.1415... 的依据是 pi 的存在是实数连续性所保证的, 而右边小数各位数值被 pi 唯一确定. 跟 jzkyllcjl 胡扯的"完成了的实无穷"毫不相干.  正如 x^2 = 2 的解及其无尽小数表示的存在唯一性根本不依赖于人们的计算. 人们根据需要随时可以算出具有所需精度的近似值. 但没有理由拿近似值冒充无尽小数本身. 因为后者是实数的精确十进制展开.

如果 jzkyllcjl 说原则上 {a(k)} 和 {b(k)} 都存在, 但由于能完成的实际计算的有限性, lim b(k) 的计算是无法完成的工作, 所以布劳威尔问题是不可判定问题, 那么他又错了. 任何序列的极限计算都不依赖对序列各项的计算的完成, 而不可判定问题不是算不了的问题, 而是命题及否命题都独立于现有公理系统的问题. 例如平行公理相对于欧几里德几何的其他公理, 就是不可判定命题. 现已证明, 连续统假设对 ZFC 而言是不可判定问题. 所以江郎才尽的 jzkyllcjl 的夜郎自大又泡了汤. 孪生数问题, 哥猜, 欧拉 γ 常数是否是有理数的问题看似都有"算不到底"的难处. 但没有人因此就把这些问题归为不可判定问题. 所有数论定理都不依赖于遍历性数值计算, 所有数学定理都不可说被逐一的具体计算所检验, 也不需要这种检验.

综上, jzkyllcjl 根本就没有搞数学基础的基本素质, 他的吃狗屎哲学对他的伤害是致命的, 但离开狗屎对他也是致命的. 他的最好待遇就是被人类数学抛弃.

jzkyllcjl

elim 网友：第一，无尽小数 3.14159...), 收敛于 π，依赖于 春风晚霞说的 它的底是 π，它是 π的针对 误差界序列{1//10^n} 算出 无穷数列的简写， 由于 误差界序列趋向于0， 所以，这个无尽小数趋向于π。 第二。你定义 b(k) = "a(k) 中百零排的个数", 按照 jzkyllcjl, 无穷序列{a(k)} 存在, 所以无穷序列 {b(k)} 存在, 由于 {b(k)} 是单调不减序列, 所以 lim b(n) 要么是一个非负整数, 要么是无穷. 这个序列极限就是布劳威尔要的百零排数”. 我尊重，你说的对。 但 你接着说的：“如果 jzkyllcjl 说 {a(k)} 算不到底, 目前只有有限项, 那么凭什么说它收敛到 pi? 而 pi 凭什么存在? 所以 jzkyllcjl 对无尽小数的篡改” 就不对了，事实上，我在前边 说了，根据 春风晚霞说的 这个无尽小数的底 是π，得到 无尽小数的数列的通项性质，证明它的极限是π， 至于你定义 b(k) = "a(k) 中百零排的个数",需要 把 无尽小数 算到底才知道，但这是 永远算不到底的事物， 无法 算出这个百零排的个数。进一步，布劳威尔的百零排的 三个命题 不属于真假二值性 逻辑问题，不能使用排中律，这就消除了 布劳威尔提的 反例。 这就是 结合实践 改革实数理论 的一个好处。

elim

这个无尽小数的底是 pi 是理论分析的结果, 不是算到了底, 但你否认这种东西的可靠性, 认为是完成了的实无穷. 你的畜生不如表现在这种出尔反尔, 也表现在你一切的帖子中. 所以你的东西跟你这个败类一样, 必须被抛弃, 果然被抛弃.

jzkyllcjl

elim 发表于 2020-5-12 04:51
这个无尽小数的底是 pi 是理论分析的结果, 不是算到了底, 但你否认这种东西的可靠性, 认为是完成了的实无穷 ...

elim  网友，你说的无尽小数的底是 pi 是理论分析的结果不错， 这个分析 用到了许多几何理论 也用到了极限方法。 我使用了你的 无尽小数每一位都是确定的数 的意见，得到圆周率π的无尽小数是π的 针对误差界序列{1/10^n} 的最大不足近似值 数列的简写，其趋向性极限 才是是π的 意见，并根据 茅以升在《十万个为什么》数学1少年儿童出版社190-195 页的π是怎样算出来的？一节的6页论述，他的最后说到： 永远算不完，这是个“无尽”的数啊！， 的论述的到 无尽不循环小数算不到底 是事实，在这个事实下，布劳威尔的 三个百零排命题不可判断，因此不属于  真假二值性 逻辑问题，不能使用排中律， 布劳威尔 不能提出他那个实数Q，这样就消除了他的反例。

elim

算不完与不可判定毫无关系. 0.333... = 1/3 就是理论分析的结果. 你推翻不了它.
费马大定理的证明需要算到底吗? {1/n} 的极限也不是靠算到底才得到的. 没有理由要求百零排数由算无尽小数到底来得到.
与你篡改无尽小数的定义一样, 你篡改了不可判定的意思. 你对布劳威尔问题的"化解"是一个骗局. 把这个问题的未解叫作三分律反例是吃狗屎逻辑.

jzkyllcjl

eliim  网友，第一，我使用了 你的无尽小数每一位都是确定的数 的意见，得到圆周率π的无尽小数是π的 针对误差界序列{1/10^n} 的最大不足近似值 数列的简写，其趋向性极限 才是是π的 意见，并根据 茅以升在《十万个为什么》数学1少年儿童出版社190-195 页的π是怎样算出来的？一节的6页论述，他的最后说到： 永远算不完，这是个“无尽”的数啊！， 的论述的到 无尽不循环小数算不到底 是事实，在这个事实下，布劳威尔的 三个百零排命题不可判断，因此不属于  真假二值性 逻辑问题，不能使用排中律， 布劳威尔 不能提出他那个实数Q，这样就消除了他的反例。
第二，你知道布劳威尔反例吧！ 那么 请你先 说说布劳威尔两次使用排中律 的目的与结果是什么？

elim

所谓的布劳威尔反例人类数学是不认可的. 你 jzkyllcjl 的不可判定论断也是不被认可的. 因为你歪曲了不可判定的原义, 混淆了未解决问题与不可判定问题. 你 jzkyllcjl 的这种吃狗屎行为被人类数学认为是荒谬的, 除了做实你学术素质的低下, 这种努力没有其他效果.

elim

jzkyllcjl 近六十年来没有干过一件有益的事情．他曾公然在课堂上贩卖其狗屎堆数学遭学生罢课抗议．曾写书投刊宣扬其邪说，皆因他的东西太荒谬不经，没有任何可取之处而惨遭抛弃．大家应该以其一生为鉴，远离浮夸，踏实做事，宏扬数学中国的正能量．

elim

是啥数都搞不清, 就扯"反例", 反的就是吃狗屎的 jzkyllcjl 自己.

jzkyllcjl

莫绍揆在他的《数理逻辑教程》中讲过“ 迄今各家各派的集合论，凡是能推出数学的都不能证明其不矛盾性，凡是能证明其不矛盾的都不能推出数学”。
[美]M.克莱因，以“数学：确定性的丧失”为题指出：从古到今存在着许多不同的数学概念，存在着以公理为基础的形式逻辑主义与直觉主意、实无穷与潜无穷等许多争论。对这些问题研究后，根据唯物辩证法与毛泽东的《实践论》提出：数学还是有确定性的。这个确定性是：数学理论的本质是研究现实数量大小、多少及其关系的科学；数学中的一切叙述需要从实践出发而且需要在继续实践研究中改进再改进。根据毛泽东的《矛盾论》中“对立统一的法则，是唯物辩证法的最根本的法则”、“一切事物中包含的矛盾方面的相互依赖和相互斗争，决定一切事物的生命，推动一切事物的发展。没有什么事物是不包含矛盾的，没有矛盾就没有世界[4]”的论述，以及笔者对数学理论的来源与应用进行了58年的研究之后，得到：数学理论的阐述，不能单靠形式逻辑规律，还“必须使用唯物辩证法，具体来讲，需要使用：理论与实践、理想与现实、精确与近似、无限与有限、零与非零足够小之间的对立统一、分工合作的关系阐述数学理论”。这个思想也可以说是：古代就有的“阴阳生万物”太极图思想。