Naur's "Programming as Theory Building" and LLMs replacing human programmers
a year ago
- #LLMs
- #Human vs AI
- #Programming Theory
- 彼得·诺尔在《编程作为理论构建》中提出，编程的本质是构建关于程序的'理论'，而非单纯产出代码。
- 根据吉尔伯特·赖尔的定义，大语言模型不具备理论构建能力——它们仅能消化并复现工作成果，无法掌握底层推理逻辑。
- 诺尔强调，理解和修改大型程序需要构建者持续保持对程序的亲密认知，这种知识无法被简单传递。
- 编程绝非文本生产活动，其核心在于对程序结构和设计意图的深刻理解与维护。
- 大语言模型无法取代人类程序员，因为它们既不能发展必要的理论体系，也无法真正理解代码背后的语境。