Computer Science Off Course - Programming as Theory Building
摘要
Peter Naur 的论文《Programming as Theory Building》被 Felienne Hermans 复读多次，Hanna Schraffenberger 采访她。文章讨论编程不仅是写代码解决问题，更涉及理论构建：能解释和捍卫自己的解决方案。列出论文部分引言与精彩引用，探讨 Naur 论点对当前 AI 实践、LLM 使用以及计算机科学课程的启示。补充链接与关键词。
荐读理由
Naur论文论证编程根本是构建关于系统如何支撑现实活动的理论，而非仅生产代码与文档；这能帮独立开发者判断AI工程创业项目时，代码只是辅助，核心洞见在开发者思维中需优先理解与传递
原文
Peter Naur - Programming as Theor...
Peter Naur - Programming as Theory Building
Computer Science Off Course by Felienne Hermans & Hanna Schraffenberger
S1 · E1
Jul 7, 2026
40:54
Episode notes
What is programming? This week, we take a stab at this fundamental question with Peter Naur's paper "Programming as Theory Building". Felienne has read the paper (more than once), and Hanna is asking her questions about it. Apparently, programming is more than just solving problems by writing code and involves theory building! Listen in to hear more about what this theory building entails (spoiler alert: it has something to do with being able to explain and defend the solutions we come up with), some beautiful quotes from the paper, and Felienne's ideas of what Naur's argument means for current AI practices, LLM usage, and the computer science curriculum. Read the paper, do the homework, or skip the homework and listen to Hanna's homework attempt instead.
Links:
- ...
Read more
Keywords
Computer ScienceEducationUniversityInterdisciplinaryBooksArticlesHomeworkPerspectives
这条对你有帮助吗？