中国古代数学机器化核心思想与西方数学公理思想完全不同
发布网友
共1个回答
热心网友
中国数学的独特之处在于其实用主义，不拘泥于定理，而是致力于解决实际问题，这是与西方数学，尤其是欧几里得为代表的公理化系统截然不同的。
中国数学拥有世界上最古老的算法大全，世界最早的几何学，最早的方程组，最古老的矩阵，这充分体现了其深厚的历史文化底蕴。其中，“数学机械化思想”是中国数学的核心概念，它将几何问题转化为代数问题，进而编成程序，通过电脑自动运行，代替了繁琐的人工计算。这一思想了数学家，推动了数学的发展，实现了数学的机器化证明，被誉为“数学机械化”。
吴文俊作为中国数学机械化领域的开创者，其贡献不仅限于中国，对国际数学与人工智能的研究产生了深远影响。他用算法的观点对古代数学进行了深入分析，并提出了利用计算机自动证明几何定理的有效方法，被称为“吴方法”，这一成果在国际上广受赞誉，并因此荣获国家最高科学技术奖。
1982年，包括美国人工智能协会布莱索在内的知名科学家，联名致信中国科技主管领导人，盛赞吴文俊在数学机械化领域的工作，称他“独自使中国在该领域进入国际领先地位”。这不仅是对吴文俊个人成就的认可，也是对中国数学机械化思想的国际地位的高度肯定。
