布劳威尔是现代拓扑学的奠基人，特别是因为他建立了不动点定理和维度的拓扑不变性。他还是直觉主义哲学的重要人物，这是一种认为数学是一种认知构造，而不是客观真理的一种类型的建构主义数学学派。布劳威尔的观点引发了与形式主义数学家大卫·希尔伯特的辩论，即著名的布劳威尔-

数学 逻辑 依赖 布劳威尔 直觉主义 2025-04-17 13:17  2