Метод исчерпывания, созданный Евдоксом

Название «метод исчерпывания» предложил в 1647 году француз Грегуар де Сен-Венсан / Grégoire de Saint-Vincent, но суть подхода разработал в древности Евдокс Книдский, заложив, тем самым, основы современной теории пределов в математике.

«В основе «метода исчерпывания» лежит следующее положение: если от какой-либо величины отнять половину или более, затем ту же операцию проделать с остатком, и так поступать дальше и дальше, то через конечное число действий можно дойти до такой величины, которая будет меньше любого наперёд заданного числа».

Рожанский И.Д., Античная наука, М., «Наука», 1980 г., с.  98.

«Ещё в недрах Платоновской академии временно действовал Евдокс Книдский, который уже прямо учил о том, что если шар вписан в многогранное тело и другое многогранное тело в него вписано, то оба эти тела по мере увеличения их сторон могут бесконечно приближаться к данному шару. […] Этот метод исчерпывания по существу своему был не чем иным, как учением о бесконечном становлении. И этот метод в более совершенном виде перешёл к Архимеду (III в. до н. э.). У Аристотеля тоже был целый трактат «О возникновении и уничтожении», где учение о бесконечном становлении получило тончайшую разработку».

Лосев А.Ф., Философия. Мифология. Культура, М., «Политиздат», 1991 г., с. 455.