|
|

楼主 |
发表于 2013-5-19 22:58
|
显示全部楼层
[原创] jzkyllcjl 没有解决三分律‘反例’
[这个贴子最后由elimqiu在 2013/05/19 03:59pm 第 1 次编辑]
由于 jzkyllcjl 无法说出道理,却一再拿伪‘反例’说事,已经不可理喻,所以主题的继续只会重复他的胡说八道和增加 【wangyangke ee eee 全集】的厚度,这个主题再继续下去已经没有多大意义。
小结一下:
三分律: 对任给实数 a,  关系 a < 0, a = 0, a > 0 有且仅有其一成立。
直觉主义代表人布劳威尔在假定实无穷和排中律的前提下证明了一个实数Q的存在,人们无法判断这个Q的符号, 即不知道究竟 Q > 0, Q = 0, Q < 0 中哪个关系成立。
三分律的否命题是: 存在实数 a, 关系 a < 0, a = 0, a > 0 无一成立或有多个成立。
显然布劳威尔的实数Q不构成三分律的反例,因为人们无法证明 Q > 0, Q = 0, Q < 0 这三个关系均不成立,也无法证明这三个关系有多个成立。
所以 jzkyllcjl 唠叨‘三分律反例’纯属胡扯。
布劳威尔也许构造了一个不可判定问题,但不是什么三分律反例。
jzkyllcjl 声称他消除了‘三分律反例’。他的错误首先在于谎称判断问题为‘反例’,其次也一样,把潜无穷观点据为己有。更扯蛋的是号称其扯蛋‘全能’。
数学基础研究的共识是:潜无穷论和实无穷论是两种对立的数学无穷观,认定前者必导致数学的显著缩小,其优点是使数学更具构造意义下的直观性和可靠性。 认定后者涵盖了已有的所有数学成果,但必然不完全(存在不可判定问题)。
不可判定问题不等于悖论或‘反例’。把它们等同起来是 jzkyllcjl 的混乱和卑劣。
最后,jzkyllcjl 号称其‘潜无穷’优化‘拯救’了实数理论,那更是在叫卖假药了。就此打住。
|
|