Loading feed…
Planet Haskell0 Hot0 comments5 min read
The Universe of Discourse : There are two kinds of theorems
Mathematical theorems fall into two distinct categories that serve fundamentally different purposes, yet this distinction is almost never explicitly taught. The first kind verifies that a mathematical model is internally consistent and captures the properties we intend — proving things we already know (like vertical angles being equal) to confirm the model isn't broken. The second kind uses the validated model to discover genuinely new, non-obvious results (like the Cauchy-Schwarz inequality or the equal-area parallelogram theorem). This pattern appears throughout mathematics education — Euclidean geometry, Peano arithmetic, Dedekind cuts, Rudin's analysis — but instructors almost never announce the shift between the two modes, leaving students perpetually confused about why they're proving obvious things.
Source: https://blog.plover.com/math/two-kinds-of-theorems.html. 8 Sync News only summarizes and links out; content copyright belongs to the authors and original sources.
