I totally agree with you. I'm a failed mathematician and an unsuccessful linguist :) But I think the fair reply to the OP is that there are no proofs that linguistics as a scientific field has influenced computer languages anywhere close to the way mathematics have.
I'm re-reading all the replies and yes, there are plenty of proofs, as was referenced in the exchange. I was just stuck in my vision/experience of linguistics.
My understanding of the OP's question was more in the field of programming language design (as Ben seemed to hint) where an influence of linguistic research would have contributed to produce languages closer, in expressiveness and structure, to native languages. So I was considering only a very narrow aspect of both computing and linguistic research.
Thank you Dian and Yucer for the really interesting comments.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.