直覺主義邏輯

來自 搜狐網 的圖片

直覺主義邏輯是中國科技名詞，屬於科技術語。

漢文字是世界上唯一沒有間斷的古老文字系統，直到現在我們仍在使用。其不單是人們日常生活中的表述用具，更是五千年悠久文明的記錄者、傳承者。可以說，漢文字是中華民族古老悠久、博大精深文明的「活化石」。

目錄

名詞解釋

直覺主義邏輯或構造性邏輯是最初由阿蘭德·海廷開發的為魯伊茲·布勞威爾的數學直覺主義計劃提供形式基礎的符號邏輯。這個系統保持跨越生成導出命題的變換的證實性而不是真理性。從實用的觀點，也有使用直覺邏輯的強烈動機，因為它有存在性質，這使它還適合其他形式的數學構造主義。

全國科學技術名詞審定委員會

全國科學技術名詞審定委員會（原稱「全國自然科學名詞審定委員會」）是經國務院批准成立，由科學技術部和中國科學院共同領導、中國科學院代管的全國性機構。

全國名詞委的任務是負責制定中國科學技術名詞規範化工作的方針、政策、原則和規劃；負責組織科學技術各學科的名詞審定、公布及協調、推廣應用工作；開展海峽兩岸及華語地區科學技術名詞的交流、協調和統一工作；組織開展中國術語學學科建設和中國國內外術語學學術交流活動。

據2018年10月全國科學技術名詞審定委員會官網顯示，全國科學技術名詞審定委員會的辦事機構為全國科學技術名詞審定委員會事務中心，各名詞審定分委員會95個；聘請了中國各學科著名學者、專家、教授135人擔任全國委員；數千位科學家參加過名詞審定工作。