3 ms·
The math is all that matters.
by Drblessing 26d ago
The math is all that matters.
- duped 26d agoThat's a very sad way to look at this
- jere 26d agoMath, like any other human endeavor, doesn't exist until someone is motivated to invent it. The laws of the universe aren't understood until someone is motivated to discover them. So it might be worthwhile to not completely ignore discussion about incentives.
- phyzome 26d agoMath is largely performed in collaboration. Collaboration requires trust. If people like you had their way, we would lose trust, therefore collaboration, and therefore progress. So if math is all that matters to you, you should care about this.
- qlte 26d agoA hundred pages of impenetrable brute forced Lean would advance the field much less than something elegant and human understandable, perhaps relying on some new clever spark of innovation that might inspire new areas of research. Particularly if the first proof being "solved" thanks to piles of money and compute for self-serving marketing discourages the mathematician who might have otherwise devoted years of focus to reach the superior proof we will now never see.
- semi-extrinsic 26d agoObtaining a finite-time blow-up for Navier-Stokes does not necessarily advance the field of mathematics by any significant measure, whether the proof is very long or very short. As a concrete example, such a proof could be less than a page with very specific initial and boundary conditions and inserting them into the equations to get something that goes to infinity when time goes to some finite value. This would resolve the Millenium problem but not make humanity any smarter.
- gw32 26d agohttps://mathstodon.xyz/@tao/117207849921390904 https://mathstodon.xyz/@tao/117207849921390904 Tao agrees.
- s1artibartfast 25d agoWhat do you even mean by that? It is the human value?