> It may well be true that everything in unbounded recursive formal languages can be expressed in regular human language, but the opposite is not true

Is this statement implying that human language is recursive? I'm under the assumption that it has recursive elements, but it's not recursive in the strictest sense of the term. If anything, as anyone who's written a book can attest, language feels reactive and emergent, as opposed to funneling towards a base case.