> Imagine Dirichlet's box principle, a thing that a 5-year old should understand; now look at how is it taught in discrete mathematics.
The theorem is "there's no injective function whose codomain is smaller than its domain". It's not stated this way because mathematicians are snobs or to impress students! abstraction is the very nature of mathematics.
"Abstraction in mathematics is the process of extracting the underlying essence of a mathematical concept, removing any dependence on real world objects with which it might originally have been connected, and generalizing it so that it has wider applications or matching among other abstract descriptions of equivalent phenomena."
And this is the problem - you don't teach students how Euler or Aristotle came up with the idea that they would understand, instead you force an abstraction on them right from the start without them grasping any connection to any part of reality they are immersed in. Some of us are capable of connecting the dots right away, some aren't, though would be if we saw how people came up with those ideas. Also, I was absolutely furious when I attended mathematical olympiad as a 10-year old and the problem formulation required familiarity with University math level language. You mathematicians are shooting yourself into feet.
>you don't teach students how Euler or Aristotle came up with the idea that they would understand, instead you force an abstraction on them right from the start without them grasping any connection to any part of reality they are immersed in //
Surely because that's history, we don't teach it that way because then you lose the links that have [much] later been found with other areas of maths -- isn't it the linking in to different areas that provides all the power? We want current students to understand a far wider curriculum and realise the links that come out of those abstraction, no?
I guess it's like whether you teach grammar to language students or hope that through language use they'll derive their own abstractions that allow them to understand the grammar sufficient to say things that they've never heard before.
From a history perspective we probably don't know how they came up with the idea, even if their journals (!) had a specific derivation of a proof then that wouldn't mean that was their initial direction of travel necessarily.
On the other hand, I have to admit that understanding Quantum Mechanics as a complex probability theory is way way simpler than actually going through all the steps physicists did to get there. I will now reflect upon that in peace ;-)
The theorem is "there's no injective function whose codomain is smaller than its domain". It's not stated this way because mathematicians are snobs or to impress students! abstraction is the very nature of mathematics.
From https://en.wikipedia.org/wiki/Abstraction_(mathematics)
"Abstraction in mathematics is the process of extracting the underlying essence of a mathematical concept, removing any dependence on real world objects with which it might originally have been connected, and generalizing it so that it has wider applications or matching among other abstract descriptions of equivalent phenomena."