|
В «Началах» тринадцать книг, каждая из которых состоит из последовательности теорем. Иногда к этим книгам добавляют книги №№ 14 и 15, принадлежащие другим авторам и близкие по содержанию к последним книгам Евклида. Первой книге предпосланы определения, аксиомы и постулаты. Определения имеются и в некоторых других книгах (2–7, 10, 11). Аксиом и постулатов в других книгах «Начал» нет. Определения – это предложения, с помощью которых автор вводит математические понятия путем их пояснения. Например, «точка есть то, что не имеет частей», «куб есть телесная фигура, заключающаяся между шестью равными квадратами» и т. п. Эти предложения Евклида много раз подвергались критике с точки зрения их полноты и логической определенности, однако равноценной или более совершенной системы определений предложено не было. Дело свелось к тому, что в наше время при аксиоматическом построении математической теории единственным способом описания объектов этой теории и их свойств является сама система аксиом, а объекты вводятся как первичные неразъясняемые сущности. Что же касается определений Евклида, то их следует рассматривать как исторически сложившиеся к его времени абстракции реальных вещей, введение которых в математику освящено традицией. Это – не такой уж редкий, если не сказать наиболее часто встречающийся в истории способ введения математических определений. В различных изданиях «Начал», а ранее того переписчиками и комментаторами, система аксиом и постулатов Евклида видоизменялась и дополнялась. То, что мы имеем ныне, если угодно, результат большого количества проб и ошибок многих исследователей. Так что, как и многие книги того времени, Евклид – это не имя человека, а некое название труда. «Начала» Евклида в течение многих веков служили классическим образцом математической строгости и последовательности. Однако были здесь и неблагоприятные для дальнейшего развития математики факторы. Изложение – чисто геометрическое, даже числа представлены как отрезки. Средства геометрического построения, по существу, ограничены только циркулем и линейкой. В «Началах» нет теории конических сечений, алгебраических и трансцендентных кривых, отсутствуют вычислительные методы. Тем временем при построении математических теорий в Византии выделился специфический класс проблем, для решения которых оказалось необходимым исследовать предельные переходы, бесконечные процессы, непрерывность и т. п. Появилась математика атомистических философских воззрений. Согласно этим взглядам, все тела состоят из бесконечно малых атомов – первовеличин. Эти идеи стали источником представлений о бесконечно малых и о применении их к определению геометрических величин. — 251 —
|