
MATHEMATICS
AND ITS APPLICATIONS 331
broadly the practical and the theoretical, though they differed radically
in their evaluations of these two. That distinction is reflected in the
extant sources for Hellenistic mathematics and it is echoed by later
commentators, such as Pappus (early fourth century
A.D.)
and Produs
(fifth century
A.D.).
While the works of Euclid
(c.
300
B.C.),
Archimedes
(287-212) and Apollonius
(c.
210), especially, provide us with rich
evidence for achievements both in what we would call 'pure' mathe-
matics and in the applications of mathematics to the exact sciences, some
of the works of Hero of Alexandria represent, as we shall see, a second,
in many ways distinct, more practically oriented, strand of Greek
mathematical work.
The problem of assessing Euclid's originality is severe. Almost all the
work of his predecessors is lost, and although Plato and Aristotle offer
valuable insights into fourth-century mathematics, the reconstruction of
pre-Euclidean contributions otherwise depends very largely on what
can be inferred from Euclid himself or from later commentators.
Nevertheless, certain points are reasonably clear. First there can be little
doubt that the vast majority of the theorems in the
Elements
were known
before him. His debts to Theaetetus, for example in the study of
incommensurables in Book x, and to Eudoxus, to whom is attributed
the general theory of proportion in Book v, are particularly important,
and the work of identifiable or unnamed predecessors underlies every
book of the
Elements.
Secondly, we know that attempts to systematize
parts of mathematics go back to Hippocrates of Chios in the late fifth
century: he was the first to compose a treatise of
Elements,
this being the
term used of the primary propositions from which others were derived.
Moreover, between Hippocrates and Euclid
we
hear of
a
number of other
writers, such as Archytas and Theaetetus, who, in Proclus' words,
'increased the number of theorems and progressed towards a more
scientific arrangement of them.'
11
Nevertheless, what no one before Euclid appears to have done is to
have attempted so comprehensive a systematization of the whole of
mathematical knowledge. The Elements begins with a statement of
assumptions, distinguished into three kinds: 'definitions', 'common
opinions' and 'postulates'. These three clearly bear a close resemblance
to those that Aristotle identifies as the starting-points of demonstrations
in his formal logic, namely definitions, axioms and hypotheses. How far
Aristotle
is
drawing on pre-Euclidean mathematics, and how far Euclid in
turn may be drawing on Aristotle, are controversial questions. But there
is no definite evidence that any earlier mathematician had drawn clear
distinctions between different kinds of starting-points, and what Plato
has to say about the mathematicians' use of' hypotheses' in the
Republic
12
suggests that at that time there may have been some lack of determinacy
11
Procl. in Euc. 66.1 ;ff. " Plato, Resp,
jiocff.
Cambridge Histories Online © Cambridge University Press, 2008