|
|
|
| 定理机器证明思想的产生与发展 |
| 傅海伦 |
| 山东师范大学数学系,济南250014 |
|
| Formation and Develop ment of Ide a s a bout Proving Theorems by Computers |
|
|
|
摘要 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。
|
|
|
收稿日期: 1900-01-01
|
|
|
| [1] |
石萌萌. 2014-09 国外期刊亮点[J]. 科技导报, 2014, 32(9): 14-14. |
| [2] |
主曦曦, 王力. 双金属柱撑蒙脱石制备及应用研究进展[J]. 科技导报, 2014, 32(9): 67-70. |
| [3] |
胡海宁. 多孔氧化铝膜色彩特性研究进展[J]. 科技导报, 2014, 32(9): 71-78. |
| [4] |
王洪宇, 隋国鑫. 文冠果壳纤维/高密度聚乙烯复合材料的力学性能[J]. 科技导报, 2014, 32(9): 21-25. |
| [5] |
陈照峰, 李承东, 陈清, 徐滕州, 李斌斌, 王蕾. 真空绝热板芯材研究进展[J]. 科技导报, 2014, 32(9): 59-62. |
| [6] |
石萌萌. 2014-09 科技界声音[J]. 科技导报, 2014, 32(9): 8-8. |
| [7] |
汪集旸. 再接再厉，让热泵技术在打造城市热网中作贡献[J]. 科技导报, 2014, 32(9): 1-1. |
| [8] |
金枝, 赵广杰. 水蒸气活化液化木基活性碳纤维孔隙结构表征[J]. 科技导报, 2014, 32(9): 26-30. |
| [9] |
徐耀. 承担责任，让自己成长起来[J]. 科技导报, 2014, 32(9): 90-90. |
| [10] |
祝叶华. 2014-09 国内期刊亮点[J]. 科技导报, 2014, 32(9): 13-13. |
| [11] |
周正干, 孙广开, 马保全, 李洋. 先进复合材料超声无损检测新技术的应用[J]. 科技导报, 2014, 32(9): 15-20. |
| [12] |
范磊, 谭飞虎, 陈平, 陈华辉, 曹洪治. 粉煤灰提纯莫来石制备的陶瓷材料组织及性能[J]. 科技导报, 2014, 32(9): 36-40. |
| [13] |
熊德华, 陈炜, 李宏. 太阳能光热转化选择性吸收涂层研究进展[J]. 科技导报, 2014, 32(9): 50-58. |
| [14] |
林中祥. 一门课多次考试是否有利于提高教学质量[J]. 科技导报, 2014, 32(9): 86-86. |
| [15] |
孟燕刚, 金学科, 陆盼盼, 王海福. 活性材料增强PELE杀伤效应[J]. 科技导报, 2014, 32(9): 31-35. |
|
|
|
|
2001, Vol. 19 
