|
|||||
|
|
| 数学的逻辑证明和电脑证明——同K·阿佩尔和W·哈肯商榷 | |
| 引用本文： | 徐俊杰. 数学的逻辑证明和电脑证明——同K·阿佩尔和W·哈肯商榷[J]. 东岳论丛, 2001, 22(6): 82-84 |
| 作者姓名： | 徐俊杰 |
| 作者单位： | 山东社会科学院,济南,250002 |
| 摘 要： | 数学的逻辑证明和电脑证明的关系 ,实际上是人脑证明和电脑证明的关系。电脑证明有助于人脑证明 ,但是它永远不能取代人脑证明。同时 ,K·阿佩尔和W·哈肯对四色问题的证明 ,只说明他们所用的证明思路必须要运用电脑 ,而不用电脑的逻辑证明方法是存在的。任何低估逻辑思维潜力的看法都是不可取的。 |
| 关 键 词： | 逻辑证明:电脑证明 四色问题 思维潜力 |
| 文章编号： | 1003-8353(2001)06-0082-03 |
| 修稿时间： | 2001-07-18 |
The logical and computer's proofs of mathematics |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |