摘要
剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。
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.
出处
《南京邮电学院学报（自然科学版）》
2002年第2期32-35,70,共5页
Journal of Nanjing University of Posts and Telecommunications
