中小学课件三大数学流派简介课件.pptVIP

三大数学流派简介 -----对数学基础的反思 集合论在19世纪末由康托建立后,集合概念成为最基本、应用最广的一个概念，人们曾经相信，全部数学的基础理论可用集合概念统一起来。1900年，在巴黎召开的国际数学家大会上，庞加莱曾满怀信心的说：“现在我们可以说，完全的严格化已经达到了。”可是这话说出后还不到3年，英国数学家罗素于1902年给德国数学家弗雷格的信中提出一个集合悖论，使数学基础发生动摇，用弗雷格的话说：“突然它的一块基石崩塌下来了。” 罗素的集合悖论一个通俗说法就是：某工厂有许多机器人，有一部专门修理机器人的机器人，称他为甲，甲规定只修理那些不修理自己的机器人，那么问“甲是否修理自己？”显然甲将陷入矛盾之中。 集合论中为什么会产生矛盾这个非常根本的问题，涉及数学逻辑推理的可信性和数学命题的真理性问题，属于数学哲学的范畴。 从1900年到1930年的30年间，许多数学家卷入了一场关于数学哲学基础的讨论，并逐渐形成不同的数学基础学派的争论，主要有逻辑主义、形式主义和直觉主义三个学派。 创造的神秘,有如夜的黑暗---它是伟大的,而知识的幻影却如清晨之雾。（泰戈尔） 一、逻辑主义 1.逻辑主义的历史渊源 逻辑主义的形成究其本原可以追溯到莱布尼兹时代，他把逻辑学想象