FYI, math is a language. Which is actually an important part of the Navier-Stokes conversation. Solving hard problems expands the vocabulary. The problems are

FYI, math is a language. Which is actually an important part of the Navier-Stokes conversation. Solving hard problems expands the vocabulary. The problems are hard, illustrating a region we know where the language is insufficient. So the point isn't so much to solve the specific problem, but to figure out how to discuss problems like it. But there's a big difference between talking about something in an extremely convoluted manner then people struggle to understand and inventing a new word that simplifies our discussions. Though this is grossly oversimplified. It's a HN comment, not a lecture on metamathematics or metaml