Comment by AnimalMuppet

Further evidence: After all these years (far longer than we have been doing programming), we still don't do math in English or French or Spanish. We do it in carefully defined formal notations.

But so many problems (programming, but also physics and math) start as informal word problems. A major skill is being able to turn the informal into something formal and precise.