ЕВДОКС КНИДСКИЙ (Eudoxus, ок. 408 -ок. 355 до н. Э.), греческий математик и астроном, один из величайших математиков древности. Изобрел прием доказательства методом исчерпывания, позднее дополненный АРХИМЕДОМ, для расчета площадей плоских фигур и объема твердых тел. Также дал точное определение действительных чисел в рамках общей теории пропорций. В области астрономии разработал первую в истории систему описания движения небесных тел. В основе этой системы лежало представление о хрустальных сферах, на которых размещаются небесные тела, вращающиеся вокруг Земли. Это представление было впоследствии использовано АРИСТОТЕЛЕМ. См. Также ЧИСЛО, ДЕЙСТВИТЕЛЬНОЕ.