Consequentia mirabilis: the dream of reduction to logic

Opinionated History of Mathematics by Intellectual Mathematics

Euclid’s Elements, read backwards, reduces complex truths to simpler ones, such as the Pythagorean Theorem to the parallelogram area theorem, and that in turn to triangle congruence. How far can this reductive process be...View more