> why are we ignoring the loud hints from ML solutions that this is a limiting heuristic?
This comes up a lot and always strikes me as rather anti-science, even anti-rationality in general. To speed run the typical progression of this argument, someone says alchemy and astrology occasionally "work" too if you're determined to ignore the failures. This point is then shot down by a recap about the success of QM despite Einstein's objections, success of the standard model even with lots of quasi-empiricism etc, etc.
Structurally though.. if you want to claim that the universe is fundamentally weird and unknowable, it's very easy to argue this, because you can always ignore the success of past theory and formalisms by saying that "it was nice while it lasted but we've squeezed all the juice out of that and are in a new regime now". Next you challenge your detractors to go ahead and produce a clean beautiful symmetric theory of everything to prove you wrong. That's just rhetoric though, and arguments from model/information/complexity theory etc about fundamental limits on what's computable and decidable and compressible would be much more satisfying and convincing. When does finding a complicated thing that works actually rule out a simpler model that you've missed? https://en.wikipedia.org/wiki/Minimum_description_length#MDL...
This comes up a lot and always strikes me as rather anti-science, even anti-rationality in general. To speed run the typical progression of this argument, someone says alchemy and astrology occasionally "work" too if you're determined to ignore the failures. This point is then shot down by a recap about the success of QM despite Einstein's objections, success of the standard model even with lots of quasi-empiricism etc, etc.
Structurally though.. if you want to claim that the universe is fundamentally weird and unknowable, it's very easy to argue this, because you can always ignore the success of past theory and formalisms by saying that "it was nice while it lasted but we've squeezed all the juice out of that and are in a new regime now". Next you challenge your detractors to go ahead and produce a clean beautiful symmetric theory of everything to prove you wrong. That's just rhetoric though, and arguments from model/information/complexity theory etc about fundamental limits on what's computable and decidable and compressible would be much more satisfying and convincing. When does finding a complicated thing that works actually rule out a simpler model that you've missed? https://en.wikipedia.org/wiki/Minimum_description_length#MDL...