共查询到10条相似文献,搜索用时 31 毫秒
1.
傅海伦 《科技导报(北京)》2001,19(16):14-15
一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。 相似文献
2.
杨路 《广州大学学报(综合版)》2001,15(2):7-10,45
在概述几何定理机器证明近期成果的基础上,提出了推一过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。 相似文献
3.
牟来彦 《湖北民族学院学报(自然科学版)》2002,20(3):20-22
在欧氏几何和向量空间中,结合二者的关系,把几何问题转换的代数问题,利用MATLAB的相关知识,编写源代码文件,用计算机证明立体几何的直线垂直于平面的判定理,为机器证明定理提供了一个实例。 相似文献
4.
甘向阳 《湘潭师范学院学报(自然科学版)》2001,23(3):11-15
中国传统数学的构造性和程序化思想启发和影响了吴俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力。 相似文献
5.
骆祖英 《浙江师范大学学报(自然科学版)》1996,19(4):1-4
本文从回顾历史上费马猜想和四色猜想被证明为定理的不同方法入手,阐发了机器证明的发展历史和呈方法的思想渊源,论述了计算机对传统数学观的冲击与挑战。 相似文献
6.
梁肇军 《华中师范大学学报(自然科学版)》1999,33(2):179-185
讨论了《九章算术》中线性代数方程组的解法-九章消元法蕴涵的构造性思想,这一思想后来被进一步发展,并且在某方面影响着定理的机器证明。 相似文献
7.
何聪 《达县师范高等专科学校学报》2003,13(4):89-90
关于定理“矩阵的秩=矩阵的行秩=矩阵的列秩”的证明方法较多,本文将用初等变换的方法给出证明,此证明方法易于理解,便于计算机编程实现,有利于机器证明。 相似文献
8.
杨路 《广州大学学报(自然科学版)》2004,3(2):97-106,179
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效,对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明。 相似文献
9.
张伟 《辽宁大学学报(自然科学版)》2019,46(1)
C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的. 相似文献