知识
1993年的图灵奖得主是尤里斯·哈特马尼斯（Juris Hartmanis）和理查德·斯特恩斯（Richard Edwin Stearns），他们因在计算复杂性理论方面的开创性工作而共同获得了这一荣誉。哈特马尼斯和斯特恩斯的研究为理解不同计算问题之间的难度关系奠定了基础，他们提出的概念和方法对计算机科学的许多领域产生了深远的影响，尤其是在算法设计、计算效率分析以及理论上不可解问题的识别等方面。他们的成就被认为是现代计算复杂性理论的主要奠基工作之一。
尤里斯·哈特马尼斯（Juris Hartmanis，1928年7月5日—2022年7月29日），出生于拉脱维亚首都里加，1993年图灵奖得主之一，美国国家工程院外籍院士，美国艺术与科学院院士，拉脱维亚科学院外籍院士，ACM fellow，纽约州科学院院士，生前是康奈尔大学教授。
尤里斯·哈特马尼斯于1949年获得德国马尔堡大学物理学学士学位；1951年获得美国堪萨斯城大学数学硕士学位；1955年获得加州理工学院数学博士学位；1955年至1957年担任康奈尔大学讲师；1957年至1958年担任俄亥俄州立大学助理教授；1958年至1965年担任通用电气研究实验室研究数学家；1965年受聘为康奈尔大学计算机科学系教授；1965年至1971年担任康奈尔大学计算机科学系主任；1977年至1982年担任康奈尔大学计算机科学系主任；1980年受聘为康奈尔大学Walter R.Read工程学教授；1981年当选为美国科学促进会会士；1982年当选为纽约州科学院院士；1989年当选为美国国家工程院外籍院士；1990年当选为拉脱维亚科学院外籍院士；1992年当选为美国艺术与科学院院士；1992年至1993年担任康奈尔大学计算机科学系主任；1993年获得图灵奖；1994年当选为ACM fellow；1996年至1998年担任美国国家科学基金会主任助理；2022年7月29日在美国纽约州伊萨卡去世，享年94岁。
尤里斯·哈特马尼斯致力于计算理论及计算复杂性理论的研究。
哈特马尼斯是拉脱维亚人，生于1928年。二战期间，为躲避战火，哈特马尼斯一家人背井离乡，沦为“流民”(displaced person)。哈特马尼斯的中学学业就是在德国哈瑙(Hanau)的难民营中完成的。之后他进入德国马尔布克大学学习物理(Marburg是一座大学城，离法兰克福不远)。两年半之后的1950年，哈特马尼斯获得资助，来到美国，进入堪萨斯城大学攻读硕士学位。但由于该校没有物理学的研究生课程，哈特马尼斯只得改学数学。他用了一年时间取得硕士学位，并被加利福尼亚理工学院接收为博士研究生，从事格论(latticetheory)的研究。4年后，哈特马尼斯完成博士论文，1955年取得博士学位，进入康乃尔大学数学系任教。但他在那里只工作了一年多，就转入通用电气公司设在纽约州斯克内克塔迪(Schenectady)的研究实验室，因为那里新建立了一个“信息研究部”，主任是理查德·舒伊(Richard Shuey)博士，开展有关计算机和信息学的研究，这一新的领域激发起了哈特马尼斯极大的兴趣和热情。Juris和Audrey 当时，香农(Claude Elwood Shanon)的信息论问世不久，香农给出了一个公式，可以计算在一定的信号和噪声平均功率之下，给定带宽的信道在单位时间内的最大信息传输量(这个公式被叫做“香农公式”)。念过物理的哈特马尼斯受此启发，敏锐地想到，抽象的计算过程也应该有精确的定量法则，以确定为了对每一个问题求得解答，需要多少计算工作量。围绕这一设想哈特马尼斯和曾是普林斯顿大学的研究生，暑假到公司打过工，后来成为他的同事的斯特恩斯合作，开展了深入的研究，其结果就是那篇著名的论文“论算法的计算复杂性”(On the computational complexity Of algorithms，Trans．Amer．Math．Soc．，177(1965)，285-306页)。这篇论文开辟了计算机科学的一个新的研究领域，即“计算复杂性”，并奠定了它的理论基础。
Juris Hartmanis 哈特马尼斯于1965年离开通用电气公司，重返康乃尔大学，但不是回到数学系，而是负责筹建计算机科学系。由于他的眼光和魄力，也由于他的民主作风，康乃尔大学的计算机科学系吸引了一批著名学者加盟，成为美国大学中水平最高、影响最大的计算机科学系之一。这些学者中包括霍普克洛夫特(J．E．Hopcroft，1986年图灵奖得主)、格利斯(D．Giles，1995年ACM优秀计算机教育奖获得者)、霍洛维茨(E．Horowitz)、韦格纳(P．Wegner)和肖(A．Shaw)等。20世纪90年代，哈特马尼斯曾经完成一项重要的工作。1990年4月，美国科学研究委员会(National Research Council)的计算机科学与技术部(现已改为计算机科学与通信部，缩写cstb)建立了一个由16名专家组成的委员会，负责对计算机科学与技术在未来的21世纪中的发展方向和研究领域进行评估(Committee to Assess the Scope and Direction of Computer Science and Technology)。哈特马尼斯受命担任该委员会主席。委员中包括另外两名图灵奖获得者雷迪(R．Red—dy)和格雷(J．Gray)。哈特马尼斯组织委员会委员和来自全美的120余名学者共同努力，于1992年编写出版了《未来的计算——计算机科学与技术的广泛议题》(Computing the Future--- A Broader Agendafor Computer Science and Engineering)一书。本书对21世纪计算机科学与工程的研究、教育等重大课题进行了分析，对政府、产、学、研各部门如何适应新形势提出了一系列重要意见和看法，很值得我国科研管理部门和信息产业高层决策者重视。这本书和我们前面曾经提到的由米尔纳(R．Milner，1991年图灵奖获得者)等主编的《明天的计算：计算机科学未来的研究方向》(Computing Tomorrow：Future ResearchDirections in Computer Science，Combridge Uni．pr，1996)可以看作是姊妹篇。
Juris Hartmanis 哈特马尼斯论著极多，除大量发表于杂志和会议的论文外，出版的主要著作有：《时序机的代数结构理论》(Algebraic Structure Theory of Sequential Machines，Prentice-Hall，1966)《可行计算和可证明的复杂性性质》(Feasible Computations andProvable Complexity Properties，SIAM，1978)《计算复杂性理论》(Computational Complexity Theory，AMS，1989)哈特马尼斯还是著名的Spfinger出版社的《计算机科学讲课笔记》(Lecture Notes in Computer Science)系列丛书的主编，这套丛书从20世纪70年代问世以来，至今已推出2 000多种专著，许多重要的计算机科学理论问题和新概念、新技术、新方法都是由这套丛书首先提出并展开与深入的，对推动计算机科学技术的发展起了重要作用。
哈特马尼斯于30岁结婚，妻子也是拉脱维亚人，但出生在德国。他们有3个子女。1988年哈特马尼斯60寿辰时，由塞尔曼(A．L．Selman)编辑出版了一本纪念文集《复杂性理论回顾》(Complexity The-ory Retrospective，Springer，1988)，其中包括若干对哈特马尼斯的生平和成就的介绍文章。 [2]
“爱因斯坦讲席教授”学术报告会在中科院研究生院中关村和玉泉路园区举行。美国康奈尔大学教授、1993年“图灵奖”获得者尤里斯·哈特马尼斯，以“计算机科学的本质——影响和未来”为题做报告。中科院国际合作局副局长曹京华主持报告会并为哈特马尼斯教授颁发中科院“爱因斯坦讲席教授”聘书。诙谐的开场，激情的演讲，这位来自美国康奈尔大学的学者，给中国科学院的科研人员和学生带来了一场生动而又富有启发的学术报告。报告生动的诠释了计算机的本质，精辟的阐述了计算机未来的发展。演讲结束，科学院的科研人员和学生纷纷向这位图灵奖大师询问各种问题，并把报告会的气氛推向了高潮。
文明上网，理性发言，共同做网络文明传播者