繁體版 English Francais한국어Русский
登录 注册

直觉主义逻辑的英文

发音:  
"直觉主义逻辑"怎么读用"直觉主义逻辑"造句

英文翻译手机手机版

  • intuitionist logic
  • intuitionistic logic

例句与用法

  • In order to maintain thoroughly hsi philosophical standpoint of anti - realism , he rejected two - valued semantics and took intuitionist logic as the basis of his metaphysics
    为了彻底坚持其反实在论的哲学立场,达米特拒斥二值原则,把直觉主义逻辑作为其形而上学的基础。
用"直觉主义逻辑"造句  

其他语种

百科解释

直觉主义逻辑或构造性逻辑是最初由阿兰德?海廷开发的为鲁伊兹?布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。
详细百科解释
直觉主义逻辑的英文翻译,直觉主义逻辑英文怎么说,怎么用英语翻译直觉主义逻辑,直觉主义逻辑的英文意思,直覺主義邏輯的英文直觉主义逻辑 meaning in English直覺主義邏輯的英文直觉主义逻辑怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。