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

这组1978年随笔反驳以自然语言直接编程的设想，认为接口更自然不等于使用更简单，反而可能增加机器与人的沟通成本。形式符号只需满足少量简单规则，便于排除荒谬错误，应被视为便利而非负担；若从自然语言起步，计算机科学仍需经过漫长时期才能建立足够严谨的形式系统。