图灵奖获得者_图灵奖得主2016_图灵奖中国人(2)

“思考不能保证你不犯错误，但是不思考通常一定会犯错误。”没有什么简单的方法可以保证一个人能够写出好的spec，兰伯特说。“编码就像跑步，你跑得越少，跑得也就越慢。所以必须经常反复锻炼你的编码‘肌肉’，而不是像很那样找借口不锻炼。”

数学让编程事半功倍

“能和这样的‘大牛’交流非常激动。”北京大学信息科学技术学院智能科学系大四学生金晓晗在接受《中国科学报》记者采访时说，“兰伯特教授说，数学可以帮助我们分析，简化我们的思维，给我留下了深刻的印象。”

在兰伯特看来，编写spec并不能保证人们编写的代码永远不会坍塌，所以仍然需要利用一些方法和手段消除编程过程中的错误。图灵奖获得者在他看来，理解编码复杂性的最好方法就是抽象化，而最简练、精确的抽象化语言就是数学，即那些在基础数学课堂上所学到的数学课程，如集合、函数和简单的逻辑。“它可以帮助我们提高编写能力，理解正在做的事情，消灭错误。”兰伯特补充说。

“在数学和计算机的关系上，兰伯特认为数学无疑是计算机科学的基础。”兰伯特的回答给北京大学信息科学技术学院的刘垚留下了深刻印象，“思考比写代码更加重要。而数学对于我们严谨、有效地思考问题非常有帮助。”尽管如此，兰伯特也表示，数学很难直接成为人们解决问题的方法。它更多地是帮助分析问题，或是评估提出的解决方案。

“在你提出检验编码的模型之后，数学能够帮助你检查模型是否正确，这正是为什么我提出了TLA+（一种可以帮助程序员进行模型检测的新的计算机编程语言）。”兰伯特举例说。亚马逊公司和英特尔公司的很多程序员发现，TLA+检测模型可以提高他们的排错效率。“处理硬件错误时，成本往往很昂贵，因为如果出现问题就要重新生产所有的芯片，而检测模型可以帮助他们发现错误，大幅降低成本。”

“借助数学的思考方式来关注问题的核心，从而看到问题背后的深层原因，再去寻找解决方案。作为数学的‘码农’，我对此体会尤为深刻。”北京大学数学院学生李屹对此次交流深有所感，“数学之于计算机，不仅是一种工具或者方法，而是一种哲学。以数学的思想作为指导，有时即便不掌握具体的数学工具，都可以使得编程工作事半功倍。”

大学教育要立足长远

“兰伯特讲到的‘多思考，少编程’对我启发莫大。”“他讲的要学会抽象对我们掌握正确的科研态度非常重要。”“通过兰伯特的介绍，我认识到如果把TLA+语言投入到本科或更早的教学中，将会使更受益于数学精练、严谨的逻辑锻炼，节约很多时间，因为未来普通的编程工作注定要被机器代替。”……和金晓晗一样，在此次采访中，很多学生都表示与这位计算机学界“大牛”进行的交流让他们受益匪浅。

在计算机领域，兰伯特确实是位名副其实的传奇人物。他的分布式计算理论奠定了这门学科的基础，并被称为“分布式计算原理之父”；他在1978年发表的论文《分布式系统内的时间、时钟事件顺序》成为计算机科学史上被引用最多的文献；他为“并发系统的规范与验证”研究贡献了核心原理……

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41216-2.html