Comment by vlovich123
2 years ago
The uninteresting languages are still part of mathematics though. It’s just that we choose not to explore them because we don’t think there’s any value. If you limit it just to the languages that we find interesting, then “what is mathematics” is a fluid definition depending on what we choose to focus on today whereas my definition is a bit more durable.
Also, on the topic of “uninteresting”, if I recall correctly number theory (or discrete math) was explored by a mathematician claiming it’ll never have any application and that’s why he was doing it, only for cryptography to come by within a century after that. At least if I recall the apocryphal story told to me in class correctly. Erdos seems like he’d line up time wise and focus wise but I can’t find any quotes from him to that effect so maybe I’m misrembering?
I don't hold with drawing the strokes too broadly. If we take a broad definition of mathematics, both computer science and chess would be branches of mathematics. Such a definition doesn't capture what I want to think of as mathematics.
The anecdote that you refer to is usually cited with G. H. Hardy as the mathematician, and https://www.arvindguptatoys.com/arvindgupta/mathsapology-har... is where he said it. Except he didn't quite say exactly that. Instead he said things like this:
Given that he wrote this in 1940, relativity was a bad prediction. The theory of numbers also become useful thanks to cryptography.
He also makes reference to a belief that Gauss said something like, "if mathematics is the queen of the sciences, then the theory of numbers is, because of its supreme uselessness, the queen of mathematics..." But he argues this only to undermine it.
I don’t follow. Computer science is a branch of mathematics though, at least it’s considered as such by many university curricula. Technically, I’d say it’s more of a label to a cross sectional combination of branches of mathematics or viewing existing branches through a computational lens, but plenty of mathematical proofs use bridges across branches to solve problems that neither branch could alone. CS covers number theory, graph theory, game theory, discrete math, Boolean algebra, trigonometry, geometry, etc etc etc. Granted there’s a bit of inherent element of engineering in most of it too because “see the math running in reality” is a natural desire. That and computers offer faster feedback loops to playing around with mathematical ideas.
Chess is 100% covered by the branch of mathematics connecting game theory and search and you can translate computational problems onto chess boards in a fashion [1]. So if computational math is part of math and chess is part of computational math, then chess is math.
I think the discomfort you face is that nearly everything can be described with math which means nearly everything is a part of math even if we haven’t described it mathematically yet. And then if everything is math, setting up rigid boundaries between “math” and “not math” is difficult, but I don’t think that’s a bad thing - binary classification is famously problematic when trying to apply to the real world (eg genuses in biology are a valiant but ultimately futile attempt).
Granted it’s possible the language definition is necessary but not sufficient. Something about formalism maybe? Not sure. What does math mean to you?
Thanks for that quote btw - it’s 100% the quote I recall reading.
[1] https://math.stackexchange.com/questions/71760/is-chess-turi...
* edit: here’s a relevant quote from Hardy’s Wikipedia page:
> A chess problem is genuine mathematics, but it is in some way 'trivial' mathematics. However ingenious and intricate, however original and surprising the moves, there is something essential lacking. Chess problems are unimportant. The best mathematics is serious as well as beautiful - 'important.'
> Also, on the topic of “uninteresting”, if I recall correctly number theory (or discrete math) was explored by a mathematician claiming it’ll never have any application and that’s why he was doing it, only for cryptography to come by within a century after that.
I know a version that the motivation was that they can't use it in wars (so the mathematician was a pacifist instead of an arse). I can't find a source for this anecdote either. I probably heard it about Paul Turán, but anyone doing discrete math at that era (number theory, graphs, combinatorics) would do.
Makes sense. I never thought the mathematician was being an arse. To me it was just a reminder that no matter how well versed you may be in mathematics, any prognostication about the uselessness of a mathematical field is likely to be proven incorrect in the long run.