数学进化中的知识发现方法

摘要：

从数学历史发展过程中去发现数学的进化规律,从创造数学符号和包容对立的概念中获得了最早的数学知识.将数学符号组合而成的表达式和方程,使问题变换成了形式化表示,当表达式和方程通过推演和求证,判断其正确性时,就形成了公式和定理,它们是数学中的基础理论.推演和求证过程是采用了等价变换.数学进化中更重要的知识发现方法是利用进化变换(对变量、函数、方程、方法等的变换)来拓展数学的新概念和解决不能求解的问题(可拓变换),从而建立了数学的理论体系.创造、包容、形式化变换、等价变换和进化变换都是数学进化中的知识发现方法.

关键词：数学进化、知识发现、创造法、包容法、形式化变换、等价变换、进化变换

所属期刊栏目：6

分类号：TP311.13(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目70671031

在线出版日期：2012-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：391-395