|
|||||
|
|
| 数学定理的机械化证明 | |
| 作者姓名： | 徐品方 |
| 作者单位： | 徐品方,西昌学院南校区,四川西昌,615022 |
| 摘 要： | 1946年电子计算机诞生。4年后的1950年波兰数学家塔斯基(Tarslci，1901-1983)证明：一切初等几何和初等代数范围的命题，都可以用机械化方法判断其真伪，使人们大吃一惊。 |
| 关 键 词： | 数学定理 机械化证明 吴文俊 自动推理 张景中 消点法 吴两法 |
| 修稿时间： | 2001-04-18 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |