Absolutely ... our language is still not mature enough to represent abstract ( non physical things) ... In fact we can use math to improve our ability to express abstract ... but that is beyond most humans ...
Discussion
I think functional programming and specifically Haskell are an attempts of this
Yes ... but they will not become mainstream ( like English) because only a very small subset of humans are comfortable with math ... the computer languages need to be like English .. not the otherway around ...