elim 骂人的做法表明他是顽固的形式主义者

jzkyllcjl

（3）无限与有限的矛盾及其解决方法
无尽小数的问题涉及到“无限与有限之间的矛盾”，关于这个矛盾，恩格斯在《反杜林论》《反杜林论》48页讲到：“杜林先生，永远做不到没有矛盾地思考现实的无限性。无限性是一个矛盾，而且充满着矛盾。无限纯粹是由有限组成的，这已经是矛盾，可是事情就是这样”；在《自然辩证法》228页恩格斯讲道：“数学家的方法常常奇怪的得到”正确的结果，但他们……。他们忘掉了：全部所谓纯粹数学都是研究抽象的，它的一切数量严格说来都是想象的数量，一切抽象在推到极端时就变成谬妄或自己的反面。数学的无限是从现实中借来的，……，而只能从现实中来说明，……。而这样一来，问题就说明了。为此，笔者称现实数量大小的绝对准表达符号（例如：0，1，2，3，……1/3,1/10,……，π,√2，……等）都是理想实数（简称为实数）。每一个无尽小数都是理想实数的满足误差界（十的负n次幂分之一）的不足近似值。无尽小数本身不是实数，但无尽小数与理想实数之间，具有理论与实践、理想与现实、绝对准与近似之间的对立统一关系。
（4）纯形式逻辑方法是行不通的
由于历史的原因，现行数学教科书中，不仅没有把唯物辩证法作为阐述数学理论的根本方法，而且存在着顽固坚持形式主义的不联系实践的纯形式逻辑的错误。“称无尽小数为实数的定义”就是这个错误一个实例。这个错误带来了徐利治在他的《论数学方法学》[C]，济南 山东科技出版社2003，490-501“自然数列二重性与双相无限性及其对数学发展的影响”中介绍的，布劳威尔反例。这个反例是：首先提出无尽不循环小数展开式中的三个命题：①这个无尽不循环小数展开式中没有百零排（ 百零排指100个连续的0）；②这个无尽不循环小数展开式中有偶数个百零排；③这个无尽不循环小数展开式中有奇数个百零排。 然后，布劳威尔根据“无穷是完成了的整体实无穷观点”使用两次排中律，提出了一个实数Q，这个Q就是无法判断出它大于、小于、等于0三种情形中哪一种成立的实数理论的三分律反例。关于这个反例，徐利治在他的论文中，虽然讲道：“在实无穷概念下，使用两次排中律，可以得到Q属于三者中的哪一种”的说法，但实际上究竟属于哪一种呢？是无法判断出来的，所以徐利治最后讲到“看来还是一个不易解决的难题，希望感兴趣的读者继续研究下去”。仔细分析这个反例与康托尔的实数集合不可列定理与连续统假设的问题，它们都是不顾“无限集合不是完成了的整体”的“实无限”的形式主义的观点造成的。实无限这个术语是掩盖事实的狐皮，取消这个形式主义的观点，这个反例康托尔的实数集合不可列定理与连续统假设的问题就不存在了。这个问题是希尔伯特知道的，所以他在20世纪20年代提出了他的元数学（即证明论）中的使用元语言与有穷方法的思想，但由于他与到现在为止的数学界都没有使用唯物辩证法，所以至今数学界没有解决希尔伯特1900年提出的23个问题的第一、第二两个问题。这说明：纯形式逻辑的形式主义方法是行不通的。