The Method of Mechanical Theorems
Ephodos
Mechanical reasoning, imagining figures balanced against each other on a conceptual lever, can discover geometric truths about areas and volumes even though it cannot rigorously prove them, making mechanical intuition a legitimate tool of discovery that a separate proof must still confirm.
- mechanical reasoning as a tool of mathematical discovery
- the balance/lever method for finding areas and volumes
- the Archimedes Palimpsest's rediscovery
- discovery distinguished from rigorous proof
- a rare glimpse into ancient mathematical process
The Method of Mechanical Theorems survived antiquity in only a single manuscript later scraped down and overwritten as a prayer book, the Archimedes Palimpsest, rediscovered and deciphered only in the early twentieth century and again with advanced imaging in the early 2000s. In it, Archimedes reveals to Eratosthenes the mechanical method he actually used to discover many of his results before working out rigorous proofs published separately, imagining geometric figures balanced on a lever against figures of known area or volume. Archimedes is explicit that this method, though it reliably points toward true results, does not itself constitute proof.
Commentary
Readers' notes on this work. No account needed - be scholarly, or at least civil.
Loading commentary…