1、論數學大廈的基礎：歐幾里得希爾伯特公理化思想方法的發展班級：13級626數學班 姓名：徐影紅 學號：11607262616摘要：公理化思想方法是數學研究的一種基本方法，在近代數學的發展及中起過巨大的作用，對各門現代數學理論系統形成有著深刻的影響。數學是一門演繹的科學，其體系是一種演繹的體系。那么，這個演繹體系的基礎是什么？整個數學大廈的基礎是怎樣建立起來的？這個基礎就是數學公理系統，整個數學知識的大廈就是按照公理化體系建立起來的。沒有公理化，就沒有數學體系的嚴謹性。本文將從公理化思想方法的產生、發展和完善三方面來闡述公理化思想的發展進程。關鍵字：公理化思想方法、演繹體系、公理化系統一、公理化思

2、想方法的含義公理化是一種數學方法，最早出現在2000多年前的歐幾里得幾何學中，當時認為“公理”是一種不需要證明的自明之理，18世紀，德國哲學家康德認為，歐幾里得幾何的公理使人們生來就有的先驗知識，19世紀末，德國數學家希爾伯特在他的幾何基礎上系統地提出數學的形式公理化方法。他認為每一種數學理論都應以“基本概念-公理-定理”的模式來建立：這里的公里時作為理論出發點的科學假設，它們要求具有完備性、獨立性和相容性。20世紀以來，整個數學幾乎都已按希爾伯特的模式都到公理化處理。在一個數學理論系統中，公理化方法就是從原始概念和公理出發，按照一定的規定定義出其他所有的概念，推導出其他一切命題的一種演繹方法

3、。二、公理化思想方法的發展歷程公理化思想方法的歷史發展大致可分成如下三個階段：（一）公理化方法的產生階段1、亞里士多德和邏輯公理化方法眾所周知，在長達一千多年的光輝燦爛的希臘文化中，哲學、邏輯學、幾何學得到了很大的發展。大約在公元前3世紀，希臘哲學家和邏輯學家亞里士多德總結了前任所發現和創立的邏輯知識，以完全三段論作為出發點，用演繹的方法推導出其余十九個不同格式的所有三段論，創立了人類歷史上第一個公理化方法，即邏輯公理化方法，從而為數學公理化方法創造了條件。2、歐幾里得和幾何原本亞里士多德的思想方法深深影響了公元前3世紀的希臘數學家歐幾里得。歐幾里得以亞里士多德演繹邏輯為工具，總結了人類長期以

4、來所積累的大量幾何知識，于公元前300年完成了他的名著幾何原本。歐幾里得從古代的量地術和關于幾何形體的原始直觀中，用抽象分析方法提煉出一系列基本概念和公理。其中包括14個基本命題，5個公設和9條公理。歐幾里得的幾何原本是有史以來用公理化思想方法建立起來的第一門演繹數學 ，在數學史上被稱為劃時代的里程碑。而且成為以后很長時期嚴格證明的典范，人們還把嚴密的邏輯推理和完善的邏輯結構看成是古典幾何成熟的標志。當然，現在看來由于受當時整個科學水平的限制，這種功利化方法還是很原始的。所以后來稱它為公理化思想方法的初級階段。（二）、公理化方法的完善階段1、對第五公設的質疑之聲歐式幾何的公理系統是不夠完善的，

5、其主要的不足之處可以概括為：（1）有些定義是不自足的，即往往使用一些未加定義的概念去對別的概念下定義。（2）有些定義是多余的，略去它毫不影響往后的演繹和發展。（3）有些定理的證明過程往往依賴于圖形的直觀。在公理化方法的初級階段，它的“嚴格性”也只是相對當時的情況而言的。事實上，原本的不足之處早已為古代學者所覺察，譬如，有學者就質疑歐幾里得對有些基本概念的定義不夠妥當，有些證明只不過是借助于直觀，等等。特別是第五公設的陳述從字面上很不子明，所以人們從兩個方面對他產生了懷疑：第一：第五公設是否正確的反映了空間的性質；第二：它本身很可能是一個定理。對于這兩個問題，人們從以下幾個方面進行了探討：一是他

