直觉主义的数学观与计算机科学

• 作者: 朱梧槚 洪龙
• 来源期刊: 南京邮电学院学报(自然科学版)
• 学科: 工学
• 关键词: 构造性 直觉主义数学 计算机科学
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 32-35,70
• 页数: 5页
• 分类号: TP399
• 字数: 5040字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2002.02.008

摘要

剖析了直觉主义学派的数学观、无穷观和逻辑观,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学计算机科学研究所	40	363	8.0	18.0
2	洪龙	南京邮电学院计算机科学与技术系	36	368	9.0	18.0