相關詞條
-
公理化方法
上樹立了一座不朽的豐碑。公理學研究的對象、性質和關係稱為“論域”,這些...邏輯學家亞里斯多德總結了幾何學與邏輯學的豐富資料,系統地研究了三段論,以數學...。按照“一個公理系統只有一個論域”的觀點建立起來的公理學,稱為實質公理學...
方法定義 歷史發展 作用意義 基本要求 方法運用 -
數理邏輯發展史:從萊布尼茨到哥德爾
內容介紹第一章 導論第一節 數理邏輯史的研究對象和分期第二節 數理邏輯...與經典邏輯的關係第十三章 形式公理學和證明論第一節 從實質公理學到形式公理學一 第一階段——實質公理學:《幾何原本》二 第二階段——從實質公理學...
-
科學形態論
對麥可遜實驗的意外解釋(三)形式化公理學之認定1 悖論研究的興起2 悖論...開包裝:平裝簡介本書藉助於科學史與科學論兩個方面的研究,發現客觀上存在著... 研究對象的選擇3 研究方案設計說明4 精神產品產生的過程Ⅰ5 精神產品...
圖書信息 簡介 目錄 -
公理化和形式化
公理化把一個科學理論公理化,就是用公理方法研究它,建立一個公理系統。每...方法經歷了從古代的實質公理學到現代的形式公理學的發展過程。 公理系統...。 古典公理系統的對象域即公理系統所研究的對象,是先於公理而給定的,概念...
公理化 形式化 形式系統 配圖 相關連線 -
論題學與法學
10萬,不算厚重,但影響日增,乃20世紀研究論題學之鼎作,亦屬“論題學法學...長達20年之久,且迅速被譯成多國文字刊行,有浩如煙海的評論和研究論文,至今...與義大利方式第6章 論題學與化合術第7章 論題學與公理學第8章 論題學...
內容介紹 作品目錄 -
布勞維爾,L.E.J.
及科學"博士學位,1909年任講師,1912年任"集合論、函式論和公理學...真正的數學。 布勞維爾早期仍然從事古典數學研究。他在1910...
布勞維爾,L.E.J. 正文 配圖 相關連線 -
王極盛
。中國著名心理學家、著名高考研究專家、中國科學院博士生導師、國務院特殊津貼...研究所所長,是一位被媒體廣泛關注的高考問題研究權威,公認為中國高考心理...研究,出版了高考著作30部,從而掌握了大量的第一手資料,總結出高考成功規律...
個人簡介 學術觀點 社會經歷 個人成就 泉州受訪 -
現代數學
簡介現代數學時期是指由20世紀40年代至今,這一時期數學主要研究的是最...的深入探討,研究可以作為基礎的概念和原則,分析公理的完全性、相容性和獨立性等問題...。19世紀20~30年代,阿貝爾和伽羅華開創了近代代數學的研究。近代代數是相對...
簡介 歷史 現代數學7大難題 -
數理邏輯史
,在近百年內取得了嶄新而飛躍的發展。 古典形式邏輯是演繹法研究的前數理邏輯時期。數理邏輯史本身又可分為三個階段。第一階段開始用數學方法研究和處理...系統的研究與哲學問題有著相互的作用。 發展 數理邏輯開始於17世紀後期...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案 -
張家龍
:(大學)北京大學哲學系 (研究生)北京大學哲學系 業務範圍和研究方向:現代邏輯、西方邏輯史和邏輯哲學 代表著作 專著: 《公理學、元數學與哲學...討論會論文選集》,中國社會科學出版社,1981 《論語義悖論》哲學研究...
個人簡介 代表著作