News for hackers. Stuff that matters.
Re:What Makes the Hardest Equations in Physics So Difficult? by tw1010 on Tuesday January 16, 2018 @04:02PM (#16162545)
Sure, but you'd think we would shift our focus to using models explicitly tailored with that aim in mind. Using something that explicitly approximates a desired, precise, foundation. Perhaps parameterized by model accuracy. I would think taking inspiration from approximation algorithms would be a much more appropriate lens with which to model physics.
Re:What Makes the Hardest Equations in Physics So Difficult? by btilly on Tuesday January 16, 2018 @05:37PM (#16163416)
The mental model of a bunch of hard little atoms flying around, colliding, rebounding, etc is actually NOT the desired, precise, foundation for understanding how gases behave.

The better foundation is quantum mechanics. An example of a macroscopically visible difference between these foundations are the van der Waals forces.

Re:What Makes the Hardest Equations in Physics So Difficult? by auntienomen on Tuesday January 16, 2018 @04:12PM (#16162658)
In the case of Navier-Stokes, this was done in 1934 by Jean Leray, who showed that the so-called 'weak' solutions always exist. (A weak solution is not a function, but a more general object called a distribution which can be fuzzed out on very short distance scales.)

It's a very reasonable idea, and useful enough for computations, but it lacks the essential tension that makes Navier-Stokes a mathematical Everest.