浅析 "三分律反例“ 和 jzkyllcjl 的白忙

elim

先评估一下布劳维尔 Brouwer 的 Q.

1. 王宪钧《数理逻辑引论》 讲道：康托儿认为：“数学理论必须肯定实无穷”、“无穷（在数学中表现为无穷集）是一个现实的、完成的、存在着的整体”。布劳维尔反对实无穷观点，他B使用“以其人之道对，还制其人之身”的方法对实数理轮提出了三分律反例。 这个反例是对圆周率的无尽小数展开式3.1415926……讲的。他首先称无尽小数“展开式中的每一个100个连续的0为一个百零排”然后提出无尽小数3.1415926…… 没有百零排，有奇数个百零排、偶数个百零排三个命题，两次使用排中律可以得到这三个命题有且只有一种成立的结论。最后他提出一个实数Q，这个Q是：当没有百零排时，Q=π，当有奇数个百零排时Q<π,当有偶数个百零排时 Q>π.。 那么这个实数Q，是等于π、大y于π、小于π 的哪一种呢？这就是布劳维尔提出的实数理轮的三分律反例的简述。笔者认为：圆周率的无尽小数展开式3.1415926…… 是永远算不到底的事物，因此上述三个命题都是希尔伯特元数学中的不可判断问题，不能使用排中律得到三个命题只有一种成立的结论，布劳维尔的那个实数不存在。这样，就在“完成了的实无穷观点不能成立”的意义下，消除了布劳维尔的反例。

复制代码

首先，Brouwer 没有考虑到全部的可能性。没有理由认为 pi 的十进制表示至多含有限个百零排。所以 Brouwer 对 Q 的定义是有毛病的。没有理由认为Brouwer 确切定义了 Q.

为了 Browser 的初衷，不妨帮 Brouwer 修理一下他的 Q，定义 Q = 1 如果pi 的十进制表示含无穷多个百零排, Q = 0  如果pi 的十进制表示不含百零排,   Q = -1  如果pi 的十进制表示含有限多( > 0)个零排. 现在 jzkyllcjl 可以说这个 Q 是三分律的反例了？ 还是不能。 Q 违反不了三分律，只是目前人们还不知道 Q 的具体符号. 由实数系公理易见三分律没有反例。但人可能没有能力比较两个不用十进制小数表达的实数。

没有证明说百零排问题是不可判定问题。更没有证明说百零排问题需要算出pi 的十进制表示的每一位。

人们没有素数的通项公式还是可以给出素数定理，黎曼猜想也不因为没写出ζ(s) = 0 的全部零点就是不可判定问题。

孪生数猜想因为人们写不完全部素数就被 jzkyllcjl 解决了？

jzkyllcjl 没有帮助 Brouwer 算出 Q， 也没有证明Brouser 的 Q 不存在。他只是歪曲了实无穷的概念。没人买他的账，白忙了。

jzkyllcjl

第一，你说“没有证明说百零排问题是不可判定问题。更没有证明说百零排问题需要算出pi 的十进制表示的每一位”那么，请你判定这四个命题的成立与否的问题.
第二，布劳威尔的那三个命题是对圆周率的无尽小数展开式3.1415926……讲的，这三个命题成立与否的判定 都需要对这个无尽小数的每一个进行它是不是0的问题进行判断，这就需要无穷次判定工作，根据希尔伯特的可判定定义，这三个命题都是不可判定的命题，由于在圆周率的无尽小数展开式3.1415926…… 是永远算不到底的事物，因此上述三个命题都是希尔伯特元数学中的不可判断问题，你现在又提出 有无穷多个 百零排的命题，那么这也是一个不可判定问题。
第三，你问到：“你那个实数Q 是不是三分律反例”，我的回答是： 由于你那个实数Q  大于0，小于0，等于0 的三种情况 无法确定哪一个成立，所以是“完成了的实无穷观点下实数理论”的三分律反例。
第四， 你说“由实数系公理易见三分律没有反例”不符合事实， 因为 你的实数系公理是在“完成了的整体的实无穷观点”的实数系， 现在在这个观点 又存在三分律反例。这说明你的话不符合事实。

elim

跟 jzkyllcjl 讨论数学几乎是不可能的，他貌似在谈数学，其实没有一个概念他会留着不歪曲的。所以这个主题不是要教他脱离低级趣味，而是要提供一个平台来纠正 jzkyllcjl 的负面影响。

必须指出，jzkyllcjl 对数学中的无穷的认识，跟跳广场舞的大妈水平相当。区别是人家跳舞身体健康，他胡扯损人害己。

