定理机器证明与传统数学观 (1996年)

【文件属性】：

文件名称：定理机器证明与传统数学观 (1996年)

文件大小：232KB

文件格式：PDF

更新时间：2024-06-05 11:33:11

自然科学 论文

本文从回顾历史上费马猜想和四色猜想被证明为定理的不同方法人手，阐发了机器证明的发展历史和吴方法的思想渊源，论述了计算机对传统数学观的冲击与挑战。