查询结果
直觉主义逻辑
zhí jué zhǔ yì luó jí
ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ
「直觉主义逻辑」是什么意思？
更新 2026-07-13 17:15:49
- 拼音字母zhi jue zhu yi luo ji
- 首字母zjzylj
- 注音符号ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ
扩展释义
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
拆字组词
相关词语
- 一尘不涉查含义
- 下巴颏儿查含义
- 中国绿刺蛾查含义
- 乐奕查含义
- 六苞藤属查含义
- 南口村查含义
- 口称查含义
- 哈吉斯查含义
- 城东路街道查含义
- 呼吸衰竭查含义
- 喷泉椒草查含义
- 壳层模型查含义
- 对偶材料查含义
- 尾宽腹蛛查含义
- 展览厅查含义
- 思渠镇查含义
- 挑战冠军王查含义
- 明敲明打查含义
- 春雨如油查含义
- 月河街道查含义
- 李树平查含义
- 曹辛庄查含义
- 李亚华查含义
- 李熙星查含义
- 杨海英查含义
- 水白前查含义
- 汪丽娟查含义
- 海甲岭查含义
- 生料查含义
- 王俊莲查含义
- 盛茗苑查含义
- 耳叶排草查含义
- 聂小琴查含义
- 谁明白爱查含义
- 跨越式发展查含义
- 陈开胜查含义
- 陆扬查含义
- 陆雯查含义
- 雁渡寒潭查含义
- 隐射查含义
- 霸天雷神查含义
- 高攀龙查含义
- 东江湖奇石馆查含义
- 竹丑查含义
- 猿渡吾郎查含义
- 乱恋查含义
- 息吹之天查含义
- 复合期权查含义
- 化学天平查含义
- 重庆美专查含义