Comment by btilly
2 years ago
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:
There is one comforting conclusions which is easy for a real
mathematician. Real mathematics has no effects on war. No one
has yet discovered any warlike purpose to be served by the theory
of numbers or relativity, and it seems very unlikely that anyone
will do so for many years.
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.'