I do not believe that it is irresolvable, I'm looking at biology for my counter example. In biology there exists a rigid framework inside which a "general" search of language/model is taking place, after a few billion years it seems to be doing ok. It is my hunch that there is a big something out there which will pull a lot of these issues together:

How do you build efficient markets? How do you build an effective AI? How do you design effective distributed systems? How do you build effective languages/models with which to compress the world?

Under what circumstances do such 'meta' searches fail and succeed? It's all beyond me but this is what my nose is saying...