数学史上的哲学绝唱——无穷观与数学基础的争论

面对集合论中存在的悖论,罗素、布劳威尔、希尔伯特等数学大师各自提出了不同哲学主张和解决方案,展开了激烈的争论,形成了逻辑主义、直觉主义、形式主义三大学派.哥德尔的不完全性定理终结了数学家追求绝对可靠的数学基础的幻想,同时使人们对无穷的认识达到了一个更高的境界.     

由理性到经验--现代数学哲学研究的历史走向

数学基础的研究，形成了逻辑主义、形式主义和直觉主义三大学派，其运用理性主义构造数学，认为数学是一个欧几里得系统。拉卡托斯通过对三大学派所做工作分析之后，认为数学是一个拟经验系统，数学的真理性是被“说明”，而不是被“证明”的，它的发展模式是：问题——猜测——反驳，数学理论具有可证伪性。由理性主义到经验主义是现代数学哲学研究的历史走向，这种走向表明数学在不断追求完美与和谐。     

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

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

直觉主席数学哲学研究及其对数学素质教育的启示

分析了直觉主义数学生的历史背景，阐述了直觉主义的基本哲学的立场，对待经典数学的态度和基本的逻辑观点；探讨了直觉主义对数学素质教育的几点启示。     

直觉主义数学哲学研究及其对数学素质教育的启示

分析了直觉主义数学哲学产生的历史背景，阐述了直觉主义的基本哲学立场、对待经典数学的态度和基本的逻辑观点；探讨了直觉主义对数学素质教育的几点启示．     

试论经典逻辑与直觉主义逻辑系统的排中律

在对经典逻辑和直觉主义逻辑的原则或观点进行概括性分析的基础上,重点对经典逻辑与直觉主义逻辑之排中律进行对比分析。在经典逻辑系统内,作为逻辑“三律”（同一律、矛盾律、排中律）之一的排中律,是经典逻辑系统中的内定理,被认为具有普遍有效性。而在非经典逻辑系统,如直觉主义逻辑系统中,排中律则被认为是系统内不可证的,因而不是普遍有效的。     

析布劳维尔的直觉主义

阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。     

罗素悖论与逻辑主义

本文为纪念罗素逝世二十周年而作。文中简介了在本世纪初极大地震动了数学界、逻辑学界和哲学界的“罗素悖论”,以及数学基础与数学哲学研究的三大流派之一、以罗素为代表的逻辑主义派的观点与方法,从中引出对于认识论的某些思考。     

关于数学基础诸流派的研究与评论(Ⅱ)

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学,同时还概述了人们对直觉主义派的一般评论。     

关于数学基石出诸流派的研究与评论(Ⅱ)

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学,同时还概述了人们对直觉主义派的一般评论。     

关于条件命题规则样例学习迁移的研究

对数学逻辑素养较高的被试进行了条件命题规则运用和样例学习迁移研究。有较好数学逻辑素养的被试大部分能从问题的逻辑意义或问题本身意义出发解决问题，但是，他们却不能很好地运用逻辑规则进行推理。如果有一个有解样例的辅助，被试就能很快解决这类问题，传统数学教学应增加运用逻辑知识解决问题的样例和练习，以更好地训练学生的逻辑思维能力。     

离散数学与高中数学新课标中常用逻辑用语的衔接研究

作者在教材分析的基础上，通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较，研究其异同点，从而更好地指导大学离散数学的教学。     

中介逻辑ML的一种模型

中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。     

遥感信息模型与地理数学

从大量的遥感信息模型,地理图像信息模型的实践中,提出符合地理科学自身规律的非线性数学方法,解决了确定性与不确定性结合的宏观复杂性问题。从形式逻辑推理发展到辩证逻辑的计算,从抽象公式的计算发展到抽象思维与形象思维结合的、公式与图像结合的计算。提出了物理变量与地理参数的区别,从而开创了以地理科学为背景的数学研究,进而为发展地理数学奠定了基础。     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

数学认知结构与数学概念的学习——以高等数学的概念学习为例

随着教育理念由行为主义到认知主义的发展,数学能力的提高有待于对概念理解的强化越来越成为共识。数学概念是数学的逻辑起点,是学生认知的基础,是数学思维的核心。基于数学认知结构与数学概念学习的关系,探讨了高等数学概念学习的理论与实践,以期促进高等数学概念的学习。