直觉主义逻辑查看源代码讨论查看历史

来自 搜狐网 的图片

直觉主义逻辑是中国科技名词，属于科技术语。

汉文字是世界上唯一没有间断的古老文字系统，直到现在我们仍在使用。其不单是人们日常生活中的表述用具，更是五千年悠久文明的记录者、传承者。可以说，汉文字是中华民族古老悠久、博大精深文明的“活化石”。

名词解释

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

全国科学技术名词审定委员会

全国科学技术名词审定委员会（原称“全国自然科学名词审定委员会”）是经国务院批准成立，由科学技术部和中国科学院共同领导、中国科学院代管的全国性机构。

全国名词委的任务是负责制定中国科学技术名词规范化工作的方针、政策、原则和规划；负责组织科学技术各学科的名词审定、公布及协调、推广应用工作；开展海峡两岸及华语地区科学技术名词的交流、协调和统一工作；组织开展中国术语学学科建设和中国国内外术语学学术交流活动。

据2018年10月全国科学技术名词审定委员会官网显示，全国科学技术名词审定委员会的办事机构为全国科学技术名词审定委员会事务中心，各名词审定分委员会95个；聘请了中国各学科著名学者、专家、教授135人担任全国委员；数千位科学家参加过名词审定工作。