读《ACM演讲集》有感

编程包含两坨基本部分：技术和科学基础。技术部分包括工具，实用技巧，和标准等。技术让我们能够实践编程。科学部分包括深广而有预测力的理论。这些理论让我们能够理解编程。技术和理论对编程缺一不可。没有技术，我们不过在搞纯数学。没有科学，我们不过在学习一门手艺，也就是说，我们不能深入理解编程。所以说嗫，编程，既要讲当前的工具（技术），也要讲基础的概念（科学）。

把编程精简到逻辑算子的地步，比如lambda算子和π算子，只是简化了数学分析，但并不能帮助程序员建立直观概念。搞理论的老大好这一口，但程序员其实得不到多少好处。基础算子有助于研究计算的基础性质，但对分析理解通用的应用程序没有多大帮助。


Science is what we understand well enough to explain to a computer. Art is
everything else we do.

Science advances whenever an Art becomes a Science. And the state of the Art advances too, because people always leap into new territory once they have understood more about the old.

我觉得楼主说的有点过了，一个语言的优劣要通过完备性比较，通过数学证明来证实？你倒是给我举出个例子来，哪些语言经过了严密的数学证明？

另外，所谓的完备性，目前的计算机结构恐怕很难完全模拟吧。要不你用完整的数学模型给我证言一下：承认、否认和不否认这三者之间的逻辑关系？

在javaeye这种地方就不要讨论 语言、计算科学的东西了，多数被当作异类灭掉。
也没什么意义，说了还不如不说。

听的那个人演技已经很厉害了，没想到朱，何，钱，季之流更厉害，一个演员的自我修养背得滚瓜烂熟。这就是我深思一下的结论。

靠，你说这句话什么意思。
有什么资格对这些人指指点点，大放厥词！

说的对极了，我何德何能能去批评那些成名已久的人物能？只有到了我在名头上大过它们的时候才可以。到时候名正言顺，师出有名，民心所向。大家都去努力吧，为了能对他人说三道四，一定要获得一定的资格才可以。否则只能仰着头看别人的鼻子和别人鼻子里呼出来的气息。

［科学主义者懂科学吗？和ACM的那些人比起来呢？ 一个匿名的留言］

名人不是不可以批判，但是不是用语言技巧去挖苦讽刺就可以了的。
我很感兴趣的是，把别人批的一无是处，你把自己摆在什么位置？

钱，何，季之流作为科学家，不是没本事，但是作为红顶科学家怎么也要作点表面功夫吧。。。。理解理解吧。

天行键，君子以自强不息。地势坤，君子以厚德载物。

这种东西也要讲资格。也太吹毛了吧。
某些人科学水准怎么样不好判断，但是人品却是比较差劲，不然也不会在58年署名论证亩产n万斤田的科学性。