|
|||||
|
|
| 消点法解题数例分析 | |
| 引用本文： | 冯跃峰.消点法解题数例分析[J].数学通报,2001(4):24-25. |
| 作者姓名： | 冯跃峰 |
| 作者单位： | 冯跃峰（深圳市高级中学,518040） |
| 摘 要： | 中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法” .众所周知 ,机器证明是现代数学 (计算机 )对科学的重大贡献 ,自吴文俊教授创立了吴方法之后 ,这项研究取得了突破性的进展 ,但其证明方式仍是“纯机器”的———采用的是非常规的语言 ,不能被一般的人“读”懂 .中国科学院院士张景中教授首创机器的可读性证明 ,使我国在机器证明这一尖端领域的研究水平无可置疑地处于世界领先地位 .这是继“吴方法”之后更辉煌的成就 .有趣的是 ,机器证明中使用的“消点法”不仅适用于机器推理 ,而且还可“手工”操… |
| 关 键 词： | 消点法 机器证明 平面几何 塞瓦定理 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |