圆周率 与三分律

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 02:57
(1) 尚未求出的数不知道是正是负还是0不足为奇, 也不是什么反例.
(2) 算不到底未必就是不可判定, pi 的近 ...

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

elim

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

elim

我无法判断也不成为三分律的反例．反例是你吃狗屎后的意淫而已．你根本说不出这个数是什么，所以它正例反例都不是，只是一个待定的对象．

jzkyllcjl

elim 发表于 2019-12-11 07:36
我无法判断也不成为三分律的反例．反例是你吃狗屎后的意淫而已．你根本说不出这个数是什么，所以它正例反例 ...

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

elim

你拿不出布劳威尔的数，布劳威尔也拿不出来，所以三分律没有反例．

jzkyllcjl

elim 发表于 2019-12-11 13:22
你拿不出布劳威尔的数，布劳威尔也拿不出来，所以三分律没有反例．

第一，你判断不出来布劳威尔那个实数Q 是大于0、小于0、等于0 的哪一种情况的事实，这个Q 就是三分律反例了。
第二，你说的拿不出具体数的原因，在于3.14159……不是数；它是永远算 不到底的事物，因此三个命题都是不可判断的问题，排中律不能用，用了也无效。

elim

老学渣 jzkyllcjl 吃了狗屎, 谎称得到反例却说不出是几, 太搞笑了.

jzkyllcjl

elim 发表于 2019-12-12 03:09
老学渣 jzkyllcjl 吃了狗屎, 谎称得到反例却说不出是几, 太搞笑了.

这个反例 给出了 无尽小数是定数 的形式逻辑下的实数理论一个致命打击，使其性命难保。