关键词：
整理 | 于轩
出品 | CSDN（ID：CSDNnews）
7月29日，1993年图灵奖得主、计算复杂性理论创始人之一Juris Hartmanis去世，享年94岁。
从物理学到数学，最终深耕计算机科学领域
Hartmanis于1928年7月5日出生于拉脱维亚，父亲Mārtiņš Hartmanis是拉脱维亚军队的将军，于1940年在战争中被捕入狱去世。
二战结束时，Hartmanis一家沦为“流民”移居到了德国。在那里，Hartmanis学习物理，并于1949年获得马尔堡大学的物理学学士学位。1950年，Hartmanis一家获得资助移民美国，他进入堪萨斯城大学攻读硕士学位，但因为该校没有物理学的研究生课程，所以Hartmanis只能改学数学。
只用一年时间，Hartmanis就于1951年获得了应用数学硕士学位，并被加州理工学院接收为博士研究生，从事格论(latticetheory)的研究。1955年，Hartmanis完成博士论文并取得数学博士学位。
1955年-1957年期间，Hartmanis进入康奈尔大学担任数学讲师，然后加入俄亥俄州立大学数学系担任了一年助理教授。在那之后，Hartmanis被吸引到了通用电气公司设在纽约州斯克内克塔迪 (Schenectady) 的研究实验室，一待就是七年。因为那里新建立了一个“信息研究部”开展有关计算机和信息学的研究，这一新的领域激发了Hartmanis极大的兴趣和热情。
1965年，Hartmanis离开通用电气公司重返康奈尔大学，但这次并不是回到数学系，而是创建并领导新的计算机科学系——世界上最早的计算机科学系之一。作为该系的创始人和第一任主席，Hartmanis的眼光、魄力以及民主作风吸引了一批著名学者加盟，其中包括霍普克洛夫特(J．E．Hopcroft，1986年图灵奖得主)、格利斯(D．Giles，1995年ACM优秀计算机教育奖获得者)、霍洛维茨(E．Horowitz)、韦格纳(P．Wegner)和肖(A．Shaw)等。
在Hartmanis的带领下，康奈尔大学计算机科学系成为了美国大学中水平最高、影响最大的计算机科学系之一。他曾三度担任系主任，分别为1965-71年、1977-83年和1992-93年，并于1980年成为Walter R. Reed工程学教授。
Hartmanis于1996-1998年离开康奈尔大学，担任美国国家科学基金会助理主任，负责计算机和信息科学与工程理事会。1989年，Hartmanis被选为美国国家工程院院士，以表彰他对计算复杂性理论以及计算研究和教育做出的重大贡献。此外，Hartmanis还是美国计算机协会和美国数学会的会员，也是美国国家科学院院士。1995年5月，密苏里大学堪萨斯城分校授予他荣誉人文学博士称号。
“计算复杂性”理论先驱
在通用电气工作期间，Hartmanis开发了许多计算复杂性理论的原则。正是在这一时期，他与同事Richard Stearns一起创立了计算复杂性领域。
当时，香农的信息论问世不久，香农给出了一个公式，可以计算在一定的信号和噪声平均功率之下，给定带宽的信道在单位时间内的最大信息传输量（这个公式被叫做「香农公式」) 。学过物理的Hartmanis受此启发，敏锐地想到，抽象的计算过程也应该有精确的定量法则，以确定为了对每一个问题求得解答，需要多少计算工作量。
围绕这一设想，1965年，他们的论文“论算法的计算复杂性（On the Computational Complexity of Algorithms）”发表于理论计算机科学发展的关键时刻，他们的关键贡献是将关于复杂性层次的几个不同概念和特例收集到计算复杂性的一般理论中。
他们用任意渐近键定义了函数和集合的时间和空间复杂性等级，证明了几个一般性的结果、线性加速以及模型轻微扰动下的鲁棒性。他们还讨论了近似有理数和代数的复杂性。尽管主要以多带图灵机为研究对象，但他们正确地论证了这些概念是普遍的，在任何合理的模型中都会出现同样的行为。
我们今天所知的计算复杂性理论，就是从这篇开创性的论文中产生的。由于这一成就，Hartmanis和Stearns于1993年被授予计算机科学的最高奖项-——图灵奖。
除了在学术上的成就，Hartmanis在平时的工作和教学中也备受好评。
在一篇纪念文章中，Hartmanis在康奈尔大学计算机科学系的同事Anil Nerode提到：“之所以会选择他来主持和组织一个新的计算机科学系，是因为他已经表现出了科研和人际交往的能力，以及他后来闻名的广阔视野。我将非常怀念他。”
网站TRIBUTE ARCHIVE在讣告中写道：“Hartmanis是一个善良而有耐心的人，年轻的孩子能感觉到他的善良并被他吸引。他喜欢交谈，而且由于他的兴趣广泛，在许多话题上表现得都很有智慧。我们将非常怀念他。”
一位Hartmanis在康奈尔大学教过的学生Ryan Williams，专门写了一篇文章来表示哀悼之情，他提到：“我非常感激能认识他。如果没有他的信任，我就不会成为一名理论计算机科学家；如果没有他最初的影响，我也不会成为一个好的科学家。我流着泪写完这篇文章；我希望每一位读者都能有机会对一个年轻人的人生产生如此深刻的影响。”
参考链接：
https://blog.computationalcomplexity.org/2022/07/juris-hartmanis-passed-away-on-july-29.html
https://scottaaronson.blog/?p=6622
http://www.techcn.com.cn/index.php?edition-view-132459-3
https://rjlipton.wpcomstaging.com/2022/07/29/juris-hartmanis-1928-2022/
https://www.tributearchive.com/obituaries/25480435/juris-hartmanis
https://cacm.acm.org/magazines/2015/4/184690-an-interview-with-juris-hartmanis/fulltext
— 推荐阅读 —
☞周鸿祎称微软抄袭 360 安全模式后发文否认；英特尔CEO基辛格回应市值被AMD超越：股价下跌是咎由自取|极客头条
☞恐造成下一个“千年虫”的闰秒，遭科技巨头们联合抵制
☞冒充马斯克行骗、欺诈 App 泛滥，加密货币骗局不断！《新程序员001-004》已全面上市
扫描下方二维码或点击阅读原文进入立即订阅
刘慎权逝世：中国cad与计算机图形学先驱，川大数学系校友，享年92岁
...域杰出专家刘慎权先生，2022年10月12日在京逝世，享年92岁。刘慎权是我国最早从事计算数学和计算机应用研究的学者，是我国CAD与计算机图形学领域的开拓者之一。2 查看详情
披阅十载，84岁图灵奖得主高德纳的《计算机程序设计艺术：卷4b》终于出版...
...始，高德纳已经坚持写了50年。两个月前，84岁的图灵奖得主高德纳在个人主页宣布：《计算机程序设计艺术：卷4B》终于出版了！[译者征集中][有意向的译者可联系微信：zhaoxuan-ptpress]《计算机程序设计艺... 查看详情
图灵奖得主大全
图灵奖（英语：ACMA.M.TuringAward），又译杜林奖、A.M.图灵奖[2]，是计算机协会（ACM）于1966年设立的奖项，专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家... 查看详情
提出量子计算机的俄罗斯数学家去世了，享年85岁，门下2位菲尔兹奖得主
羿阁萧箫发自凹非寺量子位|公众号QbitAI最早提出量子计算机的人，离世了。85岁的俄罗斯数学家尤里·曼宁（YuriManin）的人生故事，永远终止在了2023年1月7日这天。这一消息震动数学界。罗格斯大学教授AlexKontorovic... 查看详情
一个热爱编程的82岁老太太：2008年图灵奖得主barbaraliskov访谈录
师从麦卡锡，师徒都得过图灵奖【导读】theregister近日专访了2008年图灵奖得主BarbaraLiskov，这位CLU语言的主要发明人是首位获计算机博士的美国女性，师从约翰·麦卡锡。已经年过80的Liskov提起编程依然热情满满。你听... 查看详情
“计算机艺术之父”现代计算机技术先驱查理斯·苏黎去世，享年99岁！(代码片段)
...2月27日在佛罗里达州莱克伍德牧场的家中平静逝世，享年99岁。3月3日，俄亥俄州立大学在官网悼念查理斯·苏黎。俄亥俄州立大学官网截图投身二战并获得铜星勋章的查理斯·苏黎Csuri1922年出生于美国西弗吉尼亚州，... 查看详情
图灵奖得主yoshuabengio的一生！
文|智商掉了一地2018年图灵奖获得者、AI先驱、深度学习三巨头之一、对抗生成网络GAN、标志性的银灰卷发和浓眉，如果还没猜到的话，当你看到这个封面，一定就会意识到自己在学习的路上，已经或间接或直接地... 查看详情
计算机体系结构“圣经”新版，图灵奖得主扛鼎之作，影响无数技术人
1946年2月15日，世界上第一台通用可编程电子计算机ENIAC正式投入使用。ENIAC每秒可以进行5000次基本算术运算，比同时代的计算机器快1000倍。但ENIAC采用的输入进制为十进制，结构极为复杂。它使用了1.8万根电子管... 查看详情
历史上的今天：第一位图灵奖女性得主；nvidia收购mediaq；首届网络安全挑战大赛完成...
...;院士）的女性，并在2006年成为世界上第一位获得图灵奖的女性。她的成就包括在编译器、程序优化和并行化方面的开创性工作。她从1957年到2002年在IBM工作，随后成为IB 查看详情
图灵奖得主johnhopcroft推荐的这本强化学习入门书
动手学强化学习JohnHopcroft1986年ACM图灵奖得主、上海交通大学校长特别顾问本书的一个重要特点是实现了理论与代码的有机结合，学生在学习强化学习的主要概念时，可以方便地使用这些代码。本书得到了上海交通大学学... 查看详情
历史上的今天：windowsxp诞生；任正非出生；图灵奖编程语言先驱诞生
整理|王启隆透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。今天是2022年10月25日，在2007年的今天，微软公司宣布与社交网站Facebook签署协议，将支付2.4亿美元购买该网站1.6%的股份，这场... 查看详情
对话图灵奖得主jeffreyullman：数据库不会进入周期性的坏循环|《新程序员》
...的编程生涯2020年，美国计算机协会（ACM）将图灵奖授予JeffreyUllma 查看详情
邹欣对话图灵奖得主jeffreyullman：数据库不会进入周期性的坏循环|《新程序员》
从20世纪60年代至今，数据库领域经历了六十多年的发展，且愈发蓬勃。作为数据库理论创始人，JeffreyDavidUllman见证了这一发展历程，他坦言数据库发展不会有“AI寒冬”这样的时期。作者| 田玮靖 翻译 | 何雨... 查看详情
邹欣对话图灵奖得主jeffreyullman：数据库不会进入周期性的坏循环|《新程序员》...
从20世纪60年代至今，数据库领域经历了六十多年的发展，且愈发蓬勃。作为数据库理论创始人，JeffreyDavidUllman见证了这一发展历程，他坦言数据库发展不会有“AI寒冬”这样的时期。作者| 田玮靖 翻译 | 何雨... 查看详情
邹欣对话图灵奖得主jeffreyullman：数据库不会进入周期性的坏循环|《新程序员》
从20世纪60年代至今，数据库领域经历了六十多年的发展，且愈发蓬勃。作为数据库理论创始人，JeffreyDavidUllman见证了这一发展历程，他坦言数据库发展不会有“AI寒冬”这样的时期。作者| 田玮靖 翻译 | 何雨... 查看详情
邹欣对话图灵奖得主jeffreyullman：数据库不会进入周期性的坏循环|《新程序员》...
从20世纪60年代至今，数据库领域经历了六十多年的发展，且愈发蓬勃。作为数据库理论创始人，JeffreyDavidUllman见证了这一发展历程，他坦言数据库发展不会有“AI寒冬”这样的时期。作者| 田玮靖 翻译 | 何雨... 查看详情
计算机四大先驱
...问题，现在人工智能（深度神经网络）和现在计算机（图灵完备）是否匹配第二个问题，社会计算、社交网络动力学。我过去学第五项修炼的时候，我是关联思考组织动力学。社会、社交网络也是更大... 查看详情
家用计算机先驱逝世：linux之父曾受他启发，马斯克悼念
...itAI据外媒报道，家用计算机先驱CliveSinclair去世，享年81岁。他将家用电脑价格降至普通PC的五分之一，让80年代的年轻人拥有了人生中第一台电脑——ZXSpectrum系列。这台计算机甚至于启蒙了一代计算机人。Linux之父Linu... 查看详情