网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
荷兰数学家、逻辑学家。毕业于阿姆斯特丹大学。布劳维的学生。《布劳维选集》第一卷(1975)的编者，是直觉主义逻辑的积极倡导者和传播者。对构造逻辑作了较全面的研究。1930年发表《直觉主义逻辑的形式规则》和《直觉主义数学的形式规则》两文，详细论述了布劳维的直觉主义数学和构造逻辑，在前一文中建立了一个包括古典逻辑演算、但否定排中律的公理系统。该系统在现代数理逻辑的研究中十分重要。主要著作还有《直觉主义导论》(1956)。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。