数学哲学基础的三大流派.docVIP

数学哲学基础的三大流派 数学哲学基础的三大流派2010-11-14 19：19逻辑主义数学即逻辑 逻辑主义的主要代表人物是罗素，在《数学的原理》及《数学原理》中，罗素的目标在于证明数学和逻辑是全等的这个逻辑主义论题，它可以分析为三部分内容： 1、每条数学真理都能够表示为完全用逻辑表达或表示的语言。简单来讲，即每条数学真理都能够表示为真正的逻辑命题。 2、每一条真的逻辑命题如果是一条数学真理的翻译，则它就是逻辑真理。 3、每条数学真理一旦表示为一个逻辑命题，就可由少数逻辑公理及逻辑规则推导出来。 形式主义 一般认为形式主义的奠基人是希尔伯特。 希尔伯特建议两条最基本的原则：一、形式主义原则：所有符号完全看做没有意义的内容，即使将符号、公式或证明的任何有意的意义或可能的解释也不管，而只是把它们看作纯粹的形式对象，研究它们的结构性质；二、有限主义原则，即总能在有限机械步骤之内验证形式理论之内一串公式是否一个证明。应用数学方法于这样一个形式理论，避免涉及无穷的推断，这就排除了康托尔集合论的方法。这个思想是只应用靠得住的方法，因为要证明数学或其一部分无矛盾的方法是大家公认可靠的，整个数学才有牢固的基础。 直觉主义 直觉主义的奠基者和代表人物是荷兰数学家克劳威尔。 在数学哲学中，直觉主义,或者新直觉主义(对应于前直觉主义),是用人类的构造性思维活动进行数学研究的方法。 任何数学对象被视为思维构造的产物，所以一个对象的存在性等价于它的构造的可能性。这和经典的方法不同，因为经典方法说一个实体的存在性可以通过否定它的不存在性来证明。对于直觉主义者，这是不正确的；不存在性的否定不表示可能找到存在性的构造证明。正因为如此，直觉主义是数学结构主义的一种；但它不是唯一的一类。 直觉主义把数学命题的正确性和它可以被证明等同起来；如果数学对象纯粹是精神上的构造还有什么其它法则可以用作真实性的检验呢(如同直觉主义者会争论的一样)?这意味着直觉主义者可能和经典的数学家对一个数学命题的含义有不同理解。例如，说A或B,对于一个直觉主义者，是宣称A或B可以证明。特别的有，排中律,A或非A,是不被允许的，因为不能假设人们总是能够证明命题A或它的否命题。(参看直觉逻辑.) 直觉主义也拒绝实际无穷的抽象；也就是说，它不考虑象所有自然数的集合或任意有理数的序列无穷这样的无穷实体作为给定对象。这要求将集合论和微积分的基础分别重新构造为构造主义集合论和构造主义分析。 三大数学流派简介 Prince发表于2007-12-14 14：11：00在介绍二十世纪中前期的数学三大流派之前，我想先提一下数学的学派，数学学派比数学流派要多的多。一个学派往往是很多知名的数学家在一个共同的地方，做出一系列的研究，并坚持一定的学派风格。在《基础教育百科全书·数学卷》(设计书)中，提到的数学学派有：伊奥尼亚学派、毕达哥拉斯学派、诡辩学派、智人学派、埃利亚学派、原子论学派、雅典学派、柏拉图学派、亚里士多德学派、亚历山大里亚学派、格丁根学派、柏林学派、彼得堡学派、意大利代数几何学派、法国函数论学派、直觉主义学派、逻辑主义学派、形式主义学派、普林斯顿学派、莫斯科学派、函数论学派、拓扑学派、剑桥分析学派、波兰学派、华沙学派、利沃夫学派、布尔巴基学派等。 可以看到，中世纪以前的数学学派和哲学学派几乎是重合的。通过学习《西方哲学史》可以了解到很多相关的东西。数学本身源于自然哲学。当数学科学逐渐从哲学中分离出来，但是数学基础仍然带有浓厚的哲学味。关于每个学派，都有一段很长的故事，其中的每个数学家都有很多激动人心的作品，和带有传奇色彩的故事。看M.克莱因的四卷本《古今数学思想》和E.T贝尔的《数学精英》，我们可以了解到很多数学家的故事。 直至近代，通过参阅《当代数学精英-菲尔茨奖获得者传》，和《当代数学大师：沃尔夫数学奖得主及其建树与见解》等书，可以对20世纪以来的数学有大概的了解。 莫斯科学派和哥廷根学派是我最喜欢的两个学派。两个地方都曾经云集过一大批著名的数学家，有长久的数学历史传统和深刻的数学文化。 关于哥廷根学派： 哥廷根学派是在世界数学科学的发展中长期占主导地位的学派，该学派坚持数学的统一性，思想反映了数学的本质，促进了数学的发展。 高斯开始了哥廷根数学学派的起始时代，他把现代数学提到一个新的水平。黎曼、狄利克雷和雅可比继承了高斯的工作，在代数、几何、数论和分析领域做出了贡献，克莱因和希尔伯特使德国哥廷根数学学派进入了全盛时期，哥廷根大学因而也成为数学研究和教育的国际中心。 哥廷根学派是世界数学家的摇篮和圣地，但希特勒的上台，使它受到致命的打击。大批犹太血统的科学家被迫亡命美国，哥廷根数学学派解体。【1】 关于莫斯科学派： 百年来，苏俄涌现了上百位世界一流的数学家，其中如鲁金，亚历山德罗夫，柯尔莫戈罗夫，