布劳威尔查看源代码讨论查看历史

布劳威尔（荷兰数学家）原图链接来自 个人简历网 的图片

布劳威尔 ，男，荷兰数学家。1881年2月27日生于荷兰的奥弗希，1966年12月2日卒于布拉里克姆。1904年毕业于阿姆斯特丹大学。后在G.曼诺利的影响下，开始接触拓扑学和数学基础。1912年为阿姆斯特丹大学教授，同年为荷兰皇家科学院院士。他强调数学直觉，坚持数学对象必须可以构造，被视为直觉主义的创始人和代表人物。

相关理论

直觉主义

在布劳威尔之前，L．克罗内克(Kronecker)和庞加莱等已经提出了一些零散的直觉主义的意见．但是，布劳威尔认为，庞加莱仅仅强调数学的存在性，这并不能消除逻辑主义者的悖论，只有直觉的构造才能作为数学的基础．

布劳威尔的直觉主义起源于这样的一种哲学：基本的直觉是按时间顺序出现的感觉，把时间进程抽象出来，就产生了数学．

布劳威尔把数学看作是心智的自由创造．它是以自明的原始概念——原初直觉——构造数学对象．数学概念嵌入人们的头脑先于语言、逻辑和经验．决定概念的正确性和可接受性的是直觉，而不是经验和逻辑．像形式逻辑这样构建起来的体系，仅仅可以作为描述规律性的手段而存在，根本不能作为数学的基础．

布劳威尔在博士论文中批判了G．康托尔(Cantor)的集合论以及其他各派数学基础的理论——不容置疑，它们都依赖形式逻辑．他坚持认为，无论怎样用希尔伯特所设想的相容性证明来进行修补，数学的公理基础都必须毫不留情地抛弃．尽管保留希尔伯特的有限性纲领作为前提，也不能证明算术的相容性．他指出，逻辑隶属于语言，逻辑法则的用处是导出更多的陈述．然而，逻辑绝不是揭露真理的可靠工具．用其他办法不能得到的真理，用逻辑也照样不能推导出来．布劳威尔有一个著名的论断：是逻辑依赖数学，而不是数学依赖逻辑．于是，布劳威尔顺理成章地解决了悖论危机：逻辑并不是先验的和不可违反的，根本不存在从公理出发的数学．所以，悖论的出现是无所谓的．他还指出：公理化的办法，形式主义的办法，当然都会避免矛盾．但是，用这种办法不会得到有数学价值的东西．一个错误的理论，即使没有因矛盾而告终，也仍然是错误的．

排中律有效性

布劳威尔最值得称道的成就是否定排中律的有效性．他在“论逻辑原则的不可靠性”(De onbetrouwbaarheid der logischeprincipes)中对排中律提出了怀疑．他指出，排中律——间接证明方法的基石——在历史上起源于推理在有穷集合的子集中的应用．但后来却被认为是一条独立的先验原则，并毫无根据地应用于无穷集合上．所以，它是极不可靠的．

从1923年起，布劳威尔在一系列论文中论述排中律在数学中的作用及其可靠程度，使数学家们服了气：必须在有效的证明手段中抛弃排中律．

布劳威尔依据直觉主义原理重新构建数学体系．开始，他没有什么进展．原因在于缺乏符合要求的构造性连续统的概念．1914年，他终于得到了这样一个概念．这是他在一篇对A．舍恩弗利斯(Schoenflis)和H．哈恩(Hahn)关于集合论进展报告的评论中提出的．次年，他审查集合论的构造性基础问题，彻底弄清了排中律的作用．1918年，他发表了以这个概念为基础的集合论．1919年，他作出了测度的构造性理论．1923年，他给出了构造性函数论．

与公理集合论相比，纠缠着构造性集合论的困难是：集合概念不能是本原概念，而是必须解释和说明的概念．布劳威尔在论述中，引入了“自由选择串”来完成这个任务．这就是，从一堆对象(例如自然数)中无限制地进行一连串的选择．所有的选择由一个法则确定．而且，在每次选择之后，接踵而来的可能选择就增添了限制．他把选择所遵循的法则称为“展延法则”，而允许进行的永无结束的自由选择串称为展延法则的“元”．如果展延法则只允许在有限个可能情形中进行选择，则称其为“有界展延”．作为特殊情形，直觉连续统就可以看成是由有界展延所给出．布劳威尔指出，语句“一个展延的全部元具有性质p”意味着，“我拥有一个构造手段，它能够让我判定，在选择串α的有限次选择之后，选出的元具有性质p．”根据这一解释，根据对这样的构造手段的本性的理解，布劳威尔得到他那称之为有界展延基本定理的定理——扇形定理．这个定理宣称，定义在一个有界展延S上的整值函数f是这样计算的：对于某个自然数n，如果S中任意两个自由选择串α和β，它们的前n个选择重合，那么，就有f(α)=f(β)．

