Carpus of Antioch (Greek: Κάρπος) was an ancient Greek mathematician. It is not certain when he lived; he may have lived any time between the 2nd century BC and the 2nd century AD. He wrote on mechanics, astronomy, and geometry. Proclus quotes from an Astronomical Treatise by Carpus concerning whether problems should come before theorems, in which Carpus may (or may not) have been criticising Geminus.^[1] Proclus also quotes the view of Carpus that "an angle is a quantity, namely a distance between the lines of surfaces containing it."^[2] According to Pappus, Carpus made use of mathematics for practical applications.^[3] According to Iamblichus, Carpus also constructed a curve for the purpose of squaring the circle, which he calls a curve generated by a double motion.^[4]

Notes

References

Thomas Little Heath, A History of Greek Mathematics, page 428. Courier Dover Publications.
Michael Taunton, (2001), Surveying Instruments of Greece and Rome, pages 33–34. Cambridge University Press.

Ancient Greek mathematics

Mathematicians
(timeline)

Treatises

Problems

Concepts
and definitions

Results

In Elements	Angle bisector theorem Exterior angle theorem Euclidean algorithm Euclid's theorem Geometric mean theorem Greek geometric algebra Hinge theorem Inscribed angle theorem Intercept theorem Intersecting chords theorem Intersecting secants theorem Law of cosines Pons asinorum Pythagorean theorem Tangent-secant theorem Thales's theorem Theorem of the gnomon
Apollonius	Apollonius's theorem
Other	Aristarchus's inequality Crossbar theorem Heron's formula Irrational numbers Law of sines Menelaus's theorem Pappus's area theorem Problem II.8 of Arithmetica Ptolemy's inequality Ptolemy's table of chords Ptolemy's theorem Spiral of Theodorus

Centers

Ancient Greek astronomy Attic numerals Greek numerals Latin translations of the 12th century Non-Euclidean geometry Philosophy of mathematics Neusis construction
History of	A History of Greek Mathematics by Thomas Heath algebra timeline arithmetic timeline calculus timeline geometry timeline logic timeline mathematics timeline numbers prehistoric counting numeral systems list
Other cultures	Arabian/Islamic Babylonian Chinese Egyptian Incan Indian Japanese

Ancient Greece portal • Mathematics portal