|
只有使用“理论与实践、精确与近似、无限与有限、零与非零足够小、形与数、直与曲之间的分工合作的对立统一法则”与“实践是检验真理的唯一最终标准”,即只有使用唯物辩证法,才能消除形式逻辑无法解决的三次数学危机与许多悖论、难题与反例;才可以使数学理论具有活生生的解决生产实际问题能力。
在不使用 上述 对立统一 法则下,就会有:“π是直径为1的圆周长,是曲线长,数轴 是直线,数轴上没有π” 的形式逻辑论述,但应当知道:π这个符号在表示大小上有缺点,需要使用圆内接或外切正多边形周长的趋向性极限方法,提出它的近似值无穷数列3,3.1,3.14,3.141,3.1415, ……这个数列虽然算不到底,但它的趋向性极限是π。这说明:直与曲、形与数、无穷与有穷之间的对立统一法则必须使用。使用这个法则 就可以使用近似方法说π在数轴上3.1415926.与1415927 之间。对此,现行数学教科书存在着:π等于无尽不循环小数3.1415926……的等式,反对者的研究者中有人提出“极限理论不成立,需要废除”的论述,笔者认为:这两种说法,都是形式主义者的说法。虽然无穷数列写不到底。但无穷数列具有通向的写出法则,需要用极限方法研究其趋向,使用极限理论得到的圆周长、圆面积、球面积表达式虽然具有达不到的理想性,但这种表达式有好处,它是我们研究现实圆与球面积指导性公式。但也需要指出:正统派中反对对立统一法则,坚持数学理论必须以数理逻辑为基础的观点是行不通的,事实上,桌子、椅子、宇宙飞船都是在足够准近似测量方法下造成的;他们的“无尽小数是定数”的定义不仅违反无尽小数算不到底的事实, 而且造成了无法解决连续统假设的大难题与三分律反例,造成了数学理论与应用之间不协调问题与三次数学危机无法彻底解决。
在此需要指出:辩证唯物主义与唯物辩证法只是近代的一个哲学思想,数学界还没有把它作为建立数学理论的指导思想;必须指出:现在数学界迷信于康托尔、希尔伯特与ZFC形式语言公理体系,在数学界,克服单纯依赖形式逻辑的从一个概念出发推到底的习惯方法的阻力是很大的;笔者58年的这些研究,只是一个必要的初步,笔者已经老了,还有许多问题只能依靠读者去做。
|
|