网站首页 百科知识
荷兰逻辑学家。数理逻辑直觉主义学派的代表人物。强调能行性，完全舍弃没有能行性的证明和定理。如，认为在无穷领域内排中律不具有能行性，不能使用。逻辑学著作有《直觉主义数学的基础Ⅰ—Ⅲ》、《数学、科学和语言》。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。