Consequentia mirabilis: the dream of reduction to logic
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 taken, and what should be its ultimate goals? Some have advocated that the axiomatic-deductive program in mathematics is best seen in purely logical terms, but this perspective leaves some fundamental challenges unresolved.
More description
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 taken, and what should be its ultimate goals? Some have advocated that the axiomatic-deductive program in mathematics is best seen in purely logical terms, but this perspective leaves some fundamental challenges unresolved.
2020-09-08
35 min
Listen elsewhere
Available Results
Generated results are saved to your library for reuse and search.
No generated results are available for this episode yet.
Transcript
No transcript is available for this episode yet.
Sign in to generate a transcript for review.
Sign in
Chapters
No chapters available.