[原创]三分律的反例与数学基础

elimqiu

下面引用由jzkyllcjl在 2008/07/19 09:35am 发表的内容：
3 Brouwer反例简介
在实数理论的研究中，Brouwer 很早就提出了一个三分律的反例，这个反例后来又经过莫绍揆教授的修改。这个修改是：首先将100个相续的0的状况称之为一个“百零排”，然后提出以下三种情况（或称三个命题）：（1） π的小数展开式不包含“百零排”；（2） π的小数展开式中出现奇数个“百零排”；（3） π的小数展开式中出现偶数个“百零排”[1]。显然，在 π的无尽小数展开式无法算到底、检查到底的“无穷具有无有终了性质”的观点下，上述三个命题都是人们无法直接推出（或称证明）的不可解命题。
Brouwer是潜无穷论者，他不仅反对实无穷观点，而且提出了排中律不是普遍有效的观点[2]。为此，他提出三分律反例来反对无条件使用排中律的做法；也反对实无穷观点。他建造反例时使用的是“以其人之道还治其人之身”的做法，即他的反例中的实数Q是使用实无穷观点和两次排中律制造出来的。
具体讲来，他首先根据实无穷观点，把π 的无尽小数展开式看作是可以得到的表达式，然后第一次使用排中律，可以得出：在π 的无尽小数展开式必有“ 的小数展开式不包含百零排”与“包含百零排”两种，在前者出现时，令π~=π，此时π~-π=0 ，在后者出现时，再次使用排中律，可以得出：在π的无尽小数展开式必有奇数个百零排，或偶数个百零排。对于前者，若第一个百零排的第一个数字出现在小数点后的第n 位时，令π 的小数展开式终止于n 位，记作π~，故π~-π < 0 ；对于后者若第一个百零排的第一个数字出现在小数点后的第n 位时，令π 的小数展式的第n 位为1，以后都为0，记作 π~，从而π~ -π> 0 ，最后令实数Q = π~ - π 。那么，由于莫绍揆的三种情况究竟哪一种成立的问题是无法判断的，所以这个实数Q就是一个人们无法确定它在Q = 0, Q < 0, Q > 0 的三种情况中“取而且只取”哪一种情况的实数Q。这样Brouwer就构成了“实数三分律”不能成立的一个反例。

饭桶 jzkyllcjl 对 ‘Brouwer 三分律反例’的‘介绍’如上。
现在我们要指出，饭桶 jzkyllcjl 的实数理论无法排除这个反例。我们再给 jzkyllcjl 一个机会，让他自己发现并论证这点。好让大家知道他不是‘真实意义上的饭桶’。

jzkyllcjl

[这个贴子最后由jzkyllcjl在 2011/07/29 08:49am 第 1 次编辑]

根据我的无穷是无有穷尽的概念，3.14159……中“百排0”问题是不可判断的问题，不能使用排中律，所以Brouwer那个实数就提不出来，这就消除了Brouwer的反例。但是在实无穷观点下，可以使用排中律，可以提出Brouwer那个反例。

ygq的马甲

下面引用由jzkyllcjl在 2011/07/29 08:30am 发表的内容：
根据我的无穷是无有穷尽的概念，3.14159……中“百排0”问题是不可判断的问题，不能使用排中律，所以Brouwer那个实数就提不出来，这就消除了Brouwer的反例。

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（jzkyllcjl）
这个“蠢货”（jzkyllcjl）的语文水平，实在很差劲

根据我的无穷是无有穷尽的概念，3.14159……中“百排0”问题是不可判断的问题，不能使用排中律，

A├→B

所以Brouwer那个实数就提不出来，这就消除了Brouwer的反例。

﹁B ├→ A ？？？
典型的不一致的东西
[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

但是在实无穷观点下，可以使用排中律，可以提出Brouwer那个反例。

只扯“蠢货”（jzkyllcjl）你的体系，少管别人的

elimqiu

下面引用由jzkyllcjl在 2011/07/29 08:30am 发表的内容：
根据我的无穷是无有穷尽的概念，3.14159……中“百排0”问题是不可判断的问题，不能使用排中律，所以Brouwer那个实数就提不出来，这就消除了Brouwer的反例。但是在实无穷观点下，可以使用排中律，可以提出Brouwe ...

这不过是你的鸵鸟幻觉。你无法避免用序列 {a(n)}:  3,3.1,3.14,... 来‘全能’逼近 π，于是百零排的三个问题依次是：
(1) 对任一 n,  a(n) 中没有百零排
(2) 存在某 n,  a(n) 中有奇数个百零排，而当 m > n 时， a(m) 不含更多的百零排
(3) ┐((1)∨(2))
即这些问题对你的‘改革’后的‘实数’还是可以等价地提出的！所以说你很饭桶是真的。

wangyangkee

下面引用由jzkyllcjl在 2011/07/27 04:03pm 发表的内容：
elimqiu 你的话: "jzkyllcjl 居然认为一个不可判定的准则能够用来定义一个实数。"说颠倒了.我的论文说的无尽小数不是定数,无穷是无有穷尽 ,所以那三个问题是不可判定问题,不能由此得到那个实数.我就是 ...

elimqiu 你的话: "jzkyllcjl 居然认为一个不可判定的准则能够用来定义一个实数。"说颠倒了.我的论文说的无尽小数不是定数,无穷是无有穷尽 ,所以那三个问题是不可判定问题,不能由此得到那个实数.我就是这样消除那个反例的.H

elimqiu

jzkyllcjl

  elimqiu ：你说“这些问题对你的‘改革’后的‘实数’还是可以等价地提出的！”
你说的，不对。改革前的实数理论是使用实无穷观点的理论，可以使用排中律；而改革后的实数理论是不使用实无穷观点的理论，不可以使用排中律。两者不等价。

ygq的马甲

下面引用由jzkyllcjl在 2011/07/29 09:39pm 发表的内容：
elimqiu ：你说“这些问题对你的‘改革’后的‘实数’还是可以等价地提出的！”
你说的，不对。改革前的实数理论是使用实无穷观点的理论，可以使用排中律；而改革后的实数理论是不使用实无穷观点的理论，不可以 ...

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（jzkyllcjl）
早就已经知道了的，这个 “蠢货”（jzkyllcjl），西洋【马】教的毒，中得太深了
不可以使用排中律 ========> 不遵守“形式ｆｏｒｍａｌ”逻辑

wangyangkee

下面引用由jzkyllcjl在 2011/07/27 04:03pm 发表的内容：
elimqiu 你的话: "jzkyllcjl 居然认为一个不可判定的准则能够用来定义一个实数。"说颠倒了.我的论文说的无尽小数不是定数,无穷是无有穷尽 ,所以那三个问题是不可判定问题,不能由此得到那个实数.我就是 ...

elimqiu 你的话: "jzkyllcjl 居然认为一个不可判定的准则能够用来定义一个实数。"说颠倒了.我的论文说的无尽小数不是定数,无穷是无有穷尽 ,所以那三个问题是不可判定问题,不能由此得到那个实数.我就是这样消除那个反例的.       86

elimqiu

下面引用由jzkyllcjl在 2011/07/29 09:39pm 发表的内容：
elimqiu ：你说“这些问题对你的‘改革’后的‘实数’还是可以等价地提出的！”
你说的，不对。改革前的实数理论是使用实无穷观点的理论，可以使用排中律；而改革后的实数理论是不使用实无穷观点的理论，不可以 ...

那么改革后的实数除了非负的和负的，还有既非负又负的。jzkyllcjl？
改革后的欧拉常数既是有理数又是无理数。jzkyllcjl？