以上也表明了数学思维的形式特征与对象的辨证性之间产生的矛盾的不可避免性. 二矛盾的这种不可避免性更导致了数学理论和现实的差异性. 数学理论的深入发展表明数学理论与现实差异性的逐步减小 微积分的建立标志变量数学的开始. 变量数学的出现极大提高了数学刻划现实的能力. 如利用极限概念, 概率等概念通过描述数学中矛盾(有限与无限, 直与曲, 常量与变量, 连续与不连续, 必然与或然等) 的相互转化揭示了现实中相应 “原型” 的转化规律. 但由于方法本质上的形而上学性,此时还反映不出实现矛盾转化中介过渡,即现实亦此亦彼的辩证属性.
模糊数学的创立笫一次表明数学已开始以事物亦此亦彼的实现矛盾转化的中介过渡, 做为自已的研究对象, 如隶属度概念正是刻划中介过渡的一个基本概念. 自然过程的辩证性质迫使人们不得不从形而上学的思維复归到辩证的思维. 模糊数学思维方法正体现出了数学思维从形式特征向辨征特征的复归. 而模糊数学方法也同样是形式特征的数学方法向辩证的数学方法的复归. 因而, 模糊数学的建立正表明数学理论和现实的差异性的减小.
然而, 由于隶属度的人为性, 模糊数学方法对事物的中介过渡的刻划也只能是近似的. 如果说标准分析理论(微积分理论) 在方法论上开始具有辩证性质的话, 那么非标准分析理论在方法论上又更符合辩证法.
首先, 非标准分析理论利用标准值概念 “请回了” 辩证的无穷小量. 而辩证的无穷小方法能更进一步刻划现实(相对已前). 因为随着刻划对象的矛盾不同, 可以相应地通过无穷小量阶的变化釆用不同的方法.
其次, 非标准分析理论也在数学史上第一次宣布承认点的可分性. 这不正又意味着数学理论与现实差异性的减小吗?
然而, 由于标准值的人为性和无穷小辩证性的不能直接体现性, 非标准分析方法刻划现实的准确度还是比较低的. 但我们相信, 随着数学理论的不断深入发展, 数学理论将会更准确, 更全面地刻划现实, 更好地为人类需要服务.
参考文献:
[1] 恩格斯. 自然辩证法[M] . 北京: 人民出版社,1982
[2] 郑毓信, 夏基松. 西方数学哲学[M]. 北京: 人民出版社,1988
[3] 苗东升. 模糊数学导引[M]. 北京: 中国人民大学出版社,1987
[4] 王仲春. 数学思维与数学方法论[M]. 北京: 高等教育出版社,1990