“自然语言编程”的荒谬之处（1978）

这是 Dijkstra 写于 1978 年的经典文章，质疑用自然语言指挥机器能简化编程的假设。他指出数学史已证明：希腊数学困于文字描述、穆斯林代数因退回修辞风格而消亡，而西方科学正是靠 Vieta、Descartes、Leibniz 等人设计的形式符号体系才得以兴起。形式记号的严格规则恰恰是排除歧义与胡话的工具，作者认为应对其心存感激而非视为负担。