歐幾裏德
歐氏幾何全稱歐幾裏德幾何學。古希臘數學家歐幾裏德（Euclid，約西元前330－275）按照邏輯體系把幾何命題整理起來，用公理法建立起演繹體系，使幾何成為一門獨立的、演繹的科學。
歐幾裏德從泰勒斯、畢達哥拉斯等希臘幾何學家那裏繼承了豐富的幾何學材料，對其加以總結，並做了許多修訂和補充，在此基礎上創造性地進行釋疑和論證，使之條理化和系統化，在大約西元前300年，完成巨著《原本》（Elements）。《原本》是歐氏幾何的奠基之作，幾乎包含了現在中學所學的平面幾何、立體幾何的全部內容。《原本》首先列出23條定義，然後是5條公設和5條公理，在此基礎上演繹地證明了465條定理，內容包括直線及圓的性質、比例論、相似形、數論、不可公度量的分類、立體幾何以及窮竭法等共13篇。
《原本》是數學史上第一座理論豐碑，它最大的功績是在數學中確立了演繹範式，這種範式要求一門學科中的每個命題必須是在它之前已建立的一些命題的邏輯結論，而所有這樣推理的出發點是一些基本定義和被認為是不證自明的基本原理——公設或公理。這就是後來所謂的公理化思想。
在後人不斷地努力下，歐氏幾何逐步成為一個邏輯結構嚴謹而完善的幾何體系，使數學的公理法基本形成，促進了整個數學的發展。
|
