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

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

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