附录2 三分律的反例与数学基础

jzkyllcjl

1楼点击文件 介绍了 三分律反例的那个实数Q。它是布劳威尔首先使用两次排中律 得到 “没有百零排、有奇数个百零排、有偶数个 百零排”三个命题有且只有一种 情况成立，然后他提出一个实数Q，这个实数Q简单说来是 当π的无尽小数展开式中不含百零排时Q=0；当π的无尽小数展开式中含有奇数个百零排时Q<0:当π的无尽小数展开式中含有偶数个百零排时Q>0。

jzkyllcjl

1楼点击文件 介绍了 三分律反例的那个实数Q。它是布劳威尔首先使用两次排中律 得到 “没有百零排、有奇数个百零排、有偶数个 百零排”三个命题有且只有一种 情况成立，然后他提出一个实数Q，这个实数Q简单说来是 当π的无尽小数展开式中不含百零排时Q=0；当π的无尽小数展开式中含有奇数个百零排时Q<0:当π的无尽小数展开式中含有偶数个百零排时Q>0。

jzkyllcjl

1楼点击文件 介绍了 三分律反例的那个实数Q。它是布劳威尔首先使用两次排中律 得到 “没有百零排、有奇数个百零排、有偶数个 百零排”三个命题有且只有一种 情况成立，然后他提出一个实数Q，这个实数Q简单说来是 当π的无尽小数展开式中不含百零排时Q=0；当π的无尽小数展开式中含有奇数个百零排时Q<0:当π的无尽小数展开式中含有偶数个百零排时Q>0。

jzkyllcjl

请网友关注1楼的点击文件。已被下载12 次。

jzkyllcjl

三分律反例是布劳威尔为了 反对“完成了的实无穷观点”提出的具有说服力的问题，因此 希尔伯特 提出了不使用无穷方法的有穷方法的现实数学，但他又觉得康托尔的无穷集合论需要保护，所以又提出把无穷作为理想元素使用排中律的理想数学。其实 无穷可以被看作是极限性的达不到的事物，使用全能近似序列去解决它。