| 布劳维 Luitzen Egbertus Jan Brouwer1881—1966 亦译“布劳维尔”。荷兰数学家，现代拓扑学的创始人，数理逻辑中现代直觉主义学派的奠基人。1897年入阿姆斯特丹大学攻读数学。1907年获博士学位，博士论文《数学基础》初步提出直觉主义观点。1909年起先后任该校讲师、副教授、教授，荷兰科学院院士。认为数学的基础是先验的初始直觉。由数学上的直觉主义导致构造主义数学观，强调数学对象必须是可构造的。由此而否认实无穷体系的客观存在。力图改造或摒弃非构造性的数学。主张数学独立于逻辑和语言，数学在逻辑之先，不受逻辑规律的约束。逻辑是数学思维方法的总结和概括。认为数学中最主要的进展不是靠逻辑形式的完美化，而是靠基本理论的变革。从直觉主义逻辑观点出发，排斥那些不具有能行性的古典逻辑定理。否认排中律的普遍有效性，认为对具有无穷对象的体系而言，排中律只是靠思维把握的，而不是靠直觉把握的，从而是无效的。主要著作还有《逻辑规律的不可靠性》(1908)、《直觉主义和形式主义》(1912)、《直觉主义数学的基础》(3卷，1925—1927)等。 |