排中律能不能应用问题解决

jzkyllcjl · 发表于 2016-6-23 17:30

这个争论的具体表现有三个。第一个是：实数的三分律反例问题，我的解决方法是：取消“无尽小数等于实数”的定义，这时3.1415926……是不是含有一百个连续的0的问题是一个不可判定问题，布劳威尔就无法建立他那个反例了。第二个问题是：无穷基数的大难题问题，由于无穷次判断无法进行，所以康托尔的“连续统不可列定理”的证明无效，无穷基数理论不成立，所以连续假设不能提出。第三个问题是：有限覆盖定理与维尔斯特拉斯（Weierstrass）聚点定理的证明用了排中律，现在由于理想点的无穷集合来自于近似点的有穷集合，就不须使用排中律证明这两个定理了。
这三个问题的解决，就消除了排中律能不能应用的争论。

wangyangke · 发表于 2016-6-23 18:01

本帖最后由 wangyangke 于 2016-6-24 08:35 编辑

曹俊云要么是伟人要么是二百五；二百五的排中律是否也容不得伟人或二百五之外的曹俊云，，，

jzkyllcjl · 发表于 2016-6-24 11:38

wangyangke 发表于 2016-6-23 10:01
曹俊云要么是伟人要么是二百五；二百五的排中律是否也容不得伟或二百五之外的曹俊云，，，

你不知道排中律应用的条件。

wangyangkee · 发表于 2016-6-24 11:39

曹俊云要么是伟人要么是二百五；二百五的排中律是否也容不得伟或二百五之外的曹俊云，，，

		自动登录	找回密码
密码			注册