# 形式化符号

1978年论述：自然语言编程为何是愚蠢尝试

1978年论述指出自然语言编程是愚蠢尝试。形式化符号能排除逻辑漏洞，母语易致无稽之谈且增加机器负担。教育趋势导致新文盲涌现，基于母语的编程机器制造与使用均极其困难。