查询结果
直觉主义逻辑
zhí jué zhǔ yì luó jí
ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ
「直觉主义逻辑」是什么意思？
更新 2026-07-15 23:45:03
- 拼音字母zhi jue zhu yi luo ji
- 首字母zjzylj
- 注音符号ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ
扩展释义
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
拆字组词
相关词语
- 伯翳查含义
- 偶里乡查含义
- 冗余种假说查含义
- 关菲查含义
- 冬青叶山茶查含义
- 奴婢查含义
- 姚宏合美查含义
- 孙玉梅查含义
- 异地保育查含义
- 心灵之火查含义
- 批隙导窾查含义
- 拜拉克塔尔查含义
- 昭阳街道查含义
- 未来学家查含义
- 朝比奈查含义
- 月山日本料理查含义
- 棕灰苔蛾查含义
- 浮光暗影查含义
- 浸入查含义
- 特务小强查含义
- 目光的偶遇查含义
- 索博塔查含义
- 维扬区查含义
- 胡萝卜酮查含义
- 袖箭查含义
- 覃春燕查含义
- 西环路查含义
- 质物查含义
- 那个傻瓜查含义
- 都市上忍查含义
- 郑琼查含义
- 钢琴键查含义
- 除旧更新查含义
- 鳞苞苔草查含义
- 鲜桃查含义
- 巨型雪纳瑞查含义
- 爆杀梅兰克莉查含义
- 糟姜查含义
- 派姿查含义
- 地黄沉香丸查含义
- 邱彦博查含义
- 脾气不升查含义
- 陈斯文查含义
- 汤沃雪查含义
- 卞文瑜查含义
- 三宿恋查含义
- 诸葛思祯查含义
- 谢苍生查含义
- 马全钦查含义
- 董士林查含义