计算机学的本质——how to do计算机科学不是科学甚至也不是关于计算机。这是教授对于计算机学科本质的思考。就如几何学它起源于古埃及人为抵抗洪水泛滥去进行土地测量。计算机不关于计算机就像几何学不是关于测量。人们很容易将使用的工具如计算机当作一个新兴学科的本质这是因为你并不了解它。那么几何学的本质是什么我们现在回头看会认为他们是将空间和时间的直觉形式化他们开始建立一种方式用形式化的方式讨论数学真理最终导致了公理化方法发展出了现代数学。教授认为未来人们回头看计算机科学会认为计算机学科的本质是将过程的直觉形式化试图发明一种方法来精确描述“如何做某件事”的知识。几何学——What is ture 例如定义什么是根式CS——how to do -算法——如何求是一系列步骤。不断提出更好的方法为什么说计算机是魔法因为程序编写有超越物理现实的自由度其他工程要考虑现实规律而软件在一定程度上是不需要的。它的限制来源于人脑。物理工程要考虑物理组件的极限与物理世界的规律不过计算机世界也需要处理复杂度。所以说计算机学科是一个不断进步的学科因为人们总在不断提出更好的方法。工程上用到的一些方法黑盒抽象封装。无需了解内部实现可以直接使用。隐藏细节脱身去构建更大的盒子另外计算机不是魔法毕竟生活在物理世界魔法软件背后也要有物理现实硬件的支撑。结语与Lisp本文灵感来源计算机科学不是科学MIT教授40年前的开场至今震撼以及MIT 6.001 这门课的一部分。后面要讲Lisp而我没有听说过所以去搜了一下“Lisp 不是一种语言而是一种构建材料。” —— 它从未死亡而是化身为现代编程的根基。附上一些我搜集到的博客软件研发 --过时与小众语言 之LISP为什么LISP语言如此先进译文Lisp快速入门30分钟Lisp入门教程强推但好像需要一些魔法书籍推荐《计算机程序的构造和解释第 2 版》适合深入学习并且这本书看起来很有趣也许某天会重启MIT 6.001这门课的学习但当下还有其他事情要干需要学习python还有其它东西所以先搁置了。不知道这门课是否过时但看到有人说这种编程思想方面的内容永远不会过时不知复述是否准确。