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

jzkyllcjl

elim 发表于 2017-7-11 15:46
假定布劳威尔理论上的确界定了一个实数q，那么由实数公理，q要么大于0，要么小于0，要么等于0，三者必居其 ...

1楼与25楼说的那三个命题 都需要把 pi 的无尽小数算到底才能判定，但这个无尽小数的小数点后的数字个数是无有穷尽的，根据希尔伯特元数学理论中能行可判定的定义，它们都是不可判定的问题。不是你说的未必能推出百零排问题就必不可判定。

elim

jzkyllcjl 发表于 2017-7-11 09:11
1楼与25楼说的那三个命题 都需要把 pi 的无尽小数算到底才能判定，但这个无尽小数的小数点后的数字个数是 ...

你证明不了这点。费马大定理需要解所有相关方程吗？ 哥德巴赫猜想要把所有偶数都写出来吗？你低能也就罢了，但不代表人类低能啊。

elim

其实主贴说明了 jzkyllcjl 没有基本概念和逻辑的混乱，所以他的书必然泡汤。

jzkyllcjl

elim 发表于 2017-7-11 21:42
其实主贴说明了 jzkyllcjl 没有基本概念和逻辑的混乱，所以他的书必然泡汤。

你没有对三分律反例的提出与解决方法进行 深入研究的瞎说。这个反例 是布劳威尔与希尔伯特对排中律能不能应用问题争论中的一个具体问题。对待这个争论问题：希尔伯特还是 提出了不使用实无穷观点的有穷方法的现实数学，虽然他提出了 把无穷看作是理想元素使用排中律保护包括康托尔无穷集合理论的古典数学的意见，但康托尔的无穷集合理论与实数理论是可以改革的。徐利治提出了 自然数数列的 实无穷与潜无穷的两相性，提出了在实无穷观点下，可以使用两次排中律 解决 布劳威尔那个实数Q 属于三分钟的哪一类的意见，但是他最后 还是在结合实际的条件下 提出“看来是一个不易解决的难题，希望读者继续研究下去” 的意见。 你是不加研究就说它是伪反例，它是我把 伪反例做真反例的畜生不如的泡汤的论述。

elim

你拿不出反例，炒作深入研究有谁上当？ 你泡汤的书是翻不过来的，不能平反的。

jzkyllcjl

elim 发表于 2017-10-15 02:04
你拿不出反例，炒作深入研究有谁上当？ 你泡汤的书是翻不过来的，不能平反的。

你胡扯！ 反例是徐利治介绍的的。是必须、而且 应当消除的反例，我提出了消除的方法。而且提到它是涉及数学基础的重大问题。

elim

你还是拿不出来“徐利治介绍的”反例，试问你炒作的深入研究有谁上当？

还是那句话，你泡汤的书是翻不过来的，不能平反的。

elim

“徐利治介绍的”反例你也拿不出来呀，试问你炒作的深入研究有谁上当？

还是那句话，你泡汤的书是翻不过来的，不能平反的。

jzkyllcjl

elim 发表于 2017-10-16 01:06
“徐利治介绍的”反例你也拿不出来呀，试问你炒作的深入研究有谁上当？

还是那句话，你泡汤的书是翻不 ...

对于布劳威尔说的这个三分律反例的那个实数Q，简单说来就是：当π的无尽小数展开式中不含百零排时Q=0；当π的无尽小数展开式中含有奇数个百零排时Q<0:当π的无尽小数展开式中含有偶数个百零排时Q>0。布劳威尔 提出 这个实数的 目的是 排中律 能不能应用的问题。排中律能不能应用的的争论 主要是在 布劳威尔与 希尔伯特之间进行的。在这个争论下， 希尔伯特的元数学概念中， 提出了 “排中律在无限集合中不能用”， “不容许对 无穷集合作实无穷的理解”的说明，为了保护 古典数学，希尔伯特又讲到“将各种实无穷作为数学里的理想元素，可以保护古典逻辑的排中律普遍有效” 。为此，徐利治在他的论文中说到：使用两次排中律可以得到判断这个实数Q属于等于0，大于0或小于0 哪一种成立（ 既满足三分律）。但是那个实数Q 究竟属于 三种情况的哪一种呢？ 徐利治 最后说“看来是一个不易解决的难题， 希望感兴趣的读者继续研究下去”。
根据 希尔伯特 与徐利治的论述，可以看出： 他两 都没有彻底解决这个反例。 笔者是根据无尽小数 3.1415926…… 永远 算不到底的事实， 确定它不是完成了的实无穷，因此， 没有、有奇数个、偶数个 百零排的三个命题 都是不可判断的命题 ，不能使用两次排中律 得出 布劳威尔的实数Q。 所以 笔者就消除了 这个反例。 （详细论述，可参看 笔者的 帖子《 三分律的反例与数学基础》）。

elim

“徐利治介绍的”反例你也拿不出来呀，试问你炒作的深入研究有谁上当？

还是那句话，你泡汤的书是翻不过来的，不能平反的。