定义
布劳维是荷兰数学家、逻辑学家。1907年获阿姆斯特丹大学科学博士学位，并长期任教于阿姆斯特丹大学，1912年当选荷兰科学院院士。此外，布劳维还是法国等国科学院院士、伦敦皇家学会会员。他是数理逻辑中直觉主义学派的代表人物，在逻辑方面否认排中律的普遍有效性（金炳华，冯契，2001：128）。布劳维认为先验的初始直觉是数学的基础。由数学上的直觉主义布劳维提出了构造主义数学观，“强调数学对象必须是可构造的，由此而否认实无穷体系的客观存在”。他主张数学先于逻辑，并不受逻辑规律的约束，独立于逻辑和语言之外。他认为“数学中最主要的进展不是靠逻辑形式的完美化，而是靠基本理论的变革，从直觉主义逻辑观点出发，排斥那些不具有可行性的古典逻辑定理”（金炳华，冯契，2001：128）。他还用互单值连续映象证明了矢量维数不变性定理、关于固定点定理等，对普通拓扑学作出重要贡献（金炳华，冯契，2001：128）。他的主要著作有《逻辑规律的不可靠性》，《直觉主义和形式主义》、《直觉主义数学的基础》（3卷）等（金炳华，冯契，2001：128）。
网络参考例句
例句 1：
维特根斯坦的教师经历、聆听布劳维尔直觉主义讲座等亲身体验，发现逻辑语言丢掉语言的现实性、真实性，强调语言意义在于使用，在科学主义与人文主义矛盾中开辟哲学研究的新思维——语言哲学。——《作为生活形式的“语言游戏”－维特根斯坦语言哲学探析》，吉林大学硕士学位论文，2016
Wittgenstein’s experience of the teachers, listen to Brouwer's intuitionism, experience, find logic language lost language reality, truth, emphasize the meaning of language is used, opens up the philosophy of new thought of philosophy of language in the contradiction between scientism and humanism.
例句 2：
它始于哲学家罗素证明基本的数学理论是不一致的，这导致数学基础的危机和关于数学性质的激烈争辩。卷入这场争论的涉及蓝姆塞、维特根斯坦、弗雷格、胡塞尔、皮尔斯、罗素和怀特海等一流哲学家，以及外尔、彭加勒、哥德尔、希尔伯特、布劳维尔、策梅洛和塔斯基等杰出数学家。——《20世纪的逻辑哲学与数学哲学》，载于《广东社会科学》2015年第2期
It begins with the philosopher Russell, who demonstrates that basic mathematical theories are inconsistent, which leads to a mathematical basis for the crisis and a heated debate about the nature of mathematics. Involved in this debate involving Wittgenstein, Frege, lamb, cork, Husserl, Pearce, Russell and Whitehead - philosopher, Peng Jiale, Godel, and Weyl, Hilbert, Blau Weil, Tarski and other distinguished mathematicians and zermelo.
例句 3：
因此，汪奠基先生在《现代逻辑》中以介绍数学基础研究中的罗素学派、希尔伯特学派及布劳维尔学派之逻辑观点要旨，其中又以罗素的逻辑主义为主。——“逻辑学的意义：实用、科学——汪奠基《现代逻辑》评介”，载于《湖北大学学报（哲学社会科学版）》2011年第1期
Therefore, in the modern logic, Mr. Wang Dianji introduces the logical views of the Russell school, the Hilbert