网站首页 词典首页
荷兰逻辑学家。数理逻辑直觉主义学派的代表人物。强调能行性，完全舍弃没有能行性的证明和定理。如，认为在无穷领域内排中律不具有能行性，不能使用。逻辑学著作有《直觉主义数学的基础Ⅰ—Ⅲ》、《数学、科学和语言》。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。