Thought Artisan

Mar 28, 2026 · Industry Insights

Dijkstra's 1977 Warning: Why Natural Language Programming Fails in the AI Era

The article revisits Dijkstra's 1977 critique of natural language programming, arguing that formal symbols are essential for precise computation, and questions whether modern AI code agents can truly bridge the gap between ambiguous natural language and rigorous formal systems without reintroducing the same problems.