| 直觉主义的数学观与计算机科学 |
| |
| 引用本文： | 洪龙,朱梧槚.直觉主义的数学观与计算机科学[J].南京邮电大学学报(自然科学版),2002,22(2):32-35. |
| |
| 作者姓名： | 洪龙 朱梧槚 |
| |
| 作者单位： | 1. 南京邮电学院,计算机科学与技术系,江苏,南京,210003;南京航空航天大学,计算机科学研究所,江苏,南京,210016
2. 南京航空航天大学,计算机科学研究所,江苏,南京,210016 |
| |
| 摘 要： | 剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。
|
| 关 键 词： | 构造性 直觉主义数学 计算机科学 |
| 文章编号： | 1000-1972(2002)02-0032-04 |
| 修稿时间： | 2002年4月2日 |
Intuitionism's Point of View on Mathematics and Computer Science |
| |
| HONG Long ,ZHU Wu jia.Intuitionism''''s Point of View on Mathematics and Computer Science[J].Journal of Nanjing University of Posts and Telecommunications,2002,22(2):32-35. |
| |
| Authors: | HONG Long ZHU Wu jia |
| |
| Institution: | HONG Long 1,2,ZHU Wu jia 2 1 Department of Computer Science and Technology,Nanjing University of Posts and Telecommunications,Nanjing 210003,China 2 Institute of Computer Science,Nanjing University of Aeronautics and Astronautics,Nanjing |
| |
| Abstract: | In this paper, it is proved that the constructiveness is basic point of departure of intuitionism through dissecting its point of view on mathematics, logic, and infinite. The significance of constructiveness to computer science with recounting instances is explained too. |
| |
| Keywords: | Constructiveness Mathematics of intuitionism Computer science |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
