Despite twenty years of software engineering I am nowhere near mathematician enough to engage with the author on this topic, however this ... >> In programming

Despite twenty years of software engineering I am nowhere near mathematician enough to engage with the author on this topic, however this ... >> In programming you have a compiler/interpreter that just dictates how an ambiguity resolves. ... strikes me as wrong. It's like saying that mathematical symbolism dictates the resolution of ambiguities because it states what '+' means. Syntax in programming languages is like operators in mathematics. They are simple, well-defined concepts. The ambiguities arise in the problem domain being described, not in the symbols used for the description, something the author goes on to acknowledge explicitly with regard to math.