Dijkstra 1978 年文章论证自然语言编程之荒谬

Dijkstra 在 1978 年的文章中反驳了“用自然语言指挥机器能简化编程”的设想。他援引数学史：希腊数学困于文字描述，穆斯林代数因退回修辞风格而消亡，而西方科学的兴起得益于 Vieta、Descartes、Leibniz 等人设计的形式符号体系。 文章的核心论点是：形式记号的严格规则恰恰是排除歧义与胡话的工具，应对其心存感激而非视为负担。这篇旧文近日在 Hacker News 上被重新讨论。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。