请问「直觉主义逻辑」是什么意思?
关于「直觉主义逻辑」
拼音 zhí jué zhǔ yì luó jí,注音 ㄓˊ ㄐㄩㄝˊ ㄓㄨˇ ㄧˋ ㄌㄨㄛˊ ㄐㄧˊ。数据更新于 2026-07-12 22:42:45。
| 拼音字母 | zhi jue zhu yi luo ji |
|---|---|
| 拼音首字母 | zjzylj |
| 注音符号 | ㄓ ㄐㄩㄝ ㄓㄨ ㄧ ㄌㄨㄛ ㄐㄧ |
| 注音首符号 | ㄓㄐㄓㄧㄌㄐ |
扩展释义
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。
拆字组词
相关词语
- 亚新是什么意思?
- 亢磊是什么意思?
- 克里夫顿维尔是什么意思?
- 华岗是什么意思?
- 卡朋特乐队是什么意思?
- 卢米是什么意思?
- 活动是什么意思?
- 奥布拉尼亚克是什么意思?
- 多花水苋是什么意思?
- 大诚苑是什么意思?
- 她和我的父亲是什么意思?
- 威家镇是什么意思?
- 孙场村是什么意思?
- 将爱进行到底是什么意思?
- 小七度是什么意思?
- 小泽玛莉亚是什么意思?
- 战略佯动是什么意思?
- 忐忑不定是什么意思?
- 恶夜活死鸡是什么意思?
- 投壶是什么意思?
- 新颖是什么意思?
- 无可比伦是什么意思?
- 斑须蝽是什么意思?
- 星系核是什么意思?
- 星华路是什么意思?
- 未见是什么意思?
- 朔方军是什么意思?
- 林田村是什么意思?
- 沧海英雄是什么意思?
- 求名责实是什么意思?
- 汽车之家是什么意思?
- 滕家村是什么意思?
- 滚地金龙是什么意思?
- 环翠社区是什么意思?
- 王忠家是什么意思?
- 石佛营是什么意思?
- 竹刨花是什么意思?
- 红星发展是什么意思?
- 脑瓜是什么意思?
- 费用账户是什么意思?
- 长距芋螺是什么意思?
- 锦地罗是什么意思?
- 青杨天牛是什么意思?
- 黄惠莲是什么意思?
- 黄雀在后是什么意思?
- 果酒厂站是什么意思?
- 兴安盟交通局是什么意思?
- 虹泽朝日是什么意思?
- 绕指柔剑是什么意思?
- 草莓豆浆是什么意思?