关于自然语言编程的愚蠢性

自计算早期起，有些人便将编程的形式性视为缺陷，将机器的严格服从归咎于其本身。他们期望拥有更“智能”的机器，能够拒绝无意义的操作。高级语言的出现带来改进，通过错误信息捕捉诸多荒谬错误，而非直接产生错误结果。然而，抽象机器依然是忠实的奴仆，完美执行任何无意义指令。编程仍需形式化符号及其所需的严谨性。

设计能以母语接受指令的机器将极大增加机器负担，但支持者认为这能简化人类生活。这一观点假设使用形式化符号的义务是困难的根源。作者对此表示怀疑，指出界面选择不仅是分工问题——跨界面的沟通工作必须被额外增加。

历史证明，形式化符号推动了进步。希腊数学在口头形式下停滞不前，而现代世界的兴起始于西欧通过维埃塔、笛卡尔、莱布niz和布尔等人精心设计的形式化体系摆脱口头精确性的束缚。形式文本仅需简单规则即可合法操作，有效排除自然语言几乎不可避免产生的无意义内容。