Method of Exhaustion
E620682
The Method of Exhaustion is an ancient Greek technique, developed notably by Eudoxus and used by Archimedes, for finding areas and volumes by inscribing and circumscribing sequences of shapes that increasingly approximate a figure, anticipating the principles of integral calculus.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Method of Exhaustion canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6802007 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Method of Exhaustion Context triple: [On the Measurement of the Circle, relatedTo, Method of Exhaustion]
-
A.
Quadrature of the Parabola
Quadrature of the Parabola is a treatise by Archimedes in which he determines the area of a parabolic segment using an early form of infinite series and geometric summation.
-
B.
On the Measurement of the Circle
On the Measurement of the Circle is a mathematical treatise by Archimedes in which he rigorously approximates the value of π and explores properties of circles.
-
C.
Riemann sums
Riemann sums are a fundamental method in calculus for approximating the area under a curve by summing the areas of a sequence of rectangles, forming the basis of the definition of the definite integral.
-
D.
The Method of Mechanical Theorems
The Method of Mechanical Theorems is a treatise by Archimedes in which he uses heuristic mechanical arguments, involving balances and centers of mass, to discover and justify results in geometry and calculus-like area and volume calculations.
-
E.
Simpson's rule
Simpson's rule is a numerical integration technique that approximates the area under a curve by fitting parabolas through groups of data points.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Method of Exhaustion Target entity description: The Method of Exhaustion is an ancient Greek technique, developed notably by Eudoxus and used by Archimedes, for finding areas and volumes by inscribing and circumscribing sequences of shapes that increasingly approximate a figure, anticipating the principles of integral calculus.
-
A.
Quadrature of the Parabola
Quadrature of the Parabola is a treatise by Archimedes in which he determines the area of a parabolic segment using an early form of infinite series and geometric summation.
-
B.
On the Measurement of the Circle
On the Measurement of the Circle is a mathematical treatise by Archimedes in which he rigorously approximates the value of π and explores properties of circles.
-
C.
Riemann sums
Riemann sums are a fundamental method in calculus for approximating the area under a curve by summing the areas of a sequence of rectangles, forming the basis of the definition of the definite integral.
-
D.
The Method of Mechanical Theorems
The Method of Mechanical Theorems is a treatise by Archimedes in which he uses heuristic mechanical arguments, involving balances and centers of mass, to discover and justify results in geometry and calculus-like area and volume calculations.
-
E.
Simpson's rule
Simpson's rule is a numerical integration technique that approximates the area under a curve by fitting parabolas through groups of data points.
- F. None of above. chosen
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
ancient Greek mathematics technique
ⓘ
mathematical method ⓘ |
| anticipates |
Riemann integration
NERFINISHED
ⓘ
integral calculus ⓘ limit concept ⓘ |
| appliedBy |
Archimedes in Measurement of a Circle
NERFINISHED
ⓘ
Archimedes in On the Quadrature of the Parabola ⓘ Archimedes in On the Sphere and Cylinder NERFINISHED ⓘ |
| approach |
circumscribing polygons about a circle
ⓘ
inscribing polygons in a circle ⓘ |
| basedOn |
Eudoxus theory of proportion
NERFINISHED
ⓘ
axiom of Eudoxus NERFINISHED ⓘ |
| contrastWith | heuristic infinitesimal methods ⓘ |
| coreIdea |
approximating areas and volumes by sequences of circumscribed figures
ⓘ
approximating areas and volumes by sequences of inscribed figures ⓘ using limiting processes without explicit limits ⓘ |
| developedBy | Eudoxus of Cnidus NERFINISHED ⓘ |
| era | classical Greek mathematics ⓘ |
| field |
geometry
ⓘ
mathematical analysis ⓘ |
| formalNature | rigorous geometric method ⓘ |
| goal | eliminate any remaining difference between figure and approximating shapes ⓘ |
| historicalPrecursorOf |
infinitesimal calculus
NERFINISHED
ⓘ
method of limits NERFINISHED ⓘ |
| influenceOn |
early modern calculus developers
ⓘ
later Hellenistic mathematics ⓘ |
| logicalStructure |
assumes difference between quantity and approximating sequence
ⓘ
derives contradiction when difference is assumed positive ⓘ |
| methodType |
indirect proof
ⓘ
reductio ad absurdum ⓘ |
| philosophicalBasis |
rejection of actual infinitesimals
ⓘ
use of potential infinity via successive refinement ⓘ |
| relatedConcept |
Archimedean property
NERFINISHED
ⓘ
Eudoxian proportion theory NERFINISHED ⓘ geometric series approximation ⓘ |
| timePeriod | ancient Greece NERFINISHED ⓘ |
| usedBy | Archimedes NERFINISHED ⓘ |
| usedFor |
finding area of plane figures
ⓘ
finding volume of solids ⓘ proving area formulas rigorously ⓘ proving volume formulas rigorously ⓘ |
| usedToProve |
area of a circle equals pi times radius squared
ⓘ
volume of a cone equals one third base times height ⓘ volume of a sphere equals four thirds pi times radius cubed ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Method of Exhaustion Description of subject: The Method of Exhaustion is an ancient Greek technique, developed notably by Eudoxus and used by Archimedes, for finding areas and volumes by inscribing and circumscribing sequences of shapes that increasingly approximate a figure, anticipating the principles of integral calculus.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.