自然语言编程的谬误：形式化语言的必要性

本文批判了自然语言编程的设想。作者认为，将自然语言作为编程接口，虽然看似简化了人机交互，实则会大幅增加机器的复杂性，并可能导致更多难以察觉的错误。历史经验表明，形式化语言（如数学符号）的精确性和严谨性，是高效信息处理的关键。自然语言的模糊性和歧义性，反而会阻碍计算机科学的发展。作者认为，与其追求自然语言编程的便利性，不如珍惜形式化语言带来的精确性和效率，这才是计算机科学发展的正确方向。