相關詞條
-
連續公理
連續公理是基本的幾何公理之一。指希爾伯特-歐幾里得幾何系統公理表中的第四組公理。它包含2條連續公理。 應當指出，在德國數學家希爾伯特(D.Hilbert...
公理簡介 基本幾何公理 結合公理 順序公理 契約公理 -
歐氏幾何公理
歐氏幾何公理是歐幾里得建立的幾個幾何公理，也稱歐式幾何，它的建立，採用了分析與綜合的方法，不止是單獨一個命題的前提與結論之間的連結，而是所有幾何命題的連...
歷史影響 公理內容 建立過程 歐氏生平 建立動機 -
形式科學
形式科學（formal science）是與形式系統，如邏輯學、數學、理論計算機科學、信息理論、系統理論、判定理論、統計學和一些語義學等有關的知識的分支...
歷史 性質 對立面 -
逍遙學派
逍遙學派，希臘文 Peripatetikoi 的意譯。亦稱“亞里士多德學派”。亞里士多德弟子世代相傳組成的學派。公元前 335 年，亞里士多德在雅典呂克...
基本介紹 派系介紹 相關學說 -
布爾巴基學派
布爾巴基學派（school of Burbaki）是由一些法國數學家所組成的數學結構主義團體。20世紀30年代開始形成。布爾巴基是這個團體的成員已出版的...
簡介 工作影響 衰落 相關詞條 -
布爾基巴學派
布爾巴基學派是由法國高等師範學校的一批數學家創立的。 結構，作為布爾巴基學派的主導思想，在整個二十世紀的所有科學和人文領域都是不可忽視的現象。 正是在這...
-
三大數學流派
邏輯公理及邏輯規則推導出來。形式主義一般認為形式主義的奠基人是希爾伯特...的解釋也不管，而只是把它們看作純粹的形式對象，研究它們的結構性質；二、有限主義原則，即總能在有限機械步驟之內驗證形式理論之內一串公式是否一個證明...
簡介 邏輯主義 形式主義 直覺主義 三大數學流派簡介 -
公理化方法
其它公設和公理那樣的說服力，並不自明。因此，它能否正確地反映空間形式...斯的這些思想已經表達了形式公理系統的特徵。隨著數學的深入研究和射影幾何公理系統的建立，形式公理學的概念已經成熟。1899年希爾伯特《幾何學基礎...
方法定義 歷史發展 作用意義 基本要求 方法運用 -
形式主義邏輯學派
認為只須證明由數學的公理出發，永遠推不出矛盾，那么數學的真理性就得到了保證。
-
數理邏輯史
一種公理系統，其中的定理都是邏輯規律特別是推理形式。19世紀70年代G.弗...概述 現代演繹方法、形式化和公理系統的發展史。 以演繹方法為中心內容的形式邏輯已有2000多年的歷史。最早從形式結構來論述演繹推理的著作...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案