人们对 “[0,1] 是一个现实的、完成的、存在着的整体” 这一论断没有什么疑议。因为[0,1] 作为区间含无穷多数，作为线段含无穷多点，它是一个无穷集合。所以说无穷集合是一个现实的、完成的、存在着的整体。这话到了主张脱裤子放屁制度化的 jzkyllcjl 那里，事情就复杂了，他说完成就是要书写/枚举完毕。但本来完成 complete 的意思是无需增补，已经完整的意思。整体的意思也相仿，就是不缺。但按照 jzkyllcjl 的‘完成准则’，[0,1] 永远完不成。所有无穷集合都是烂尾楼，都完不成。然而 jzkyllcjl 这种【有了孙子还没有发育完成】的理论是反理性的直觉主义的东西，被数学社会抛弃是理所当然的。

数学承认无穷集合的存在不以人的主观经验为转移，并不需要否认人对无穷的认识始终有限。

jzkyllcjl

elim 发表于 2017-7-12 02:19
跟 jzkyllcjl 讨论数学几乎是不可能的，他貌似在谈数学，其实没有一个概念他会留着不歪曲的。所以这个主题 ...

“无穷”二字的本来意义是无有穷尽、无有终了、无有最后、无有底的意义；无穷次操作、无穷次判断、无穷次加法运算 本来不可达到的，这些无穷性事物只能一种不可达到的趋向性事物，但是现在的一些形式主义者，把它们看作完成了的整体，这种违反事实的观念必须批判，因为它造成了虚假的三分律反例与连续统假设的大难题，造成了不可测集合，造成连续性随机变量的基本事件的概率无法研究，造成飞矢不动的悖论与三次数学危机，阻碍了数学理论的应用。  

elim

说了么，你的无穷概念就是大妈们的水平，现行数学的无穷概念比你深入，虽然无穷次计算，无穷次判断做不到，但它们可以等价地，转换成非操作性的分析的问题。从而得到解决。

无穷累加不行，但无穷项和可以用新的运算得到，这就是说，你的白忙是你的思想僵化，程度不够的结果，并不导致数学的进步。

elim

为了使自己不白忙， jzkyllcjl 必须歪曲很多数学概念。但这件事总是不得人心，而且就算得逞了，jzkyllcjl 的数学主张也不过是在转基因的数学中有意义，与数学没有关系，他还是在白忙。

jzkyllcjl

elim 发表于 2017-7-14 07:53
为了使自己不白忙， jzkyllcjl 必须歪曲很多数学概念。但这件事总是不得人心，而且就算得逞了，jzkyllcjl  ...

每一个无理数的无尽小数值是永远算不出来的，有理数的无尽循环小数值虽然是确定的，但是是永远写不到底的，与0挨着的第一个正实数是无法指出的，线节[0，1]的所有内点是无法列举完毕的，函数表的制作必须使用有限个实数的有尽小数近似表出。具体来讲：在一个数学手册的自然对数表中对于[0，1]之间的实数 只写出100个具有两位小数的自然对数， 加密一点可以写出10000个四位小数的自然对数， 现代人有了科学计算器，在那里可以说有了一万亿个32位小数的自然对数，但无论如何线节[0，1]上的无穷个实数是永远列举不出来的，它只能被看作是人们追求的理想性质的达不到的事物，这个事实是不可否认的。

elim

算不到底是人能力有限，实数有无尽小数形式是被证明的定理。难道 jzkyllcjl 的数学不如初小差班差生？

jzkyllcjl

elim 发表于 2017-7-14 15:13
算不到底是人能力有限，实数有无尽小数形式是被证明的定理。难道 jzkyllcjl 的数学不如初小差班差生？

无理数不能表示为有理数是客观事物的本质。由于十进小数是分数，它属于有理数，所以，在这个本质下，无理数也不能表示为十进小数 。这样一来，计算无理数的十进小数表达式必然是“算不到底的“ 。这个本质必须受到尊重；但可以寻求 无理数的近似表达式，寻求针对误差界序列{1/10^n}的近似值数列。其中不足近似值数列可以简写作无尽不循环小数。但这些 无尽小数无穷数列性质的变数，它不是定数。把无尽小数看作实数的做法是形式主义者的、不联系事实的做法 应当修改。 你的话“数学不如初小差班差生”是污蔑真理。

elim

分数1/3是十进小数0.333....   e 是十进小数 2.71828...

没有有限操作性的运算可以在逻辑层面实现．老头成度不够而已．