| 迈向数学机械化:从塔斯基到王浩 |
| |
| 引用本文： | 王磊. 迈向数学机械化:从塔斯基到王浩[J]. 广西民族大学学报, 2005, 11(4): 35-39 |
| |
| 作者姓名： | 王磊 |
| |
| 作者单位： | 上海交通大学,科学史系,上海,200240 |
| |
| 摘 要： | 介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.
|
| 关 键 词： | 数学机械化 塔斯基 王浩 |
| 文章编号： | 1007-0311(2005)04-0035-05 |
| 修稿时间： | 2005-10-08 |
Toward Mechanical Mathematics: From Tarski to Wang Hao |
| |
| WANG Lei. Toward Mechanical Mathematics: From Tarski to Wang Hao[J]. Journal of Guangxi University For Nationalities, 2005, 11(4): 35-39 |
| |
| Authors: | WANG Lei |
| |
| Abstract: | This article explains the reasons why G del's theorem of incompleteness made the research of theorem proving in difficult position and gives some comments on Tarski's theoretical method for theorem proving.The author points out that Wang Hao proposed "toward mechanical mathematics" firstly and practiced an efficient way in theorem proving on computer. |
| |
| Keywords: | Mechanical Mathematics Tarski Wang Hao |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
