数学的逻辑证明和电脑证明——同K·阿佩尔和W·哈肯商榷

摘要：

数学的逻辑证明和电脑证明的关系,实际上是人脑证明和电脑证明的关系.电脑证明有助于人脑证明,但是它永远不能取代人脑证明.同时,K·阿佩尔和W·哈肯对四色问题的证明,只说明他们所用的证明思路必须要运用电脑,而不用电脑的逻辑证明方法是存在的.任何低估逻辑思维潜力的看法都是不可取的.

关键词：逻辑证明、电脑证明、四色问题、思维潜力

所属期刊栏目：22

分类号：B02(辩证唯物主义)

在线出版日期：2003-11-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：82-84