摘要
在概述几何定理机器证明近期成果的基础上，提出了推理过程机械化的一个关键问题，即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。
Based on a survey to the recent advances in automated theorem proved in geometry, it is put forward here an issue about what we can do if the conclusion obtained by automated reasoning can not be verified by human hand.
出处
《广州大学学报（综合版）》
2001年第2期7-10,45,共5页
Journal of Guangzhou University
基金
国家重点基础研究发展规划(973计划)(G1998030602)
关键词
图灵测试
自动推理
定理机器证明
可读证明
数学机械化
turing test
automated reasoning
automated theorem proving
readable proof
mathematics mechanization
