歐多克索斯（約前400～前347）

Eudoxus

    古希臘數(shù)學(xué)家，天文學(xué)家。生于尼多斯（今土耳其西南角）。曾受教于柏拉圖等。后來游歷埃及與小亞細(xì)亞等地 ，在基齊庫斯（今馬爾馬拉海南岸）建立了自己的學(xué)派。歐多克索斯最大的貢獻(xiàn)是用公理法建立了既適用于可通約量，又適用于不可通約量的比例論。為此 ，他引入 “量”的概念，代表幾何上連續(xù)變化的諸如線段、角、面積 ……，而“數(shù)”則是離散的。其副作用是把幾何與代數(shù)割裂開來削弱了算術(shù)和代數(shù)的地位 。

    他的另一大貢獻(xiàn)就是提出了阿基米德公理：對任意正數(shù)a，b，必存在n，使na＞b，把安提芬的窮竭法建立在這個公理之上。他用窮竭法證明了兩個圓的面積之比等于其半徑的平方之比；兩個球的體積之比是它們的半徑的立方之比，以及圓錐、棱錐的體積分別是等底等高的圓柱、棱柱的體積的。