设为首页收藏本站

数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: 195912

三分律反例辨析

[复制链接]
发表于 2017-10-15 22:29 | 显示全部楼层
其实是你脑子进水的问题啊.反例拿不出来广告搞得这么大.失道寡助活该.
发表于 2017-10-15 22:29 | 显示全部楼层
其实是你脑子进水的问题啊.反例拿不出来广告搞得这么大.失道寡助活该.
发表于 2017-10-16 09:30 | 显示全部楼层
elim 发表于 2017-10-15 14:29
其实是你脑子进水的问题啊.反例拿不出来广告搞得这么大.失道寡助活该.

对于布劳威尔说的这个三分律反例的那个实数Q,简单说来就是:当π的无尽小数展开式中不含百零排时Q=0;当π的无尽小数展开式中含有奇数个百零排时Q<0:当π的无尽小数展开式中含有偶数个百零排时Q>0。布劳威尔 提出 这个实数的 目的是 排中律 能不能应用的问题。排中律能不能应用的的争论 主要是在 布劳威尔与 希尔伯特之间进行的。在这个争论下, 希尔伯特的元数学概念中, 提出了 “排中律在无限集合中不能用”, “不容许对 无穷集合作实无穷的理解”的说明,为了保护 古典数学,希尔伯特又讲到“将各种实无穷作为数学里的理想元素,可以保护古典逻辑的排中律普遍有效” 。为此,徐利治在他的论文中说到:使用两次排中律可以得到判断这个实数Q属于等于0,大于0或小于0 哪一种成立( 既满足三分律)。但是那个实数Q 究竟属于 三种情况的哪一种呢? 徐利治 最后说“看来是一个不易解决的难题, 希望感兴趣的读者继续研究下去”。
根据 希尔伯特 与徐利治的论述,可以看出: 他两 都没有彻底解决这个反例。 笔者是根据无尽小数 3.1415926…… 永远 算不到底的事实, 确定它不是完成了的实无穷,因此, 没有、有奇数个、偶数个 百零排的三个命题 都是不可判断的命题 ,不能使用两次排中律 得出 布劳威尔的实数Q。 所以 笔者就消除了 这个反例。 (详细论述,可参看 笔者的 帖子《 三分律的反例与数学基础》)。
发表于 2017-10-16 09:30 | 显示全部楼层
elim 发表于 2017-10-15 14:29
其实是你脑子进水的问题啊.反例拿不出来广告搞得这么大.失道寡助活该.

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

点评

因此, 没有、有奇数个、偶数个 百零排的三个命题 都是不可判断的命题,因为少了一个“有无穷个”的条件在里面。。。当然就不可判定了。。。  发表于 2017-10-16 12:35
发表于 2017-10-16 10:42 | 显示全部楼层
老头的那个“实数”简单说来就是拿不出来。哈哈哈哈哈
您需要登录后才可以回帖 登录 | 注册

本版积分规则

小黑屋|手机版|Archiver|数学中国 ( 京ICP备05040119号 )  

GMT+8, 2017-10-17 10:13 , Processed in 1.096315 second(s), 16 queries .

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表