鲁伊兹·布劳威尔 - The mini wiki

直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。

布劳威尔环形山是位于月球背面南半部的一座大撞击坑，约形成于39.2-38.5亿年前的酒海纪，其名称分别取自荷兰美国天文学家德克·布劳威尔和荷兰哲学家暨数学家鲁伊兹·布劳威尔，1970年被国际天文学联合会批准接受。

直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。