Taking that argument to its logical extreme, why should any time spent on any of those (possibly unsolvable) problems be done in anything other than pure machin

Taking that argument to its logical extreme, why should any time spent on any of those (possibly unsolvable) problems be done in anything other than pure machine language, since that is also Turing complete? In other words you’re severely underestimating just how much gains in easiness and reductions in suffering can contribute towards (eventually) solving the solvable subset of those problems… never mind just how significant some of those quality of life improvements can be between existing languages (and completely ignoring the potential scope of improvements not yet found in extant languages). What if the solution to [insert sufficiently pernicious problem here] simply cannot be expressed in a human-useable fashion in a merely Turing-complete language? Having just the ability to compute a solution doesn’t mean you have the ability to understand (much less use or build atop) a solution.