机器的光荣与人的梦想.PDFVIP

World of Mathematics 数学烟云 机器的光荣与人的梦想 木遥 如果回忆一下中学数学的两门分支课程——代数和几 何，就能清楚地看到，在数学的两种最基本的推演过程—— 计算和证明——之间一直存在着一种巨大的差别。在初等代 数问题里，一个问题的求解 （例如解一个方程或者计算一个 多项式乘法）是可以通过规范化的步骤顺序实现的，这使得 这门课程本质上同一门按照操作手册动手的劳技课并无不 同。然而，几何定理 （哪怕是最基本的初中平面几何）的证