> Has geology accomplished something considered difficult outside of geology?
Ask an oilfield services company? A structural engineer who needs a foundation? If that work were easy, then their geologists wouldn't get paid.
I could have just said "economically important", but that seemed too limiting to me. For example, computer-aided proofs were a controversial subfield of math, but I'd take their success on the four-color theorem (which came from outside their subfield and had resisted proof by other means) as evidence of their value, despite the lack of practical application for the result. I think that broader kind of success could justify further investment, but I also don't see that here.
> As a former syntactician who's constructed lots of theories that turned out to be false
I should clarify that I do see a concept of falsifiability at that level, of whether a grammar fits a set of examples of a language. That seems pretty close to math or CS to me. I don't see how that small number of examples is supposed to scale to an entire natural language or to anything about the human brain's capability for language, and I don't see any falsifiable attempt to make that connection. (I don't see much progress towards the loftiest goals from the statistical approach either, but their spectacular engineering results break that tie for me.)
Anyways, Merry Christmas if you're celebrating. I guess we're unlikely to be the ones to settle this dispute, but I appreciate the insight into the worldview.