三分律反例辨析

elim · 发表于 2017-10-9 22:16

本帖最后由 elim 于 2017-10-9 07:23 编辑

jzkyllcjl 发表于 2017-10-9 01:39
elim 胡扯！沒有，有奇数个，有偶数个百零排。有无穷多百零排四个命题都是不可判断命题。但布劳威尔提 ...

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

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

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

jzkyllcjl · 发表于 2017-10-10 11:22

本帖最后由 jzkyllcjl 于 2017-10-10 03:29 编辑

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

195912 · 发表于 2017-10-10 12:00

一个命题的著作权,对一个数学工作者来说是一种荣耀.看来三分律反例这一命题的首创权因命题不受欢迎,没有作者愿意接受"三分律反例首创权"这一殊荣.

jzkyllcjl · 发表于 2017-10-10 12:25

195912 发表于 2017-10-10 04:00
一个命题的著作权,对一个数学工作者来说是一种荣耀.看来三分律反例这一命题的首创权因命题不受欢迎,没有作 ...

这个反例的提出原因是无穷概念的争论，是“ 无穷集合是不是完成了的”实无穷与潜无穷的两千多年的争论，是标准分析与非标准分析的争论。是值得研究的重大问题。
关于这个争论，王宪钧数理逻辑引论中有几千字的论述，其中较多的谈到康托尔的观点，非标准分析第十章谈到了两千多年的争论，但它的目的是肯定它的无穷小数与无穷大数，肯定它的非标准分析，但六十多年了，他的替代标准分析的想法不还没有实现，还在争论中。

195912 · 发表于 2017-10-10 13:16

本帖最后由 195912 于 2017-10-15 00:14 编辑

布劳维尔,生于荷兰，1897年入阿姆斯特丹大学，1907年获"数学及科学"博士学位，1909年任讲师，1912年任"集合论、函数论和公理学"副教授，1913年任教授，1951年退休。
布劳维尔反对使用排中律，他将排中律和矛盾律结合起来，认为：对于任何一个思想，非真即徦。
不准数学家使用排中律,有一个不恰当但很形象的比如,拳击比赛不准参赛人员用双拳.数学家在构建公理系统时,严格遵循:
   1. 公理系统的无矛盾性.
   2. 公理系统各公理的独立性.
   3.  公理系统的完备性.
   这样数学家没有受制于布劳维尔的学术观点,排中律成为数学家的有力武器.

elim · 发表于 2017-10-10 13:18

老头的反例怎么拿出不出来？有没有“全能近序等于序列”? 吹牛不眨眼．

elim · 发表于 2017-10-10 13:18

老头的反例怎么拿出不出来？有没有“全能近序等于序列”? 吹牛不眨眼．

jzkyllcjl · 发表于 2017-10-10 16:17

195912 发表于 2017-10-10 05:16
布劳维尔,生于荷兰，1897年入阿姆斯特丹大学，1907年获"数学及科学"博士学位，1909年任讲师，1912年任"集合 ...

你说的 “数学家在构建公理系统时,严格遵循； 1. 公理系统的无矛盾性. 2. 公理系统各公理的独立性.
3. 公理系统的完备性. 这样数学家没有受制于布劳维尔的学术观点,. 是有事实根据的。现代的大部分数学工作者是这样的。但是：哥德尔的不完全定理给这种思想一个致命的打击，虽然很多人认为公理集合论是数学的基础，但莫绍揆先生的“迄今各家各派的集合论，凡是能推出数学的都不能证明其无矛盾性，凡是能证明其不矛盾的，都不能推出数学”。现行数学理论中三次数学危机、反例、大难题，以及联系实际应用的问题都说明：现行数学理论还需要改进。
其中对于布劳威尔提出的三分律反例就需要说出消除的理由，或说出它是伪反例的理由。

jzkyllcjl · 发表于 2017-10-10 16:21

我没有发现反例，我说的反例是抄来的，是需要解决的。否则数学理论就不完善。

elim · 发表于 2017-10-11 01:04

只要有未解决的数学问题，就可以说数学不完全．数学和一切学问一样，都不会完全．但老头声称百零排问题构成了三分律的反例，那就该把这个反律说出来．否则就是胡搅蛮缠．按denglongshan的说法，叫没有修养．

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

三分律反例辨析

点评

点评