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.
2020-09-08
35 min
Available Results
Generated results are saved to the knowledge database for reuse and search.
No generated results are available for this episode yet.
Extract Knowledge
Pick what you want extracted first. Model, scope, and chapter options appear after a template is selected.
Generated results for public episodes are saved to the knowledge database so they can be reused and searched later.
Transcript
No transcript is available for this episode yet.
Sign in to generate a transcript for review.
Sign in
Chapters
No chapters available.