Comment by yarvin9 | Hacker News Reader

Comment by yarvin9 | Hacker News Reader

Parent Full thread

> I'd guess that would greatly depend on what Mochizuki's world allows one to do.

Um, it's abstract math, it's not going to help you build a flying car. Isn't proving a major conjecture enough?

Most of mathematics predates the modern American academic system. This immense body of work wasn't developed by people with a careful eye on the best way to get a good tenure-track job. It was developed by people who did math for one main reason: they were fascinated by math.

I am not a mathematician, but I haven't seen anyone suggest that Mochizuki's world is boring. It's difficult for me to imagine 19th-century mathematicians resisting the opportunity to become students again in a new, promising, and unfamiliar world.

The 21st-century reaction seems to be: I already got that degree, you want me to start over? WTF? Why? What's in it for me? How do I make a name for myself by studying someone else's theory, which might not even be true? And it's a pretty sensible reaction, given the institutions we have.

A nitpick: More mathematics has been created/discovered/whatever since 1950 than before. It's not true that most of math predates the American academic system. The modern academic system, for all its flaws, has fostered an explosion of new ideas.

> Isn't proving a major conjecture enough?

Not necessarily. And not because of a lack of tangible rewards, but because of a lack of mathematical ones.

Mathematicians are not just after true statements, or proof, but understanding, and new theories that open up new areas of study. For that reason, a new proof of an old theorem is often quite interesting.

I seem to recall reading that Wiles' proof of Fermat's last theorem was sensational, but ultimately less exciting than it could be--the proof did not create a new way of viewing or systematizing things so much as apply very specialized machinery to a specific problem. Take that with a grain of salt--I don't have a hundredth of the mathematical background to judge it myself.

Your general statements are correct but your example of Wiles is quite wrong. Wiles ideas and their developments in the general area of "modularity of Galois representations" (which this comment box is too small to explain) led to a huge explosion of results. Taylor's work on the Artin conjecture and the Sato-Tate conjecture, Khare-Winterberger proof of the Serre conjecture,...

Thanks for the correction. My memory is hazy, and I must have read that about some other result, or merged different comments into something no one said.

Sure, but most things we take for granted today started as abstract math. We wouldn't be communicating with each other right now if it wasn't for the abstract math developed by many others.

I guess now that you were being sarcastic in your first post. There may be an argument that the reaction may be sensible in relation to the institutions that exist, but those are not the only possible institutions.

Reply on news.ycombinator.com