大型程序的“理论”：你无法仅从代码中获得
2025-04-28
Peter Naur 的论文探讨了大型程序的“理论”并非代码本身，而是程序员对程序的深刻理解。文章用 Ryle 的比喻阐述：理论如同小路，代码是路本身，而理解程序如同在路上行走。LLM 虽然能生成看似具备理论知识的文本，但这只是表象，并非真正的理解。Naur 强调，理解大型程序需要持续参与其开发和维护，这是一种无法通过简单阅读代码或文档获得的知识。
Peter Naur 的论文探讨了大型程序的“理论”并非代码本身，而是程序员对程序的深刻理解。文章用 Ryle 的比喻阐述：理论如同小路，代码是路本身，而理解程序如同在路上行走。LLM 虽然能生成看似具备理论知识的文本，但这只是表象，并非真正的理解。Naur 强调，理解大型程序需要持续参与其开发和维护，这是一种无法通过简单阅读代码或文档获得的知识。