I contend that these results are "often" irrelevant. I think this may be a case of survivorship bias. You point out examples in which the theorems are side-stepped, but the side stepping was gained after most of human history was finished. They are also still unsatisfactory to researchers (NP-P isn't even proven). There are combinatorially difficult problems everywhere. Everyday problems with relationships, jobs, business ideas, governing, are technically too hard and are pretty much trial and error. You mention humans being smart, which is true, but we are still slow to learn, and science/math/society are slow to progress despite having billions of us. Otherwise, we would be heuristicing our way to the answers of grand questions and we would have things as smart as us already.
I contend that these results are "often" irrelevant. I think this may be a case of survivorship bias. You point out examples in which the theorems are side-stepped, but the side stepping was gained after most of human history was finished. They are also still unsatisfactory to researchers (NP-P isn't even proven). There are combinatorially difficult problems everywhere. Everyday problems with relationships, jobs, business ideas, governing, are technically too hard and are pretty much trial and error. You mention humans being smart, which is true, but we are still slow to learn, and science/math/society are slow to progress despite having billions of us. Otherwise, we would be heuristicing our way to the answers of grand questions and we would have things as smart as us already.
This is interesting! Is there a name for this concept / area of thought?