中文好像翻译成布劳威尔定理。

布劳威尔是个异类，认为数学不是对客观世界的描述和反应，而是只存在于人的头脑中（意识中）的产物。所以证明数学定理必须把它给构造出来，构造不出来就不算数。

他是荷兰人，和荷兰量子力学学派的哲学观点不谋而合。他和希尔伯特观点对立，当时受到打击。可能今后其思想会越来越证明是对的。

所有跟帖： 

• 但用到具体问题还是要看具体情况。如第一题最简单我都无法信服你们的解释，除非规定路径和费时都相同 -老键- ♂ (0 bytes) () 11/24/2023 postreply 10:28:48

• 纯数大部分没有具体应用。当然用得上的对物理贡献很大。但本质上，数学研究if, then，然而不保证这个if就有物理存在。 -露重烟微- ♀ (0 bytes) () 11/24/2023 postreply 11:23:00