This reminds of of that one time when I was on a date with a girl from the history department who somehow bemusedly sat through my entire mini-lecture on comparing infinite sets. Twenty years and three kids later, she'll still occasionally look me straight in the eye and declare "my infinity is bigger than your infinity."
Way back then, calculus was a culture war battleground. Bishop Berkeley famously argued the foundations of calculus weren't any better that those of theology. This sort of thing motivated much work into shoring them up, getting rid of infinitesimals and the like (or, later, making infinitesimals rigorous in nonstandard analysis).
I think this is a really good question, and the answer might be that ideally you move up and down the ladder of abstraction, learning from concrete examples in some domains, then abstracting across them, then learning from applying the abstractions, then abstracting across abstractions, then cycling through the process.
My mental representation of this phenomenon is like inverted Russian dolls: you start by learning the inner layers, the basics, and as you mature, you work your way into more abstractions, more unified theories, more structures, adding layers as you learn more and more. Adding difficulty but this extreme refinement is also very beautiful. When studying mathematics I like to think of all these steps, all the people, and centuries of trial and errors, refinements it took to arrive where we are now.
I feel like a great deal more credit should be given to Cauchy and his school, but I understand the tale is long enough.
The Peano axioms are pretty nifty though. To get a better appreciation of the difficulty of formally constructing the integers as we know them, I recommend trying the Numbers Game in Lean found here: https://adam.math.hhu.de/
>Today, mathematics is regarded as an abstract science.
Pure mathematics is regarded as an abstract science, which it is by definition. Arnol'd argued vehemently and much more convincingly for the viewpoint that all mathematics is (and must be) linked to the natural sciences.
>On forums such as Stack Exchange, trained mathematicians may sneer at newcomers who ask for intuitive explanations of mathematical constructs.
Mathematicians use intuition routinely at all levels of investigation. This is captured for example by Tao's famous stages of rigour (https://terrytao.wordpress.com/career-advice/theres-more-to-...). Mathematicians require that their intuition is useful for mathematics: if intuition disagrees with rigour, the intuition must be discarded or modified so that it becomes a sharper, more useful razor. If intuition leads one to believe and pursue false mathematical statements, then it isn't (mathematical) intuition after all. Most beginners in mathematics do not have the knowledge to discern the difference (because mathematics is very subtle) and many experts lack the patience required to help navigate beginners through building (and appreciating the importance of) that intuition.
The next paragraph about how mathematics was closely coupled to reality for most of history and only recently with our understanding of infinite sets became too abstract is not really at all accurate of the history of mathematics. Euclid's Elements is 2300 years old and is presented in a completely abstract way.
The mainstream view in mathematics is that infinite sets, especially ones as pedestrian as the naturals or the reals, are not particularly weird after all. Once one develops the aforementioned mathematical intuition (that is, once one discards the naive, human-centric notion that our intuition about finite things should be the "correct" lens through which to understand infinite things, and instead allows our rigorous understanding of infinite sets to inform our intuition for what to expect) the confusion fades away like a mirage. That process occurs for all abstract parts of mathematics as one comes to appreciate them (expect, possibly, for things like spectral sequences).
> Euclid's Elements is 2300 years old and is presented in a completely abstract way.
depends on what you mean by completely abstract. Euclid relies in a logically essential way on the diagrams. Even the first theorem doesn't follow from the postulates as explicitly stated, but relies on the diagram for us to conclude that two circles sharing a radius intersect.
How has mathematics gotten so abstract? My understanding was that mathematics was abstract from the very beginning. Sure, you can say that two cows plus two more cows makes four cows, but that already is an abstraction - someone who has no knowledge of math might object that one cow is rarely exactly the same as another cow, so just assigning the value "1" to any cow you see is an oversimplification. Of course, simple examples such as this can be translated into intuitive concepts more easily, but they are still abstract.
The tendency towards excessive abstraction is the same as the use of jargon in other fields: it just serves to gatekeep everything. The history of mathematics (and science) is actually full of amateurs, priests and bored aristocrats that happened to help make progress, often in their spare time.
Given the collective time put into it, easier stuff was already solved thousands of years ago, and people are not really left with something trivial to work on. Hence focusing on more and more abstract things as those are the only things left to do something novel.
I found it a bit ironic that the author introduced C code there as an aid, but didn't incorporate it into their argument. As I see it, code is exactly the bridge between abstract math and the empirical world - the process of writing code to implement your mathematical structure and then seeing if it gives you the output you expect (or better yet, with Lean, if it proves your proposition) essentially makes math a natural science again.
I believe mathematics was much tamer before Georg Cantor's work. If I had to pick a specific point in history when maths got "so abstract", it would be the introduction of axiomatic set theory by Zermelo.
I personally cannot wrap my head around Cantor's infinitary ideas, but I'm sure it makes perfect sense to people with better mathematical intuition than me.
The French Bourbaki school certainly had a large influence on increasing abstraction in math, with their rallying cry "Down With Triangles". The more fundamental reason is that generalizing a problem works; it distills the essence and allows machinery from other branches of math to help solve it.
"A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories. One can imagine that the ultimate mathematician is one who can see analogies between analogies."
I believe that abstraction is recursive in nature which creates multiple layers of abstract ideas leading to new areas or insights. For instance our understanding of continuity and limit led to calculus, which when tied to the (abstract) idea of linearity led to the idea of linear operator which explains various phenomena in the real world surprisingly well.
I think the title is a little tongue in cheek. The rest of the blog post develops the Foundations of arithmetic in a clear, well-grounded manner. This is probably a really good introduction for someone about to take a Foundations course. I say this having just Potter's "Set Theory and it's Philosophy" which covers the same material (and a lot more obviously) in 300 some pages.
Another good introduction is Frederic Schuller's YouTube lectures, though already there you can start to see the over abstraction.
The definition of bijection is much more interesting than comparing cardinals. Many everyday use cases where (structure-preserving) bijections make it clear that two apriori different objects can be treated similarly.
More generally, mathematics is experimental not just in the sense that it can be used to make physical predictions, but also (probably more importantly) in that definitions are "experiments" whose outcome is judged by their usefulness.
One could also say the opposite. It's not abstract at all, just a set of rules and their implications. Plausibly the least abstract thing there is.
On the other hand, two cookies plus three cookies, what even is a cookie? What if they're different sizes? Do sandwich cookies count as one or two? If you cut one in half, does you count it as two cookies now? All very abstract. Just give me some concrete definitions and rules and I'll give you a concrete answer.
Discussions of this sort can easily get chaotic, because people tend to conflate intuitiveness and concreteness. Sometimes the whole point of abstraction is to make a concept clearer and more intuitive. The distinction between polynomial function and polynomial is an example.
Proposed rule: People writing about the history of mathematics, should learn something about the history of mathematics.
Mathematicians didn't just randomly decide to go to abstraction and the foundations of mathematics. They were forced there by a series of crises where the mathematics that they knew fell apart. For example Joseph Fourier came up with a way to add up a bunch of well-behaved functions - sin and cos - and came up to something that wasn't considered a function - a square wave.
The focus on abstraction and axiomatization came after decades of trying to repair mathematics over and over again. Trying to retell the story in terms of the resulting mathematical flow of the ideas, completely mangles the actual flow of events.
None of that was even the abstract stuff. It is all models of sizes, order, and inclusion (integers, cardinals, ordinals, sets). Not the nastier abstractions of partial orders, associativity, composition and so on (lattices, categories, ...).
42 comments
[ 2.7 ms ] story [ 60.2 ms ] threadTurns out I’m neither good in maths nor teaching
https://en.wikipedia.org/wiki/The_Analyst
The Peano axioms are pretty nifty though. To get a better appreciation of the difficulty of formally constructing the integers as we know them, I recommend trying the Numbers Game in Lean found here: https://adam.math.hhu.de/
Pure mathematics is regarded as an abstract science, which it is by definition. Arnol'd argued vehemently and much more convincingly for the viewpoint that all mathematics is (and must be) linked to the natural sciences.
>On forums such as Stack Exchange, trained mathematicians may sneer at newcomers who ask for intuitive explanations of mathematical constructs.
Mathematicians use intuition routinely at all levels of investigation. This is captured for example by Tao's famous stages of rigour (https://terrytao.wordpress.com/career-advice/theres-more-to-...). Mathematicians require that their intuition is useful for mathematics: if intuition disagrees with rigour, the intuition must be discarded or modified so that it becomes a sharper, more useful razor. If intuition leads one to believe and pursue false mathematical statements, then it isn't (mathematical) intuition after all. Most beginners in mathematics do not have the knowledge to discern the difference (because mathematics is very subtle) and many experts lack the patience required to help navigate beginners through building (and appreciating the importance of) that intuition.
The next paragraph about how mathematics was closely coupled to reality for most of history and only recently with our understanding of infinite sets became too abstract is not really at all accurate of the history of mathematics. Euclid's Elements is 2300 years old and is presented in a completely abstract way.
The mainstream view in mathematics is that infinite sets, especially ones as pedestrian as the naturals or the reals, are not particularly weird after all. Once one develops the aforementioned mathematical intuition (that is, once one discards the naive, human-centric notion that our intuition about finite things should be the "correct" lens through which to understand infinite things, and instead allows our rigorous understanding of infinite sets to inform our intuition for what to expect) the confusion fades away like a mirage. That process occurs for all abstract parts of mathematics as one comes to appreciate them (expect, possibly, for things like spectral sequences).
> Euclid's Elements is 2300 years old and is presented in a completely abstract way.
depends on what you mean by completely abstract. Euclid relies in a logically essential way on the diagrams. Even the first theorem doesn't follow from the postulates as explicitly stated, but relies on the diagram for us to conclude that two circles sharing a radius intersect.
This is a thought-provoking paper on the issue by Viktor Blasjo, Operationalism: An Interpretation of the Philosophy of Ancient Greek Geometry https://link.springer.com/article/10.1007/s10699-021-09791-4
which was recently the subject of a guest video on 3blue1brown https://www.youtube.com/watch?v=M-MgQC6z3VU
The tendency towards excessive abstraction is the same as the use of jargon in other fields: it just serves to gatekeep everything. The history of mathematics (and science) is actually full of amateurs, priests and bored aristocrats that happened to help make progress, often in their spare time.
Given the collective time put into it, easier stuff was already solved thousands of years ago, and people are not really left with something trivial to work on. Hence focusing on more and more abstract things as those are the only things left to do something novel.
I get what they're saying in practice. But numbers are abstract. They only seem concrete because you'd internalized the abstract concept.
Math in its core has always been abstract. It’s the whole point.
I personally cannot wrap my head around Cantor's infinitary ideas, but I'm sure it makes perfect sense to people with better mathematical intuition than me.
"A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories. One can imagine that the ultimate mathematician is one who can see analogies between analogies."
-- Stefan Banach
More generally, mathematics is experimental not just in the sense that it can be used to make physical predictions, but also (probably more importantly) in that definitions are "experiments" whose outcome is judged by their usefulness.
On the other hand, two cookies plus three cookies, what even is a cookie? What if they're different sizes? Do sandwich cookies count as one or two? If you cut one in half, does you count it as two cookies now? All very abstract. Just give me some concrete definitions and rules and I'll give you a concrete answer.
Mathematicians didn't just randomly decide to go to abstraction and the foundations of mathematics. They were forced there by a series of crises where the mathematics that they knew fell apart. For example Joseph Fourier came up with a way to add up a bunch of well-behaved functions - sin and cos - and came up to something that wasn't considered a function - a square wave.
The focus on abstraction and axiomatization came after decades of trying to repair mathematics over and over again. Trying to retell the story in terms of the resulting mathematical flow of the ideas, completely mangles the actual flow of events.