| 定理机器证明思想的产生与发展 |
| |
| 引用本文： | 傅海伦.定理机器证明思想的产生与发展[J].科技导报(北京),2001(6):14-15,30. |
| |
| 作者姓名： | 傅海伦 |
| |
| 作者单位： | 山东师范大学数学系!副教授 济南250014 |
| |
| 摘 要： | 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…
|
| 关 键 词： | 定理机器证明 计算机证明 吴文俊 数学机械化 |
Formation and Development of Ideas about Proving Theorems by Computers |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
