|
|||||
|
|
| 数理逻辑的若干结果、方法、意义和趋向 | |
| 引用本文： | 张锦文.数理逻辑的若干结果、方法、意义和趋向[J].哲学研究,1982(1). |
| 作者姓名： | 张锦文 |
| 作者单位： | 中国科学院计算技术研究所 |
| 摘 要： | 本文考察数理逻辑的若干重大的结果和某些基本方法,试图阐发它的重大意义和.探讨它的发展趋向。 一、若干重大结果 数理逻辑开始于莱布尼兹,经过布尔、施劳德、弗雷格、罗素、希尔伯特(David Hilbert,1862—1943)等人的工作,使它系统地研究了思维过程、数学概念和数学证明,创立了布 |
| 本文献已被 CNKI 等数据库收录！ | |