檢視直觉主义逻辑的原始碼

{| class="wikitable" align="right"
|-
|<center><img src=https://p7.itc.cn/images01/20230319/a380c65c01c7491f9c144f84e06cbf04.jpeg width="350"></center>
<small>[https://www.sohu.com/a/656408741_121643052 来自 搜狐网 的图片]</small>
|}

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

汉文字是世界上唯一没有间断的古老[[文字]]系统<ref>[https://www.sohu.com/a/352718719_120343035 最古老的五种文字]，搜狐，2019-11-09</ref>，直到现在我们仍在使用。其不单是人们日常生活中的表述用具，更是五千年悠久文明的记录者、传承者。可以说，汉文字是[[中华]]民族古老悠久、博大精深文明的“活化石<ref>[https://www.sohu.com/a/480250823_121106902 象形文字的“活化石”！水书将申报世界记忆遗产名录]，搜狐，2021-07-29</ref>”。

==名词解释==

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

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

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

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

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

==参考文献==
[[Category:800 語言學總論]]