6、能否從其他公理推出；二是換一個與它等價而本身卻又是很自明的公設；三十換一個與他相反的公設。通過很多第一流的數學家近兩千年的大量工作，第一個方案尚未成功。據說在歐幾里得以后得2000多年時間里幾乎難以發現一個沒有試證過第五公設的大數學家，其中特別著名的有勒讓得、塞開里和蘭伯特等，另外還有一位不得不提的著名數學家。18世紀中葉，意大利數學家薩克利吸取了前任正面直接證明而失敗的教訓，反其道而行之，該用反證法來證明，并于1733年公布了他的證明，但隨后不久數學家們發現他的證明有問題。雖然薩克利的證明是錯誤的，但他提出的反證法及其所得的結果卻起了他始終所未料到的作用，即兩種幾何并存的可能性。也就是說，出

7、了歐幾里得幾何外，還有另外一種幾何的存在。2、非歐幾何的產生數學家從薩克利的錯誤中得到了啟發，19世紀，由高斯、羅巴切夫斯基、波爾約等許多杰出的數學家對第五公設作了大量的推導工作，其中，羅巴切夫斯基于1823年用以下命題代替第五公設：“過已知直線外一點至少可作兩條直線和已知直線不相交”。經過對此命題進行嚴格的邏輯推理之后，證明他的論證之嚴謹并不亞于歐式幾何，于是，以羅巴切夫斯基為代表的羅巴切夫斯基集合系統就產生了。從此也就沖破了歐幾里得幾何“一統天下”的舊觀念對人們的束縛，使人們意識到邏輯上無矛盾并不限于一種幾何。接著德國數學家黎曼進一步對羅巴切夫斯基幾何系統進行完善成立了“黎曼幾何”系統，后

8、人稱這兩種幾何為非歐幾何，這是公理化方法的進一步發展。三、形式公理化方法的產生非歐幾何的創立大大提高了公理化方法的信譽。接著便有許多數學家致力于公理方法的研究。18711872年間德國數學家康托與戴德金不約而同地擬成了連續性公理。德國數學家帕施在1882年擬成了順序公理，在這些基礎上，希爾伯特于1899發表了幾何學基礎一書，解決了歐式幾何的欠缺問題，完善了幾何學的公理化方法，同時也將幾何公理化方法的研究推向了一個新的階段，即形式公理化階段。希爾伯特在他的幾何基礎中，放棄了歐幾里得幾何原本中公理的直觀顯然性，把那些在對空間直觀進行邏輯分析時無關緊要的內容加以摒棄，著眼于對象之間的聯系，強調了邏輯

9、推理，第一次提出了一個簡明、完整、邏輯嚴謹的形式化公里系統。從此公理化方法不僅僅只是數學中一個重要方法，而且一杯其他學科領域所采用。所以人們也稱它為公理化方法發展史上的一個里程碑。公理化思想從歐幾里得的“實體公理化”發展到希爾伯特的“形式公理化”，經歷了相當長的時間，然而，公理化思想并沒有停止過它向前發展的腳步。在形式公理化方法產生的同時，集合論思想方法和數理邏輯學也在萌芽發展。也正是這兩種數學思想方法的產生，極大地推動了公理化方法的進一步發展。希爾伯特在后來從事“元數學”的研究中，又把公理化方法推向了一個新的階段，即純形式化階段。形式化公理方法不僅推動著數學基礎研究，而且在推動著現代算法論研

10、究，從而為數學應用于電子計算機等現代科學技術開辟了新的前景。三、數學之美的熏陶學習數學史的感受從中小學到大學，我個人學習數學也有十幾年的時間了，中小學學的大多是簡單的四則運算、平面幾何知識和簡單的函數，對于學習數學的感受還是很膚淺的，到進入大學之后，進一步系統的學習了數學專業課程，如：數學分析、高等代數。在學習數學基礎專業課程之后，我對于數學一種深刻感受是：維度豐富、推理巧妙、高度嚴謹、無懈可擊。與此同時，在學習數學史這門專業課程的過程當中，我更加感受到數學這門學科所蘊含的不僅僅是數學知識，更多的是獨創的數學精神，系統的思想體系，和勵志的批判和探索精神。對于勵志的批判和探索精神這一點的感受是源于對“幾何學的發展”這一章節內容的學習。在了解了歐式幾何到非歐幾何的發展歷程之后。我對羅巴切夫斯基對于數學鍥而不舍、堅持真理的奮斗精神所深深折服。在眾多著名數學家的失敗中，他積極吸取經驗教訓，不斷堅持對歐式幾何“第五公設”的論證，最后，不畏權威的打壓，堅持公開發表自己的觀點并深信真理。因此，他被后人稱為“幾何學上的哥白尼”。他的非歐幾何思想是與傳統觀點決