摘要
数学定理的机器证明是中国数学家发展起来的具有中国特色的数学研究新领域,也是我国攀登计划项目之一。项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。能否建立一个通用的几何解题方法、成批地解决问题,以至'万理一证',是历史上一些卓越数学家的梦想。笛卡尔发明了坐标系,莱布尼兹设想过推理机器,希尔伯特、冯·诺伊曼对之作过尝试,但成效甚微。直到1977年,我国数学界的巨星吴文俊教授提出有名的'吴方法',才给定理机器证明的研究带来了生机和活力。什么是数学定理的机器证明呢?
出处
《科技潮》
1997年第11期33-33,共1页
Science & Culture
