Leslie Lamport:数学语言比编程语言更强大、简洁和优雅

采访嘉宾:Leslie Lamport 微软研究院首席研究员,2013年图灵奖获得者,美国计算机协会院士

采访视频:http://www.csdn.net/article/2015-12-21/2826528/5

采访文字实录

CSDN:您为何选择计算机研究作为自己的职业,并潜心研究这么多年?其中最有乐趣和最困难的部分都是什么?有没有什么故事能够与我们分享?

Leslie Lamport:我成为计算机科学家是很偶然的。我原先的专业是数学,我打算成为一名数学家。我编写计算机程序,是为了支持我自己的研究,并为了本科和研究生教学。在某一个时间点上,我有机会做出选择,进入计算机领域,或继续讲授数学课程。我出于非常偶然的原因选择了计算机科学。

至于有趣的部分,我想就是解决问题。我涉足并行问题研究,因为这个问题本身看起来比较有趣,比其他较小的编程问题都要难得多——例如,当时所有的顺序计算看起来都十分简单。但是,一旦涉及到并行问题,你可能会碰到10个线程的编程,你根本无法确定哪一个是正确的。所以,许多类似的难题都引起了我的兴趣。

在并行问题研究方面,有一个小故事,能够解释我所做的工作。当我刚刚接触到互斥问题时,我认为这简直是太容易了,根本不成其为问题。我随便堆砌了一些算法,就把论文集给了一家杂志。几周之后,论文被退了回来,编辑在上面指出了一些错误。这件事让我对自己非常恼火。我对自己说,从此以后我绝不会在没有仔细的证明的情况下编写算法了。其中另一个让我懊恼的原因是,我想解决这个问题,但编写出的却是面包房算法。

CSDN:那么其中的困难有哪些呢?

Leslie Lamport:我从来没发现什么难事——其中的原因在于,我开始涉足这个领域时,我根本没拿计算机当回事儿。我觉得,计算机编程不过如此,只是一些算法而已,我从来没有被当时的计算机科学家们吓倒。我觉得他们不过就是计算机科学家,与物理学家和数学家没啥两样。我当时没有任何心理压力,所以体验到的都是乐趣。

CSDN:您现在关注哪些研究领域?它们将如何影响到我们的生活,或者计算机科学?

Leslie Lamport:我现在所做的事情与研究没有太大的关系。我现在更多的是帮助工程师们确定参数,并拿出正确的设计,然后再付诸实施。因为在并行系统中,如果你在启动项目前没有一个坚实的基础,那它很快就会死掉。根本就没有办法对一个并行编程排查错误。你第一次就要做对。如果最基础的概念就是错误的,那么排查错误的同时就会引入同样多的错误。所以,现在我要做的事情是开发一些开发工具,并且教会工程师们如何从事开发工作,拿出准确、严格的设计。至于对我们生活或计算机科学的影响,那就是让计算机程序变得更加值得依赖。

CSDN:今天,许多大学生都是二十岁刚出头,而他们中有些人将来也会变成研究员。如果您能进行时间旅行,您会给当年二十刚出头的自己什么建议?您会对您自己说什么?

Leslie Lamport:当年,我走过了一些弯路,而它们本来是可以避免的。我确实有些发现,但当我发现它们时,我对自己说:为什么你没能在十年前发现它们?事情往往就是这样。你有了一个想法时,它往往只是一个很简单的想法,你会对自己说:为什么你早不这么想?

CSDN:观看这个视频的观众或许没有机会聆听您的演讲。你能否简短地把自己的演讲要点概述一遍?

Leslie Lamport:今天上午我的演讲主要是谈如何用数学语言而非编程语言来描述计算机程序、计算机系统或计算机算法,只是给大家一些提示,数学语言比编程语言更加强大、更加简洁、更加优雅。我没用多长时间——不过确实用了一段时间才意识到,如果你不是在编程,最好别用编程语言,而应该使用数学。

原文发布于微信公众号 - 人工智能头条(AI_Thinker)

原文发表时间:2015-12-28

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏PHP在线

优秀的程序员的七个特质

优秀的程序员的七个特质 从技术层面来讲,和我工作过的程序员良莠不齐。之前和优秀程序员搭档使我非常轻松,不禁使我思考一个问题:优秀的程序员都有那些特质?或者...

3327
来自专栏大数据文摘

说话要小心!苹果与第三方公司共享Siri语音数据!

28113
来自专栏一名叫大蕉的程序员

应当根植在我们脑海里的原则No.90

应当根植在我们脑海里的原则 PS 我不管我最可爱 这几天看完了 RAY ☻ DALIO 的《 Principles 》这本书,有一些话觉得受益匪浅。分享给大家。...

3728
来自专栏数据派THU

独家 | 沈阳:怎样实现大数据驱动媒体转型?

大数据时代以其“4V”(即Volume体量大、Variety类型多、Value价值巨大、Velocity处理速度快)的神力不断影响和改造着世界,作为一种全新的思...

2467
来自专栏大数据文摘

[独家]上海政务微信发展报告(39页PPT)

2257
来自专栏CDA数据分析师

Stack Overflow发布2018年度开发者调查报告,从中我们发现…

? 作者 Quincy Larson 编译 Mika 本文为 CDA 数据分析师原创作品,转载需授权 上周Stack Overflow发布了2018年度开...

3946
来自专栏java一日一条

程序员每天都在使用的6个惊讶的软技能

如果你想要开启作为web开发人员的职业生涯,那么你需要涉及的不仅仅是知道如何写代码。

541
来自专栏新智元

19门AI在线课程:从入门课程到名校高级学位

1252
来自专栏Java学习网

程序员每天都在使用的6个惊讶的软技能

如果你想要开启作为web开发人员的职业生涯,那么你需要涉及的不仅仅是知道如何写代码。 有一些通用的软技能几乎可用于每个领域——包括技术行业。 成为软件开发人员涉...

3045
来自专栏Java架构

这是我见过最牛X的Java架构进阶学习路线图,没有之一!

大部分职业都是需要有成长体系,才能让人有奋发向上的追求。架构师就是程序员这个群体成长道路上往往会出现的一个重要节点。

1003

扫码关注云+社区

领取腾讯云代金券