数学中国

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

三分律反例辨析

[复制链接]
发表于 2017-10-9 22:16 | 显示全部楼层
本帖最后由 elim 于 2017-10-9 07:23 编辑
jzkyllcjl 发表于 2017-10-9 01:39
elim 胡扯! 沒有,有奇数个,有偶数个百零排。有无穷多百零排四个命题 都是不可判断命题。但 布劳威尔 提 ...


老头一辈子扯数学,怎么一点逻辑也沒有? pi的十进展开中,百零排要么不出现,要么出现有现次,要么出现无限次.在有限次情形,又可分为奇数或偶数次.所以百零排问题提出时就具逻辑残缺性.

至于百零排问题是否是不可判定问题,老差生jzkyllcjl 说了不算.

根据楼主的考究,我也感到这么拙劣的伪反例的缔造者是jzkyllcjl .

点评

如果说百零排问题是不可判定问题,则已经默认承认了无限个百零排了,因为只有无限个百零排,才是不可判定的问题!  发表于 2017-10-10 09:51
支持,要么无百零排,要么有限个(奇数个或偶数个),要么无限个!  发表于 2017-10-10 09:47
发表于 2017-10-10 11:22 | 显示全部楼层
本帖最后由 jzkyllcjl 于 2017-10-10 03:29 编辑

由于圆周率的十进小数是永远算不到底的工作;所以关于它的“沒有,有奇数个,有偶数个百零排。有无穷多百零排四个命题” 都是不可判断命题。 至于有百零排的命题,可能出现,而且在有限次情形,又可分为奇数或偶数次.elim的话“所以百零排问题提出时就具逻辑残缺性”可以说,但这个无尽小数中究竟有奇数个或偶数个百零排的命题 还是不可判断的 命题 , 所以 徐利治 最后讲到 “看来还是一个不易解决的难题,希望对布劳威尔反例 感兴趣的读者 继续研究下去”。
最后应当指出: 徐老的话是实在的,是从实际出发的。 至于elim的最后的话“至于百零排问题是否是不可判定问题,老差生jzkyllcjl 说了不算.根据楼主的考究,我也感到这么拙劣的伪反例的缔造者是jzkyllcjl”  完全是不着实际的胡扯,是污蔑人。这个反例的制造者 是 布劳威尔, 介绍这个反例的徐利治,我是 看到 徐老的 论文后 才研究 这个反例的。我不是这个反例的制造者,我是这个反例的 消除者。我的消除方法 参看我的帖子《 三分律的反例与数学基础》。  
 楼主| 发表于 2017-10-10 12:00 | 显示全部楼层
一个命题的著作权,对一个数学工作者来说是一种荣耀.看来三分律反例这一命题的首创权因命题不受欢迎,没有作者愿意接受"三分律反例首创权"这一殊荣.
发表于 2017-10-10 12:25 | 显示全部楼层
195912 发表于 2017-10-10 04:00
一个命题的著作权,对一个数学工作者来说是一种荣耀.看来三分律反例这一命题的首创权因命题不受欢迎,没有作 ...

这个反例的提出原因 是 无穷概念的争论,是“ 无穷集合是不是完成了的”实无穷与 潜无穷 的两千多年的争论,是 标准分析与 非标准分析的争论。是值得研究的 重大问题。
关于 这个 争论,王宪钧 数理逻辑引论中 有几千字的论述,其中 较多的 谈到 康托尔的观点,非标准分析 第十章 谈到了两千多年的争论,但它的目的是 肯定它的无穷小数与无穷大数,肯定它的 非标准分析,但六十多年了,他的 替代标准分析的想法不还没有实现,还在争论中。
 楼主| 发表于 2017-10-10 13:16 | 显示全部楼层
本帖最后由 195912 于 2017-10-15 00:14 编辑

布劳维尔,生于荷兰,1897年入阿姆斯特丹大学,1907年获"数学及科学"博士学位,1909年任讲师,1912年任"集合论、函数论和公理学"副教授,1913年任教授,1951年退休。
布劳维尔反对使用排中律,他将排中律和矛盾律结合起来,认为:对于任何一个思想,非真即徦。
不准数学家使用排中律,有一个不恰当但很形象的比如,拳击比赛不准参赛人员用双拳.数学家在构建公理系统时,严格遵循:
     1. 公理系统的无矛盾性.
     2. 公理系统各公理的独立性.
     3.  公理系统的完备性.
     这样数学家没有受制于布劳维尔的学术观点,排中律成为数学家的有力武器.
发表于 2017-10-10 13:18 | 显示全部楼层
老头的反例怎么拿出不出来?有没有“全能近序等于序列”? 吹牛不眨眼.
发表于 2017-10-10 13:18 | 显示全部楼层
老头的反例怎么拿出不出来?有没有“全能近序等于序列”? 吹牛不眨眼.

点评

我没有发现反例,我说的反例是抄来的,是需要解决的。否则数学理论就不完善。  发表于 2017-10-10 16:20
我没有发现反例,我说的反例是抄来的,是需要解决的。否则数学理论就不完善。  发表于 2017-10-10 16:20
发表于 2017-10-10 16:17 | 显示全部楼层
195912 发表于 2017-10-10 05:16
布劳维尔,生于荷兰,1897年入阿姆斯特丹大学,1907年获"数学及科学"博士学位,1909年任讲师,1912年任"集合 ...

你说的 “数学家在构建公理系统时,严格遵循;     1. 公理系统的无矛盾性.     2. 公理系统各公理的独立性.
     3.  公理系统的完备性.     这样数学家没有受制于布劳维尔的学术观点,. 是有事实根据的。现代的大部分数学工作者是这样的。 但是:哥德尔 的不完全定理 给这种思想 一个致命的打击,虽然 很多人 认为 公理集合论 是数学的基础,但莫绍揆先生的“迄今各家各派的集合论,凡是能推出数学的都不能证明其无矛盾性,凡是能证明其不矛盾的,都不能推出数学”。现行数学理论中三次数学危机、反例、大难题,以及 联系实际应用的问题 都说明: 现行数学理论还需要改进。
其中对于 布劳威尔 提出的三分律反例就需要说出消除的理由,或说出它是伪反例的理由。
发表于 2017-10-10 16:21 | 显示全部楼层
我没有发现反例,我说的反例是抄来的,是需要解决的。否则数学理论就不完善。
发表于 2017-10-11 01:04 | 显示全部楼层
只要有未解决的数学问题,就可以说数学不完全.数学和一切学问一样,都不会完全.但老头声称百零排问题构成了三分律的反例,那就该把这个反律说出来.否则就是胡搅蛮缠.按denglongshan的说法,叫没有修养.
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

GMT+8, 2024-3-28 16:49 , Processed in 0.078125 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

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