You are confusing software engineering with computer science. Most HN users certainly know that the fundamental theories of computation are rooted in rigorous m

You are confusing software engineering with computer science. Most HN users certainly know that the fundamental theories of computation are rooted in rigorous mathematics. The point of the article is is to share the insight that mathematical notation is itself a constructed system, much like complicated software implementations, and which via design decisions provides users with powerful abstractions. Did you even read the article before lecturing us about Turing and Knuth??