L.E.J.布劳维尔

来自中文百科,文化平台
跳转至: 导航搜索

L.E.J.布劳维尔(Luitzen Egbertus Jan Brouwer ;1881~1966),荷兰数学家数学基础方面现代直觉主义的创始人。

布劳维尔生于荷兰,1897年入阿姆斯特丹大学,1907年获“数学及科学”博士学位,1909年任讲师,1912年任“集合论、函数论和公理学”副教授,1913年任教授,1951年退休。

大学学习时期,布劳维尔在荷兰语言效用学者G.曼诺利教授的引导下,对数学基础发生了兴趣。在其以《数学基础》为题的博士论文中,他批评G.F.P.康托尔、B.A.W.罗素和D.希尔伯特关于数学基础的理论,并初步提出自己的直觉主义观点。在1908年发表的《逻辑规律的不可靠性》论文里,他在逻辑史上第一次提出了对于潜无穷体系排中律不可靠的见解。在1912年发表的《直觉主义和形式主义》论文中,他进一步阐述了这种观点。布劳维尔主张,数学来源于先验的初始直觉,是人类心灵的创造性构造;数学的存在等于可构造,间接的纯存在证明是不可靠的;在可证和不可证之间还有中间可能,因之排中律不能成立;应用超穷方法的古典数学不是真正的数学。

布劳维尔早期仍然从事古典数学研究。他在1910~1912年关于拓扑学的论文被公认为创造性的贡献。1918年后,布劳维尔开始系统地根据直觉主义和构造主义观点改写集合论和函数论的许多定理的证明,其结果是许多重要定理不能保留,另一些定理则需用复杂而繁长的方法才能证明。这种后果只被少数数学家所接受。除了直觉主义和构造主义的观点外,构造性数学从来就是与古典数学相辅相成的,近年来构造性数学更被认为重要而使数学家们感兴趣。

布劳维尔的论文、著作等多数收入《布劳维尔全集》,已刊行的全集共2卷,出版于1975~1976年。第1卷收入1905~1955年的哲学和数学基础的论文90余篇;第2卷包括几何、分析、拓扑和力学的论文约80余篇,卷首有H.弗罗伊登塔、A.海廷合写的《布劳维尔生平》。