|
|||||
|
|
| 数理逻辑及其重要意义 | |
| 引用本文： | 杨东屏.数理逻辑及其重要意义[J].数学的实践与认识,1988(2). |
| 作者姓名： | 杨东屏 |
| 作者单位： | 中国科学院软件研究所 |
| 摘 要： | <正> 1.数理逻辑对计算机发展的作用 早在公元前,中国、希腊数学家已经有了算法的概念,其后,印度、阿拉伯数学家也致力于寻找代数问题的算法.后来,欧洲数学发展起来了,人们不仅要找计算的算法,还想找推理的算法.为了给出证明一切数学定理的算法Leibzitg创造了数理逻辑,人们发现一些数学问题不易找到算法,如半群上字的问题,丢番图方程求解问题,谓词演算判定问题等,怀疑有一些数学问题是没有解决它们的算法的,为了证明对某些问题不存在算法, |
| 本文献已被 CNKI 等数据库收录！ | |