1) Brouwer
布劳威尔
1.
The Postmodern Germination of Brouwer s Philosophy of Mathematics and Its Impact On Wittgenstein;
布劳威尔数学哲学思想中的后现代萌芽及其对维特根斯坦的影响
2) Luitzen Egbertus Jan Brouwer (1881～1966)
布劳威尔，L.E.J.
3) Brouwerian logic
布劳威尔逻辑
1.
An abstract lattice L is residual when “∧” is taken as the gruoup operation, if and only if the dual of L is a Brouwerian logic.
剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑。
4) Brouwer theorem
布劳威尔定理
5) Brauwerian algebra
布劳威尔代数
6) Brouwer Fixed Points Theorem
布劳威尔(Brouwer)不动点定理
补充资料：布劳威尔
| 布劳威尔（1881～1966） Brouwer，Luitzen Egbertus Jan 荷兰数学家。1881年2月27日生于荷兰的奥弗希，1966年12月2日卒于布拉里克姆。1904年 毕业于阿姆斯特丹大学。后在G.曼诺利的影响下，开始接触拓扑学和数学基础。1912年为阿姆斯特丹大学教授，同年为荷兰皇家科学院院士。他强调数学直觉，坚持数学对象必须可以构造，被视为直觉主义的创始人和代表人物。 他在拓扑学的突出贡献是建立布劳威尔不动点定理以及证明维数的拓扑不变性（1910）。1912年起，他特别关心集合的原始地位及排中律的作用，建立构造主义的数学体系，包括可构造连续统；集合论的构造基础，构造的测度论，构造的函数论等。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条