圆周率与三分律之间的关系

jzkyllcjl

对现行实数理论存在着徐利治在自然数列二重性与双相无限性及其对数学发展的影响[A]，《论数学方法学》[C]，2003，490-501页 介绍三分律反例，这个反例是针对圆周率3.1415926……  由布劳维尔提出的，对这个无尽不循环小数，布劳维尔首先提出三个命题：①这个无尽不循环小数展开式中没有百零排（ 百零排指100连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。 然后 根据“完成了的实无穷观点”下可以使用排中律的做法，应用两次排中律，第一次得到"有没有 百零排 两种情形 有且只有一种出现" ，第二次 得到"偶数个与奇数个百零排 有且只有一种出现" ：总起来，这三个命题有且只有一个成立，于是他提出：当命题①成立时，令实数Q 等于0；当命题②成立时，令实数Q 大于0；当命题③成立时，令实数Q 小于0的实数Q。 那么这个实数Q就成为一个无法判断其究竟大于、小于或等于0的三分律反例了。现在，在笔者改革后的实数理论下，圆周率作为现实数量圆周长与直径的比是个实数，但这个实数的无尽小数表达式是永远算不到底的；人们只能根据直径的数字表达误差界，采用圆周率的足够准近似十进位小数表达的事实，这个反例就不存在了。

elim

(1) 尚未求出的数不知道是正是负还是0不足为奇, 也不是什么反例.
(2) 算不到底未必就是不可判定, pi 的近似也不能拿来冒充 pi.

所以楼上 jzkyllcjl 的帖子只证明他是个老学渣, 没有其他意义.

jzkyllcjl

elim 发表于 2019-12-11 03:39
(1) 尚未求出的数不知道是正是负还是0不足为奇, 也不是什么反例.
(2) 算不到底未必就是不可判定, pi 的近 ...

对于涉及pi 的 布劳威尔使用排中律做出的实数Q, 你无法判断它属于 大于0，小于0、等于0 三者中哪一种！

elim

我无法判断也不成为三分律的反例．反例是你吃狗屎后的意淫而已．

jzkyllcjl

elim 发表于 2019-12-11 07:34
我无法判断也不成为三分律的反例．反例是你吃狗屎后的意淫而已．

这个反例是针对圆周率的无尽小数3.14159……  由布劳维尔提出的，对这个无尽不循环小数，布劳维尔首先提出三个命题：①这个无尽不循环小数展开式中没有百零排（ 百零排指100连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。
你无法判断这三个命题 哪一个成立，就说明这个无尽不循环小数是永远算不到底的，也说明你坚持的 康托尔的“无穷是完成了的实无穷观点” 行不通。 你坚持的实数理论行不通。