FormalNotation

Context ProgrammingWithAI, OnWritingAndAlphabets

Dijkstra on why natural language programming won't succeed against more formal notations

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html

The virtue of formal texts is that their manipulations, in order to be legitimate, need to satisfy only a few simple rules; they are, when you come to think of it, an amazingly effective tool for ruling out all sorts of nonsense that, when we use our native tongues, are almost impossible to avoid.

Similar to my point that humans invented mathematical notation to be rigorous, not because we didn't understand natural language ourselves