|
楼主 |
发表于 2017-10-18 10:52
|
显示全部楼层
徐利治《论数学方法学》一著中,在简评数学基础诸流派及其无穷观与方法学一章中,有如下论述(照抄原著):
例如:让我们考虑圆周率 π 的十进位小数表示式
π=3.14159265358979⋯
令 f(n) 表示第 n 位小数前出现数字5的个数,如 f(3)=0,f(4)=1,f(8)=2,f(10)=3⋯
试问不等式 f(n)/n≤1/2 是否对每个自然数 n 都成立?对此问题,古典数学认为答案或者是肯定的或者是否定的,两者必居其一,直觉主义数学则认为根本不能回答.
由于jzkyllcjl 先生反复强调
"首先将这个无尽小数展开式3.14159……中的每一个连续100个0 叫做一个“百零排”,并提出以下三种命题:
① 这个展开式中没有“百零排”;
② 这个展开式中有奇数多个“百零排”;
③ 这个展开式中有偶数多个“百零排”。 "
系抄自徐利治《论数学方法学》一著.我以为自己遇上盗版图书.又查阅了徐利治《数学方法论12讲》,《论无限,无限的数学与哲学》等专著,徐利治确实介绍了布劳维尔将排中律和矛盾律结合起来,提出问题“没能解决的数学命题是否存在?”至于"三分律反例"一词,无法印证。 |
|