数学中的公理化方法（上）.pdfVIP

數學中的公理化方法 (上) 吳開朗 數學公理化的目的, 就是把一門數學表 響的公理系統, 是歐幾里得 (Euclid, 約公元 述為一個演繹系統。 這個系統的出發點, 則 前 330 — 公元前 275) 所建立的初等幾何公 是一 基本概念和若干條基本命題, 基本概 理系統。 這個公理系統乃是他的世界名著 《原 念必須是對數學實體的高度純化和抽象, 基 本》[1] 的理論基礎。 然而, 遠在歐幾里得之前, 本命題則是對基本概念相互關係的制約和規 在古代巴比倫人、 埃及人和希臘人那裡, 就已 定。 陳述公理化方法的推理基礎, 在古典學 產生了公理化思想的萌芽。 公元前六世紀時 中多數都是採用 自然語言來規定基本概念的 期, 希臘數學的鼻祖泰勒斯 (Thales, 約公元 定義, 或加入一些特定的符號, 這種語言類 前 624 – 公元前 547) 就把邏輯論證引入於 似於現代邏輯中的二階語言 (Second-order 數學之中。 及至希伯索斯 (Hippasus) 發現 language)。 當今世界, 公理化方法已廣泛地 無公度線段之後, 畢達哥拉斯 (Pythagoras, 應用於數學的各個近代分支, 並且 日益向其 公元前 580 — 公元前 497) 學派即逐步認 他 自然科學滲透。 1978年 8 月, 在凱爾蘇赫 識到直觀、 經驗和實踐並非絕對可靠, 希望對 (Karlsruhe) 舉行的第三屆國際數學教育會 過去由經驗而直接得到的幾何知識都能夠用 議上, 當代數學界最高獎菲爾茲 (Fields) 獎 嚴格的邏輯推理來加以證明。 獲得者 M.F. 阿蒂亞 (Atiyah, 1929 —) 在 柏拉圖 (Plato, 公元前 427 — 公元 其論文 《純數學的發展趨勢》 中, 稱二十世 前 347) 曾經提出:“迫使靈魂用抽象的數來 紀為數學的 “抽象公理化時代”。 在這個時代 進行推理, 而厭棄在辯論 中引入可見的和可 裡, 公理化方法不僅是衡量數學純不純的標 捉摸的現象”。(《共和國》) 在這種思想的指導 下, 他的門生已開始依據邏輯次序來整理幾 準, 而且也是衡量數學美不美的標準。 何定理 , 並且引用一些大家公認的原理, 作 為推理的基礎。 這個學派的主要人物鐵塔斯 一、 數學公理化方法的萌芽 (Thextetus, 公元前 480 年前後) 和歐多克 古希臘是當時歐洲商業的中心, 在長達 斯 (Eudoxus, 公元前 408 — 公元前 355) 一千多年的光輝燦爛的希臘文化中, 數學更 的研究成果, 後來分別被歐幾里得收集於 《原 加絢麗多彩。 在數學發展史上, 最原始最有影 本》 的第十卷和第五卷之中。 1 2 數學傳播 十七卷一期 民 82 年 3 月 亞里斯多德 (Aristotle, 公元前 384 — 公理與公設的依據。 他在建立 《原本》 的公理 公元前 322) 認為秩序和對稱是美的主要因 系統時, 即是依據邏輯相關性的原則, 先給出 素, 但二者都可以在數學中