扇形定理

1924年，布劳威尔证明了，在单位闭区间上处处有定义的函数是一致连续的．在这一证明过程中，他第一次采用了扇形定理．

扇形定理这个直觉主义数学的基本定理的证明始终不能顺利地被人们接受．不过，它使布劳威尔获得了成果，这些成果与人们熟知的原来的数学知识大相径庭，诸如：直觉连续统的不可分解性，实函数的一致连续性有一定限度，等等．

应用扇形定理，布劳威尔从根本上动摇了排中律，特别是动摇了它的无矛盾性原理——┐┐(A∨┐A)．他成功地显示了，所谓排中律这个普遍原则本身就存在矛盾．也就是说，存在这样的性质，对于有界展延的全部元来说，如果硬使它要么持有这种性质要么不持有这种性质，

1920年以后，逻辑学家的注意力都被吸引到了布劳威尔逻辑．人们研究它与经典逻辑的关系．由于K． 哥德尔(Gdel)决定性的工作，希尔伯特的基础纲领被冲开了缺口．第二次世界大战后，由于S．克林尼(Kleene)开拓性的研究，由于递归函数论的兴起和计算机的广泛使用，使得直觉主义的基础复活了，它被更多的数学家所接受．

拓扑学贡献

布劳威尔在拓扑学领域做出了他的又一大贡献．

受到希尔伯特在巴黎的第二届国际数学家大会的讲演的影响，也受到舍恩弗利斯关于集合论进展的报告的影响，布劳威尔从1907年到1913年进行了大量研究，取得了大量基础性成果．1907年，他研究了希尔伯特那极难对付的第5问题，但不依靠可微性假设而采用了分割式组合．作为F．克莱因(Klein)那著名的埃朗根纲领的一个自然引伸，布劳威尔讨论了平面变换的理论，给出了笛卡儿平面上拓扑映射的一些同伦性质．

建立布劳威尔不动点定理是他的突出贡献．这个定理表明：在二维球面上，任意映到自身的一一连续映射，必定至少有一个点是不变的．他把这一定理推广到高维球面．尤其是，在n维球内映到自身的任意连续映射至少有一个不动点．在定理证明的过程中，他引进了从一个复形到另一个复形的映射类，以及一个映射的映射度等概念．有了这些概念，他就能第一次处理一个流形上的向量场的奇点．

康托尔揭示了不同的n与空间Rn的一一对应关系．G．皮亚诺(Peano)则实现了把单位线段连续映入正方形．这两个发现启示了，在拓扑映射中，维数可能是不变的．1910年，布劳威尔对于任意的n证明了这个猜想——维数的拓扑不变性．在证明过程中，布劳威尔创造了连续拓扑映射的单纯逼近的概念，也就是一系列线性映射的逼近．他还创造了映射的拓扑度的概念——一个取决于拓扑映射连续变换的同伦类的数．实践证明，这些概念在解决重要的不变性问题时非常有用．例如，布劳威尔就借助它界定了n维区域；J．W．亚历山大(Alexander)则用它证明了贝蒂数的不变性．

1910年，布劳威尔发现了平面上不可分解的连续统是可数个单连通区域的公共边界．1912年，他证明了可以把约当曲线定理推广到n维空间．1913年，他给出了拓扑空间维数的严格定义．

由于布劳威尔在拓扑学上的出色成就，他被推选为荷兰皇家科学院院士．可是，他在1912年的就职演说上，却只大讲直觉主义和构造主义，而不谈他那颇为得意的拓扑学，大大出乎人们的意料之外．

科学家品质

科学家的品质对于要成为一名优秀的科学家所具备的素质，首先必须是要有好奇心，对于自然的好奇，对于普遍事物的好奇。据我所知的优秀科学家，他们对于所有事物都非常好奇。他们想探知事物的规律，他们具有看到事物最为本质一面的本领。作为科学家，他们能够将事物归纳为最基本的简单而重要的法则，并通过这些基本法则去了解许多其它事物。他们所了解的事物不单单是一个清单，或对个别事物的认识，而是将对它们的认识归纳成为一种普遍的认识。这些素质都是应该具有的。另外，优秀的科学家必须要有恒心。他们在研究实验过程中不断努力，努力再努力，锲而不舍。此外，优秀的科学家一般都有很强的自信心，相信自己的判断。自信是非常重要的一种素质。

视频

布劳威尔 相关视频

世界上最聪明的人：爱因斯坦垫底，第2是一名中国数学家？ 拓扑学原理，看明白了吗？