True, in part.

Consider the role of a Business Analyst, in corporate environments. He is the person that talks to stakeholders and users and translates their "natural language" wishes into piles of semi-formal language (UML anyone?). Later on this will become fully formal language.

But I think Dijkstra point is more that we can't fully automate this process and let the machines do the formalization thingy. I used to believe that but I've seen LLMs doing things that really, really surprised me.

In the end I still hold hope in the old saying: "make a something idiot-proof and someone will just make a better idiot". We see LLMs doing magic if they're used by people that know what LLMs are doing. I never saw LLMs doing magic in the hands of idiots.