Евклид. Геометрия (Carrera) - страница 50
Зенон и Евдокс были представителями двух совершенно противоположных школ в математике: критически- деструктивной и критически-конструктивной. Оба были проникнуты столь же сильным критицизмом, как и их последователи...
Эрик Белл «Творцы математики»
Существуют объекты, подтверждающие определение, — свойства, которые устанавливаются в постулате или предложении. Это придает определению смысл. Но есть и другие объекты — не подтверждающие определение.
Возникает следующий вопрос: есть ли в «Началах» пары величин, не связанные никаким отношением? Ведь определение не может и не должно устанавливать, что «все величины, взятые кратно, имеют отношение между собой». Архимед не попал в эту ловушку, и в работе «О шаре и цилиндре» (пятое допущение, или постулат Архимеда) мы читаем:
Большая из двух неравных линий, поверхностей или тел превосходит меньшую на такую величину, которая, будучи складываема сама с собой, может превзойти любую заданную величину из тех, которые могут друг с другом находиться в определенном отношении.
Древнегреческий математик и астроном Евдокс (ок. 408-355 до н.э.) родился и умер в Книде. Он был сыном Эсхина и учеником Платона, происходил из семьи медиков и также несколько лет занимался медициной. В возрасте 23 лет Евдокс уехал в Афины и поступил в Академию Платона, где изучал философию. Несколько лет спустя он узнал об астрономических исследованиях, проводимых в то время в Египте. Питая огромный интерес к этой дисциплине, Евдокс решил переехать в Гелиополь. Благодаря поддержке и покровительству царя Агесилая у него был доступ к результатам исследований и теориям священнослужителей города. Вернувшись в Грецию, Евдокс основал собственную школу философии, астрономии и математики. Впоследствии он написал свою первую книгу «Явления», в которой рассматривал восходы и закаты звезд. Его геометрия (в частности, теория отношений и метод исчерпывания) оказала большое влияние на Евклида.
Теория отношений была самым древним решением проблемы иррациональных чисел, а метод исчерпывания позволил ему решать задачи нахождения площадей и объемов, напримерплощади круга, пропорциональной квадрату его диаметра, и объема пирамиды, который равен трети призмы с таким же основанием и такой же высотой. Большой интерес представляют определения 3 и 4. Выражение «некоторая зависимость» не имеет смысла. К тому же Евклид пишет об отношении по количеству, которого в случае несоизмеримости не существует. Четвертое определение заслуживает более пристального анализа:
Величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга.